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$ .     

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}}$ .     

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.     

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 )$ .     

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.     

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$ .     

On the unique representation of very strong algebraic geometry codes

This paper addresses the question of retrieving the triple ${(\mathcal X,\mathcal P, E)}$ from the algebraic geometry code ${\mathcal C = \mathcal C_L(\mathcal X, \mathcal P, E)}$ , where ${\mathcal X}$ is an algebraic curve over the finite field ${\mathbb F_q, \,\mathcal P}$ is an n-tuple of ${\mathbb F_q}$ -rational points on ${\mathcal X}$ and E is a divisor on ${\mathcal X}$ . If ${\deg(E)\geq 2g+1}$ where g is the genus of ${\mathcal X}$ , then there is an embedding of ${\mathcal X}$ onto ${\mathcal Y}$ in the projective space of the linear series of the divisor E. Moreover, if ${\deg(E)\geq 2g+2}$ , then ${I(\mathcal Y)}$ , the vanishing ideal of ${\mathcal Y}$ , is generated by ${I_2(\mathcal Y)}$ , the homogeneous elements of degree two in ${I(\mathcal Y)}$ . If ${n >2 \deg(E)}$ , then ${I_2(\mathcal Y)=I_2(\mathcal Q)}$ , where ${\mathcal Q}$ is the image of ${\mathcal P}$ under the map from ${\mathcal X}$ to ${\mathcal Y}$ . These three results imply that, if ${2g+2\leq m < \frac{1}{2}n}$ , an AG representation ${(\mathcal Y, \mathcal Q, F)}$ of the code ${\mathcal C}$ can be obtained just using a generator matrix of ${\mathcal C}$ where ${\mathcal Y}$ is a normal curve in ${\mathbb{P}^{m-g}}$ which is the intersection of quadrics. This fact gives us some clues for breaking McEliece cryptosystem based on AG codes provided that we have an efficient procedure for computing and decoding the representation obtained.     

A sharp lower bound for the log canonical threshold

In this note, we prove a sharp lower bound for the log canonical threshold of a plurisubharmonic function ${\varphi}$ with an isolated singularity at 0 in an open subset of ${\mathbb{C}^n}$ . This threshold is defined as the supremum of constants c > 0 such that ${e^{-2c\varphi}}$ is integrable on a neighborhood of 0. We relate ${c(\varphi)}$ to the intermediate multiplicity numbers ${e_j(\varphi)}$ , defined as the Lelong numbers of ${(dd^c\varphi)^j}$ at 0 (so that in particular ${e_0(\varphi)=1}$ ). Our main result is that ${c(\varphi)\geqslant\sum_{j=0}^{n-1} e_j(\varphi)/e_{j+1}(\varphi)}$ . This inequality is shown to be sharp; it simultaneously improves the classical result ${c(\varphi)\geqslant 1/e_1(\varphi)}$ due to Skoda, as well as the lower estimate ${c(\varphi)\geqslant n/e_n(\varphi)^{1/n}}$ which has received crucial applications to birational geometry in recent years. The proof consists in a reduction to the toric case, i.e. singularities arising from monomial ideals.     

Defect Functions of Holomorphic Contractive Operator Functions and the Scattering Suboperator Through the Internal Channels of a System: Part II

