Weak solutions of the stationary Navier–Stokes equations for a viscous incompressible fluid past an obstacle

Consider the stationary Navier–Stokes equations in an exterior domain $\varOmega \subset \mathbb{R }^3 $ with smooth boundary. For every prescribed constant vector $u_{\infty } \ne 0$ and every external force $f \in \dot{H}_2^{-1} (\varOmega )$ , Leray (J. Math. Pures. Appl., 9:1–82, 1933) constructed a weak solution $u $ with $\nabla u \in L_2 (\varOmega )$ and $u - u_{\infty } \in L_6(\varOmega )$ . Here $\dot{H}^{-1}_2 (\varOmega )$ denotes the dual space of the homogeneous Sobolev space $\dot{H}^1_{2}(\varOmega ) $ . We prove that the weak solution $u$ fulfills the additional regularity property $u- u_{\infty } \in L_4(\varOmega )$ and $u_\infty \cdot \nabla u \in \dot{H}_2^{-1} (\varOmega )$ without any restriction on $f$ except for $f \in \dot{H}_2^{-1} (\varOmega )$ . As a consequence, it turns out that every weak solution necessarily satisfies the generalized energy equality. Moreover, we obtain a sharp a priori estimate and uniqueness result for weak solutions assuming only that $\Vert f\Vert _{\dot{H}^{-1}_2(\varOmega )}$ and $|u_{\infty }|$ are suitably small. Our results give final affirmative answers to open questions left by Leray (J. Math. Pures. Appl., 9:1–82, 1933) about energy equality and uniqueness of weak solutions. Finally we investigate the convergence of weak solutions as $u_{\infty } \rightarrow 0$ in the strong norm topology, while the limiting weak solution exhibits a completely different behavior from that in the case $u_{\infty } \ne 0$ .     

Generalized Lax-Milgram theorem in Banach spaces and its application to the elliptic system of boundary value problems

We generalize the well-known Lax-Milgram theorem on the Hilbert space to that on the Banach space. Suppose that ${a(\cdot, \cdot)}$ is a continuous bilinear form on the product ${X\times Y}$ of Banach spaces X and Y, where Y is reflexive. If null spaces N _X and N _Y associated with ${a(\cdot, \cdot)}$ have complements in X and in Y, respectively, and if ${a(\cdot, \cdot)}$ satisfies certain variational inequalities both in X and in Y, then for every ${F \in N_Y^{\perp}}$ , i.e., ${F \in Y^{\ast}}$ with ${F(\phi) = 0}$ for all ${\phi \in N_Y}$ , there exists at least one ${u \in X}$ such that ${a(u, \varphi) = F(\varphi)}$ holds for all ${\varphi \in Y}$ with ${\|u\|_X \le C\|F\|_{Y^{\ast}}}$ . We apply our result to several existence theorems of L ^r -solutions to the elliptic system of boundary value problems appearing in the fluid mechanics.     

The Duffin–Schaeffer conjecture with extra divergence II

In 2012 the authors set out a programme to prove the Duffin–Schaeffer conjecture for measures arbitrarily close to Lebesgue measure. In this paper we take a new step in this direction. Given a non-negative function $\psi : \mathbb N \rightarrow \mathbb R $ , let $W(\psi )$ denote the set of real numbers $x$ such that $|nx -a| < \psi (n) $ for infinitely many reduced rationals $a/n \ (n>0) $ . Our main result is that $W(\psi )$ is of full Lebesgue measure if there exists a $c > 0 $ such that $$\begin{aligned} \sum _{n\ge 16} \, \frac{\varphi (n) \psi (n)}{n \exp (c(\log \log n)(\log \log \log n))} \, = \, \infty \, . \end{aligned}$$      

Dimension Reduction for Finite Trees in \varvec{\ell _1}