Let $\theta (\zeta )$ be a Schur operator function, i.e., it is defined on the unit disk ${\mathbb D}\,{:=}\,\{\zeta \in {\mathbb C}: |\zeta | < 1\}$ and its values are contractive operators acting from one Hilbert space into another one. In the first part of the paper the outer and $*$ -outer Schur operator functions $\varphi (\zeta )$ and $\psi (\zeta )$ which describe respectively the deviations of the function $\theta (\zeta )$ from inner and $*$ -inner operator functions are studied. If $\varphi (\zeta )\ne 0$ , then it means that in the scattering system for which $\theta (\zeta )$ is the transfer function a portion of “information” comes inward the system and does not go outward, i.e., it is left in the internal channels of the system ([11, Sect. 6]). The function $\psi (\zeta )$ has the analogous property. For this reason these functions are called defect ones of the function $\theta (\zeta )$ . The explicit form of the defect functions $\varphi (\zeta )$ and $\psi (\zeta )$ is obtained and the analytic connection of these functions with the function $\theta (\zeta )$ is described ([11, Sect. 3 and Sect. 5]). The operator functions $\left( \begin{matrix} \varphi (\zeta ) \\ \theta (\zeta ) \end{matrix}\right) $ and $(\psi (\zeta ), \theta (\zeta ))$ are Schur functions as well ([11, Sect. 3]). It is important that there exists the unique contractive operator function $\chi (t),t\in \partial {\mathbb D}$ , such that the operator function $\left( \begin{matrix} \chi (t) &{} \varphi (t) \\ \psi (t) &{} \theta (t) \end{matrix}\right) ,t\in \partial {\mathbb D},$ is also contractive (Sect. 6). The second part of the paper is devoted to introducing and studying the properties of the function $\chi (t)$ . Specifically, it is shown that the function $\chi (t)$ is the scattering suboperator through the internal channels of the scattering system for which $\theta (\zeta )$ is the transfer function (Sect. 6).     

Averaged Pointwise Bounds for Deformations of Schrödinger Eigenfunctions

Let (M,g) be an n-dimensional, compact Riemannian manifold and ${P_0(\hbar) = -\hbar{^2} \Delta_g + V(x)}$ be a semiclassical Schrödinger operator with ${\hbar \in (0,\hbar_0]}$ . Let ${E(\hbar) \in [E-o(1),E+o(1)]}$ and ${(\phi_{\hbar})_{\hbar \in (0,\hbar_0]}}$ be a family of L ²-normalized eigenfunctions of ${P_0(\hbar)}$ with ${P_0(\hbar) \phi_{\hbar} = E(\hbar) \phi_{\hbar}}$ . We consider magnetic deformations of ${P_0(\hbar)}$ of the form ${P_u(\hbar) = - \Delta_{\omega_u}(\hbar) + V(x)}$ , where ${\Delta_{\omega_u}(\hbar) = (\hbar d + i \omega_u(x))^*({\hbar}d + i \omega_u(x))}$ . Here, u is a k-dimensional parameter running over ${B^k(\epsilon)}$ (the ball of radius ${\epsilon}$ ), and the family of the magnetic potentials ${(w_u)_{u\in B^k(\epsilon)}}$ satisfies the admissibility condition given in Definition 1.1. This condition implies that k ≥ n and is generic under this assumption. Consider the corresponding family of deformations of ${(\phi_{\hbar})_{\hbar \in (0, \hbar_0]}}$ , given by ${(\phi^u_{\hbar})_{\hbar \in(0, \hbar_0]}}$ , where $$\phi_{\hbar}^{(u)}:= {\rm e}^{-it_0 P_u(\hbar)/\hbar}\phi_{\hbar}$$ for ${|t_0|\in (0,\epsilon)}$ ; the latter functions are themselves eigenfunctions of the ${\hbar}$ -elliptic operators ${Q_u(\hbar): ={\rm e}^{-it_0P_u(\hbar)/\hbar} P_0(\hbar) {\rm e}^{it_0 P_u(\hbar)/\hbar}}$ with eigenvalue ${E(\hbar)}$ and ${Q_0(\hbar) = P_{0}(\hbar)}$ . Our main result, Theorem1.2, states that for ${\epsilon >0 }$ small, there are constants ${C_j=C_j(M,V,\omega,\epsilon) > 0}$ with j = 1,2 such that $$C_{1}\leq \int\limits_{\mathcal{B}^k(\epsilon)} |\phi_{\hbar}^{(u)}(x)|^2 \, {\rm d}u \leq C_{2}$$ , uniformly for ${x \in M}$ and ${\hbar \in (0,h_0]}$ . We also give an application to eigenfunction restriction bounds in Theorem 1.3.     

Regularity of the Monge–Ampère equation in Besov’s spaces

Let $\mu = e^{-V} \ dx$ be a probability measure and $T = \nabla \Phi $ be the optimal transportation mapping pushing forward $\mu $ onto a log-concave compactly supported measure $\nu = e^{-W} \ dx$ . In this paper, we introduce a new approach to the regularity problem for the corresponding Monge–Ampère equation $e^{-V} = \det D^2 \Phi \cdot e^{-W(\nabla \Phi )}$ in the Besov spaces $W^{\gamma ,1}_{loc}$ . We prove that $D^2 \Phi \in W^{\gamma ,1}_{loc}$ provided $e^{-V}$ belongs to a proper Besov class and $W$ is convex. In particular, $D^2 \Phi \in L^p_{loc}$ for some $p>1$ . Our proof does not rely on the previously known regularity results.     

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.     

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.     

Quasirandom permutations are characterized by 4-point densities

For permutations ${\pi}$ and ${\tau}$ of lengths ${|\pi|\le|\tau|}$ , let ${t(\pi,\tau)}$ be the probability that the restriction of ${\tau}$ to a random ${|\pi|}$ -point set is (order) isomorphic to ${\pi}$ . We show that every sequence ${\{\tau_j\}}$ of permutations such that ${|\tau_j|\to\infty}$ and ${t(\pi,\tau_j)\to 1/4!}$ for every 4-point permutation ${\pi}$ is quasirandom (that is, ${t(\pi,\tau_j)\to 1/|\pi|!}$ for every ${\pi}$ ). This answers a question posed by Graham.     

Convergence of inexact Newton methods for generalized equations

For solving the generalized equation $f(x)+F(x) \ni 0$ , where $f$ is a smooth function and $F$ is a set-valued mapping acting between Banach spaces, we study the inexact Newton method described by $$\begin{aligned} \left( f(x_k)+ D f(x_k)(x_{k+1}-x_k) + F(x_{k+1})\right) \cap R_k(x_k, x_{k+1}) \ne \emptyset , \end{aligned}$$ where $Df$ is the derivative of $f$ and the sequence of mappings $R_k$ represents the inexactness. We show how regularity properties of the mappings $f+F$ and $R_k$ are able to guarantee that every sequence generated by the method is convergent either q-linearly, q-superlinearly, or q-quadratically, according to the particular assumptions. We also show there are circumstances in which at least one convergence sequence is sure to be generated. As a byproduct, we obtain convergence results about inexact Newton methods for solving equations, variational inequalities and nonlinear programming problems.     

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 $ .     

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))}$ .     

Shintani cocycles and the order of vanishing of p-adic Hecke L-series at s=0

Let $\chi $ be a Hecke character of finite order of a totally real number field $F$ . By using Hill’s Shintani cocycle we provide a cohomological construction of the $p$ -adic $L$ -series $L_p(\chi , s)$ associated to $\chi $ . This is used to show that $L_p(\chi , s)$ has a trivial zero at $s=0$ of order at least equal to the number of places of $F$ above $p$ where the local component of $\chi $ is trivial.     

A T(1)-Theorem for non-integral operators

Let $X$ be a space of homogeneous type and let $L$ be a sectorial operator with bounded holomorphic functional calculus on $L^2(X)$ . We assume that the semigroup $\{e^{-tL}\}_{t>0}$ satisfies Davies–Gaffney estimates. Associated with $L$ are certain approximations of the identity. We call an operator $T$ a non-integral operator if compositions involving $T$ and these approximations satisfy certain weighted norm estimates. The Davies–Gaffney and the weighted norm estimates are together a substitute for the usual kernel estimates on $T$ in Calderón–Zygmund theory. In this paper, we show, under the additional assumption that a vertical Littlewood–Paley–Stein square function associated with $L$ is bounded on $L^2(X)$ , that a non-integral operator $T$ is bounded on $L^2(X)$ if and only if $T(1) \in BMO_L(X)$ and $T^{*}(1) \in BMO_{L^{*}}(X)$ . Here, $BMO_L(X)$ and $BMO_{L^{*}}(X)$ denote the recently defined $BMO(X)$ spaces associated with $L$ that generalize the space $BMO(X)$ of John and Nirenberg. Generalizing a recent result due to F. Bernicot, we show a second version of a $T(1)$ -Theorem under weaker off-diagonal estimates, which gives a positive answer to a question raised by him. As an application, we prove $L^2(X)$ -boundedness of a paraproduct operator associated with $L$ . We moreover study criterions for a $T(b)$ -Theorem to be valid.     

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.