We show that every $n$ -point tree metric admits a $(1+\varepsilon )$ -embedding into $\ell _1^{C(\varepsilon ) \log n}$ , for every $\varepsilon > 0$ , where $C(\varepsilon ) \le O\big ((\frac{1}{\varepsilon })^4 \log \frac{1}{\varepsilon })\big )$ . This matches the natural volume lower bound up to a factor depending only on $\varepsilon $ . Previously, it was unknown whether even complete binary trees on $n$ nodes could be embedded in $\ell _1^{O(\log n)}$ with $O(1)$ distortion. For complete $d$ -ary trees, our construction achieves $C(\varepsilon ) \le O\big (\frac{1}{\varepsilon ^2}\big )$ .     

Algorithms on Minimizing the Maximum Sensor Movement for Barrier Coverage of a Linear Domain

In this paper, we study the problem of moving $n$ n sensors on a line to form a barrier coverage of a specified segment of the line such that the maximum moving distance of the sensors is minimized. Previously, it was an open question whether this problem on sensors with arbitrary sensing ranges is solvable in polynomial time. We settle this open question positively by giving an $O(n^2\log n)$ O ( n 2 log n ) time algorithm. For the special case when all sensors have the same-size sensing range, the previously best solution takes $O(n^2)$ O ( n 2 ) time. We present an $O(n\log n)$ O ( n log n ) time algorithm for this case; further, if all sensors are initially located on the coverage segment, our algorithm takes $O(n)$ O ( n ) time. Also, we extend our techniques to the cycle version of the problem where the barrier coverage is for a simple cycle and the sensors are allowed to move only along the cycle. For sensors with the same-size sensing range, we solve the cycle version in $O(n)$ O ( n ) time, improving the previously best $O(n^2)$ O ( n 2 ) time solution.     

Packing dimensions of the divergence points of self-similar measures with OSC

Let $\mu $ be the self-similar measure supported on the self-similar set $K$ with open set condition. In this article, we discuss the packing dimension of the set $\{x\in K: A(\frac{\log \mu (B(x,r))}{\log r})=I\}$ for $I\subseteq \mathbb R ,$ where $A(\frac{\log \mu (B(x,r))}{\log r})$ denotes the set of accumulation points of $\frac{\log \mu (B(x,r))}{\log r}$ as $r\searrow 0.$ Our main result solves the conjecture about packing dimension posed by Olsen and Winte (J London Math Soc, 67(2), pp 103–122, 2003) and generalizes the result in (Adv Math, 214, pp 267–287, (2007)).     

Convergence of the eigenvalues of the p-Laplace operator as p goes to 1

Let $(\lambda ^k_p)_k$ be the usual sequence of min-max eigenvalues for the $p$ -Laplace operator with $p\in (1,\infty )$ and let $(\lambda ^k_1)_k$ be the corresponding sequence of eigenvalues of the 1-Laplace operator. For bounded $\Omega \subseteq \mathbb{R }^n$ with Lipschitz boundary the convergence $\lambda ^k_p\rightarrow \lambda ^k_1$ as $p\rightarrow 1$ is shown for all $k\in \mathbb{N }$ . The proof uses an approximation of $BV(\Omega )$ -functions by $C_0^\infty (\Omega )$ -functions in the sense of strict convergence on $\mathbb{R }^n$ .     

Yangians and quantum loop algebras

Let $\mathfrak{g }$ be a complex, semisimple Lie algebra. Drinfeld showed that the quantum loop algebra $U_\hbar (L\mathfrak g )$ of $\mathfrak{g }$ degenerates to the Yangian ${Y_\hbar (\mathfrak g )}$ . We strengthen this result by constructing an explicit algebra homomorphism $\Phi $ from $U_\hbar (L\mathfrak g )$ to the completion of ${Y_\hbar (\mathfrak g )}$ with respect to its grading. We show moreover that $\Phi $ becomes an isomorphism when ${U_\hbar (L\mathfrak g )}$ is completed with respect to its evaluation ideal. We construct a similar homomorphism for $\mathfrak{g }=\mathfrak{gl }_n$ and show that it intertwines the actions of $U_\hbar (L\mathfrak gl _{n})$ and $Y_\hbar (\mathfrak gl _{n})$ on the equivariant $K$ -theory and cohomology of the variety of $n$ -step flags in ${\mathbb{C }}^d$ constructed by Ginzburg–Vasserot.     

Strongly embedded subspaces of p-convex Banach function spaces

Let $X(\mu )$ be a p-convex ( $1\le p<\infty $ ) order continuous Banach function space over a positive finite measure  $\mu $ . We characterize the subspaces of  $X(\mu )$ which can be found simultaneously in  $X(\mu )$ and a suitable $L^1(\eta )$ space, where $\eta $ is a positive finite measure related to the representation of  $X(\mu )$ as an $L^p(m)$ space of a vector measure  $m$ . We provide in this way new tools to analyze the strict singularity of the inclusion of  $X(\mu )$ in such an $L^1$ space. No rearrangement invariant type restrictions on  $X(\mu )$ are required.     

Geodesic Ricci solitons on unit tangent sphere bundles

In the paper, (Abbassi and Kowalski, Ann Glob Anal Geom, 38: 11–20, 2010) the authors study Einstein Riemannian $g$ natural metrics on unit tangent sphere bundles. In this study, we equip the unit tangent sphere bundle $T_1 M$ of a Riemannian manifold $(M,g)$ with an arbitrary Riemannian $g$ natural metric $\tilde{G}$ and we show that if the geodesic flow $\tilde{\xi }$ is the potential vector field of a Ricci soliton $(\tilde{G},\tilde{\xi },\lambda )$ on $T_1M,$ then $(T_1M,\tilde{G})$ is Einstein. Moreover, we show that the Reeb vector field of a contact metric manifold is an infinitesimal harmonic transformation if and only if it is Killing. Thus, we consider a natural contact metric structure $(\tilde{G}, \tilde{\eta }, \tilde{\varphi }, \tilde{\xi })$ over $T_1 M$ and we show that the geodesic flow $\tilde{\xi }$ is an infinitesimal harmonic transformation if and only if the structure $(\tilde{G}, \tilde{\eta }, \tilde{\varphi },\tilde{\xi })$ is Sasaki $\eta $ -Einstein. Consequently, we get that $(\tilde{G},\tilde{\xi }, \lambda )$ is a Ricci soliton if and only if the structure $(\tilde{G}, \tilde{\eta }, \tilde{\varphi }, \tilde{\xi })$ is Sasaki-Einstein with $\lambda = 2(n-1) >0.$ This last result gives new examples of Sasaki–Einstein structures.     

A unified approach for minimizing composite norms

We propose a first-order augmented Lagrangian algorithm (FALC) to solve the composite norm minimization problem $$\begin{aligned} \begin{array}{ll} \min \limits _{X\in \mathbb{R }^{m\times n}}&\mu _1\Vert \sigma (\mathcal{F }(X)-G)\Vert _\alpha +\mu _2\Vert \mathcal{C }(X)-d\Vert _\beta ,\\ \text{ subject} \text{ to}&\mathcal{A }(X)-b\in \mathcal{Q }, \end{array} \end{aligned}$$ where $\sigma (X)$ denotes the vector of singular values of $X \in \mathbb{R }^{m\times n}$ , the matrix norm $\Vert \sigma (X)\Vert _{\alpha }$ denotes either the Frobenius, the nuclear, or the $\ell _2$ -operator norm of $X$ , the vector norm $\Vert .\Vert _{\beta }$ denotes either the $\ell _1$ -norm, $\ell _2$ -norm or the $\ell _{\infty }$ -norm; $\mathcal{Q }$ is a closed convex set and $\mathcal{A }(.)$ , $\mathcal{C }(.)$ , $\mathcal{F }(.)$ are linear operators from $\mathbb{R }^{m\times n}$ to vector spaces of appropriate dimensions. Basis pursuit, matrix completion, robust principal component pursuit (PCP), and stable PCP problems are all special cases of the composite norm minimization problem. Thus, FALC is able to solve all these problems in a unified manner. We show that any limit point of FALC iterate sequence is an optimal solution of the composite norm minimization problem. We also show that for all $\epsilon >0$ , the FALC iterates are $\epsilon $ -feasible and $\epsilon $ -optimal after $\mathcal{O }(\log (\epsilon ^{-1}))$ iterations, which require $\mathcal{O }(\epsilon ^{-1})$ constrained shrinkage operations and Euclidean projection onto the set $\mathcal{Q }$ . Surprisingly, on the problem sets we tested, FALC required only $\mathcal{O }(\log (\epsilon ^{-1}))$ constrained shrinkage, instead of the $\mathcal{O }(\epsilon ^{-1})$ worst case bound, to compute an $\epsilon $ -feasible and $\epsilon $ -optimal solution. To best of our knowledge, FALC is the first algorithm with a known complexity bound that solves the stable PCP problem.     

Boundedness and Compactness of Pseudodifferential Operators with Non-Regular Symbols on Weighted Lebesgue Spaces

Applying the boundedness on weighted Lebesgue spaces of the maximal singular integral operator S _* related to the Carleson?CHunt theorem on almost everywhere convergence, we study the boundedness and compactness of pseudodifferential operators a(x, D) with non-regular symbols in ${L^\infty(\mathbb{R}, V(\mathbb{R})), PC(\overline{\mathbb{R}}, V(\mathbb{R}))}$ and ${\Lambda_\gamma(\mathbb{R}, V_d(\mathbb{R}))}$ on the weighted Lebesgue spaces ${L^p(\mathbb{R},w)}$ , with 1?< p <? ?? and ${w\in A_p(\mathbb{R})}$ . The Banach algebras ${L^\infty(\mathbb{R}, V(\mathbb{R}))}$ and ${PC(\overline{\mathbb{R}}, V(\mathbb{R}))}$ consist, respectively, of all bounded measurable or piecewise continuous ${V(\mathbb{R})}$ -valued functions on ${\mathbb{R}}$ where ${V(\mathbb{R})}$ is the Banach algebra of all functions on ${\mathbb{R}}$ of bounded total variation, and the Banach algebra ${\Lambda_\gamma(\mathbb{R}, V_d(\mathbb{R}))}$ consists of all Lipschitz ${V_d(\mathbb{R})}$ -valued functions of exponent ${\gamma \in (0,1]}$ on ${\mathbb{R}}$ where ${V_d(\mathbb{R})}$ is the Banach algebra of all functions on ${\mathbb{R}}$ of bounded variation on dyadic shells. Finally, for the Banach algebra ${\mathfrak{A}_{p,w}}$ generated by all pseudodifferential operators a(x, D) with symbols ${a(x, \lambda) \in PC(\overline{\mathbb{R}}, V(\mathbb{R}))}$ on the space ${L^p(\mathbb{R}, w)}$ , we construct a non-commutative Fredholm symbol calculus and give a Fredholm criterion for the operators ${A \in \mathfrak{A}_{p,w}}$ .     

A functional model associated with a generalized Nevanlinna pair

Let $ \mathcal{L} $ be a Hilbert space, and let $ \mathcal{H} $ be a Pontryagin space. For every self-adjoint linear relation $ \tilde{A} $ in $ \mathcal{H} \oplus \mathcal{L} $ , the pair $ \{ I + \lambda \psi (\lambda ),\,\psi (\lambda )\} $ where $ \psi (\lambda ) $ is the compressed resolvent of $ \tilde{A} $ , is a normalized generalized Nevanlinna pair. Conversely, every normalized generalized Nevanlinna pair is shown to be associated with some self-adjoint linear relation $ \tilde{A} $ in the above sense. A functional model for this selfadjoint linear relation $ \tilde{A} $ is constructed.     

Planar Beurling Transform and Bergman Type Spaces

In this paper we describe the actions of the operator $S_\mathbb{D }$ or its adjoint $S_\mathbb{D }^*$ on the poly-Bergman spaces of the unit disk $\mathbb{D }.$ Let $k$ and $j$ be positive integers. We prove that $(S_\mathbb{D })^{j}$ is an isometric isomorphism between the true poly-Bergman subspace $\mathcal{A }_{(k)}^2(\mathbb{D })\ominus N_{(k),j}$ onto the true poly-Bergman space $\mathcal{A }_{(j+k)}^2(\mathbb{D }),$ where the linear space $N_{(k),j}$ have finite dimension $j.$ The action of $(S_\mathbb{D })^{j-1}$ on the canonical Hilbert base for the Bergman subspace $\mathcal{A }^2(\mathbb{D })\ominus \mathcal{P }_{j-1},$ gives a Hilbert base $\{ \phi _{ j , k } \}_{ k }$ for $\mathcal{A }_{(j)}^2(\mathbb{D }).$ It is shown that $\{ \phi _{ j , k } \}_{ j, k }$ is a Hilbert base for $L^2(\mathbb{D },d A)$ such that whenever $j$ and $k$ remain constant we obtain a Hilbert base for the true poly-Bergman space $\mathcal{A }_{(j)}^2(\mathbb{D })$ and $\mathcal{A }_{(-k)}^2(\mathbb{D }),$ respectively. The functions $\phi _{ j , k }$ are polynomials in $z$ and $\overline{z}$ and are explicitly given in terms of the $(2,1)$ -hypergeometric polynomials. We prove explicit representations for the true poly-Bergman kernels and the Koshelev representation for the poly-Bergman kernels of $\mathbb{D }.$ The action of $S_\Pi $ on the true poly-Bergman spaces of the upper half-plane $\Pi $ allows one to introduce Hilbert bases for the true poly-Bergman spaces, and to give explicit representations of the true poly-Bergman and poly-Bergman kernels.     

On the Distribution of Atkin and Elkies Primes

Given an elliptic curve $E$ over a finite field $\mathbb {F}_q$ of $q$ elements, we say that an odd prime $\ell \not \mid q$ is an Elkies prime for $E$ if $t_E^2 - 4q$ is a square modulo  $\ell $ , where $t_E = q+1 - \#E(\mathbb {F}_q)$ and $\#E(\mathbb {F}_q)$ is the number of $\mathbb {F}_q$ -rational points on $E$ ; otherwise, $\ell $ is called an Atkin prime. We show that there are asymptotically the same number of Atkin and Elkies primes $\ell < L$ on average over all curves $E$ over $\mathbb {F}_q$ , provided that $L \ge (\log q)^\varepsilon $ for any fixed $\varepsilon >0$ and a sufficiently large $q$ . We use this result to design and analyze a fast algorithm to generate random elliptic curves with $\#E(\mathbb {F}_p)$ prime, where $p$ varies uniformly over primes in a given interval $[x,2x]$ .     

On the boundary of the attainable set of the dirichlet spectrum

Denoting by ${\varepsilon\subseteq\mathbb{R}^2}$ the set of the pairs ${(\lambda_1(\Omega),\,\lambda_2(\Omega))}$ for all the open sets ${\Omega\subseteq\mathbb{R}^N}$ with unit measure, and by ${\Theta\subseteq\mathbb{R}^N}$ the union of two disjoint balls of half measure, we give an elementary proof of the fact that ${\partial\varepsilon}$ has horizontal tangent at its lowest point ${(\lambda_1(\Theta),\,\lambda_2(\Theta))}$ .     

A graph associated to a lattice

In this paper, we associate a simple graph to a lattice $\mathcal L $ , in which the vertex set is being the set of all elements of $\mathcal L $ , and two distinct vertices $x$ and $y$ are adjacent if $x\vee y\in S$ , when $S$ is a multiplicatively closed subset of $\mathcal L $ . We denote this graph by $\Gamma _S(\mathcal L )$ . We study some properties of $\Gamma _S(\mathcal L )$ . Moreover, we investigate the planarity of $\Gamma _S(\mathcal L )$ , whenever $S$ is a saturated multiplicatively closed subset of $\mathcal L $ .     

Primal-dual interior-point algorithm for semidefinite optimization based on a new kernel function with trigonometric barrier term

In this paper we propose primal-dual interior-point algorithms for semidefinite optimization problems based on a new kernel function with a trigonometric barrier term. We show that the iteration bounds are $O(\sqrt{n}\log(\frac{n}{\epsilon}))$ for small-update methods and $O(n^{\frac{3}{4}}\log(\frac{n}{\epsilon}))$ for large-update, respectively. The resulting bound is better than the classical kernel function. For small-update, the iteration complexity is the best known bound for such methods.