Estimates of three classical summations on the spaces F_p~(α,q)(R~n)(0 < p ≤ 1)

We obtain the boundedness on ˙Fα,qp(Rn) for the Poisson summation and Gauss summation. Their maximal operators are proved to be bounded from˙Fα,qp(Rn) to L∞(Rn).For the maximal operator of the Bochner-Riesz summation, we prove that it is bounded from˙Fα,qp(Rn) to Lpnn-pα,∞(Rn).     

The extremal solution for the fractional Laplacian

We study the extremal solution for the problem \((-\Delta )^s u=\lambda f(u)\) in \(\Omega \) , \(u\equiv 0\) in \(\mathbb R ^n\setminus \Omega \) , where \(\lambda >0\) is a parameter and \(s\in (0,1)\) . We extend some well known results for the extremal solution when the operator is the Laplacian to this nonlocal case. For general convex nonlinearities we prove that the extremal solution is bounded in dimensions \(n<4s\) . We also show that, for exponential and power-like nonlinearities, the extremal solution is bounded whenever \(n<10s\) . In the limit \(s\uparrow 1\) , \(n<10\) is optimal. In addition, we show that the extremal solution is \(H^s(\mathbb R ^n)\) in any dimension whenever the domain is convex. To obtain some of these results we need \(L^q\) estimates for solutions to the linear Dirichlet problem for the fractional Laplacian with \(L^p\) data. We prove optimal \(L^q\) and \(C^\beta \) estimates, depending on the value of \(p\) . These estimates follow from classical embedding results for the Riesz potential in \(\mathbb R ^n\) . Finally, to prove the \(H^s\) regularity of the extremal solution we need an \(L^\infty \) estimate near the boundary of convex domains, which we obtain via the moving planes method. For it, we use a maximum principle in small domains for integro-differential operators with decreasing kernels.     

On the Dynamics of WKB Wave Functions Whose Phase are Weak KAM Solutions of H–J Equation

In the framework of toroidal Pseudodifferential operators on the flat torus \({\mathbb {T}}^n := ({\mathbb {R}} / 2\pi {\mathbb {Z}})^n\) we begin by proving the closure under composition for the class of Weyl operators \(\mathrm {Op}^w_\hbar (b)\) with symbols \(b \in S^m (\mathbb {T}^n \times \mathbb {R}^n)\) . Subsequently, we consider \(\mathrm {Op}^w_\hbar (H)\) when \(H=\frac{1}{2} |\eta |^2 + V(x)\) where \(V \in C^\infty ({\mathbb {T}}^n)\) and we exhibit the toroidal version of the equation for the Wigner transform of the solution of the Schrödinger equation. Moreover, we prove the convergence (in a weak sense) of the Wigner transform of the solution of the Schrödinger equation to the solution of the Liouville equation on \(\mathbb {T}^n \times {\mathbb {R}}^n\) written in the measure sense. These results are applied to the study of some WKB type wave functions in the Sobolev space \(H^{1} (\mathbb {T}^n; {\mathbb {C}})\) with phase functions in the class of Lipschitz continuous weak KAM solutions (positive and negative type) of the Hamilton–Jacobi equation \(\frac{1}{2} |P+ \nabla _x v (P,x)|^2 + V(x) = \bar{H}(P)\) for \(P \in \ell {\mathbb {Z}}^n\) with \(\ell >0\) , and to the study of the backward and forward time propagation of the related Wigner measures supported on the graph of \(P+ \nabla _x v\) .     

The \bar{\partial }-Equation on an Annulus Between Two Strictly q-Convex Domains with Smooth Boundaries

In this paper, we study the global boundary regularity of the \(\bar{\partial }\) - equation on an annulus domain \(\Omega \) between two strictly \(q\) -convex domains with smooth boundaries in \(\mathbb{C }^n\) for some bidegree. To this finish, we first show that the \(\bar{\partial }\) -operator has closed range on \(L^{2}_{r, s}(\Omega )\) and the \(\bar{\partial }\) -Neumann operator exists and is compact on \(L^{2}_{r,s}(\Omega )\) for all \(r\ge 0\) , \(q\le s\le n-q- 1\) . We also prove that the \(\bar{\partial }\) -Neumann operator and the Bergman projection operator are continuous on the Sobolev space \(W^{k}_{r,s}(\Omega )\) , \(k\ge 0\) , \(r\ge 0\) , and \(q\le s\le n-q-1\) . Consequently, the \(L^{2}\) -existence theorem for the \(\bar{\partial }\) -equation on such domain is established. As an application, we obtain a global solution for the \(\bar{\partial }\) equation with Hölder and \(L^p\) -estimates on strictly \(q\) -concave domain with smooth \(\mathcal C ^2\) boundary in \(\mathbb{C }^n\) , by using the local solutions and applying the pushing out method of Kerzman (Commun Pure Appl Math 24:301–380, 1971).     

Mean Squared Error Minimization for Inverse Moment Problems

We consider the problem of approximating the unknown density \(u\in L^2(\Omega ,\lambda )\) of a measure \(\mu \) on \(\Omega \subset \mathbb {R}^n\) , absolutely continuous with respect to some given reference measure \(\lambda \) , only from the knowledge of finitely many moments of \(\mu \) . Given \(d\in \mathbb {N}\) and moments of order \(d\) , we provide a polynomial \(p_d\) which minimizes the mean square error \(\int (u-p)^2d\lambda \) over all polynomials \(p\) of degree at most \(d\) . If there is no additional requirement, \(p_d\) is obtained as solution of a linear system. In addition, if \(p_d\) is expressed in the basis of polynomials that are orthonormal with respect to \(\lambda \) , its vector of coefficients is just the vector of given moments and no computation is needed. Moreover \(p_d\rightarrow u\) in \(L^2(\Omega ,\lambda )\) as \(d\rightarrow \infty \) . In general nonnegativity of \(p_d\) is not guaranteed even though \(u\) is nonnegative. However, with this additional nonnegativity requirement one obtains analogous results but computing \(p_d\ge 0\) that minimizes \(\int (u-p)^2d\lambda \) now requires solving an appropriate semidefinite program. We have tested the approach on some applications arising from the reconstruction of geometrical objects and the approximation of solutions of nonlinear differential equations. In all cases our results are significantly better than those obtained with the maximum entropy technique for estimating \(u\) .     

On the rank of incidence matrices in projective Hjelmslev spaces

Let \(R\) be a finite chain ring with \(|R|=q^m\) , \(R/{{\mathrm{Rad}}}R\cong \mathbb {F}_q\) , and let \(\Omega ={{\mathrm{PHG}}}({}_RR^n)\) . Let \(\tau =(\tau _1,\ldots ,\tau _n)\) be an integer sequence satisfying \(m=\tau _1\ge \tau _2\ge \cdots \ge \tau _n\ge 0\) . We consider the incidence matrix of all shape \(\varvec{m}^s=(\underbrace{m,\ldots ,m}_s)\) versus all shape \(\tau \) subspaces of \(\Omega \) with \(\varvec{m}^s\preceq \tau \preceq \varvec{m}^{n-s}\) . We prove that the rank of \(M_{\varvec{m}^s,\tau }(\Omega )\) over \(\mathbb {Q}\) is equal to the number of shape \(\varvec{m}^s\) subspaces. This is a partial analog of Kantor’s result about the rank of the incidence matrix of all \(s\) dimensional versus all \(t\) dimensional subspaces of \({{\mathrm{PG}}}(n,q)\) . We construct an example for shapes \(\sigma \) and \(\tau \) for which the rank of \(M_{\sigma ,\tau }(\Omega )\) is not maximal.     

Intrinsically p-biharmonic maps

For a compact Riemannian manifold \(N\) , a domain \(\Omega \subset \mathbb {R}^m\) and for \(p\in (1, \infty )\) , we introduce an intrinsic version \(E_p\) of the \(p\) -biharmonic energy functional for maps \(u : \Omega \rightarrow N\) . This requires finding a definition for the intrinsic Hessian of maps \(u : \Omega \rightarrow N\) whose first derivatives are merely \(p\) -integrable. We prove, by means of the direct method, existence of minimizers of \(E_p\) within the corresponding intrinsic Sobolev space, and we derive a monotonicity formula. Finally, we also consider more general functionals defined in terms of polyconvex functions.     

Nonlinear Schrödinger equations near an infinite well potential

The paper deals with standing wave solutions of the dimensionless nonlinear Schrödinger equation where the potential \(V_\lambda :\mathbb {R}^N\rightarrow \mathbb {R}\) is close to an infinite well potential \(V_\infty :\mathbb {R}^N\rightarrow \mathbb {R}\) , i. e. \(V_\infty =\infty \) on an exterior domain \(\mathbb {R}^N\setminus \Omega \) , \(V_\infty |_\Omega \in L^\infty (\Omega )\) , and \(V_\lambda \rightarrow V_\infty \) as \(\lambda \rightarrow \infty \) in a sense to be made precise. The nonlinearity may be of Gross–Pitaevskii type. A standing wave solution of \((NLS_\lambda )\) with \(\lambda =\infty \) vanishes on \(\mathbb {R}^N\setminus \Omega \) and satisfies Dirichlet boundary conditions, hence it solves We investigate when a standing wave solution \(\Phi _\infty \) of the infinite well potential \((NLS_\infty )\) gives rise to nearby solutions \(\Phi _\lambda \) of the finite well potential \((NLS_\lambda )\) with \(\lambda \gg 1\) large. Considering \((NLS_\infty )\) as a singular limit of \((NLS_\lambda )\) we prove a kind of singular continuation type results.     

Representations of set-valued risk measures defined on the l-tensor product of Banach lattices

We obtain a representation for set-valued risk measures which are defined on the completed \(l\) -tensor product \(E\widetilde{\otimes }_l G\) of Banach lattices \(E\) and \(G\) . This representation extends known representations for set-valued risk measures defined on Bochner spaces \(L^p(\mathbb {P}, \mathbb {R}^d)\) of \(p\) -integrable functions with values in \(\mathbb {R}^d\) .     

Pointwise convergence in Pringsheim’s sense of the summability of Fourier transforms on Wiener amalgam spaces

New multi-dimensional Wiener amalgam spaces \(W_c(L_p,\ell _\infty )(\mathbb{R }^d)\) are introduced by taking the usual one-dimensional spaces coordinatewise in each dimension. The strong Hardy-Littlewood maximal function is investigated on these spaces. The pointwise convergence in Pringsheim’s sense of the \(\theta \) -summability of multi-dimensional Fourier transforms is studied. It is proved that if the Fourier transform of \(\theta \) is in a suitable Herz space, then the \(\theta \) -means \(\sigma _T^\theta f\) converge to \(f\) a.e. for all \(f\in W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d)\) . Note that \(W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d) \supset W_c(L_r,\ell _\infty )(\mathbb{R }^d) \supset L_r(\mathbb{R }^d)\) and \(W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d) \supset L_1(\log L)^{d-1}(\mathbb{R }^d)\) , where \(1 . Moreover, \(\sigma _T^\theta f(x)\) converges to \(f(x)\) at each Lebesgue point of \(f\in W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d)\) .     

Regularity and uniqueness of a class of biharmonic map heat flows

We consider a class of weak solutions of the heat flow of biharmonic maps from \(\Omega \subset \mathbb{R }^n\) to the unit sphere \(\mathbb{S }^L\subset \mathbb{R }^{L+1}\) , that have small renormalized total energies locally at each interior point. For any such a weak solution, we prove the interior smoothness, and the properties of uniqueness, convexity of hessian energy, and unique limit at \(t=\infty \) . We verify that any weak solution \(u\) to the heat flow of biharmonic maps from \(\Omega \) to a compact Riemannian manifold \(N\) without boundary, with \(\nabla ^2 u\in L^q_tL^p_x\) for some \(p>\frac{n}{2}\) and \(q>2\) satisfying (1.12), has small renormalized total energy locally and hence enjoys both the interior smoothness and uniqueness property. Finally, if an initial data \(u_0\in W^{2,r}(\mathbb{R }^n, N)\) for some \(r>\frac{n}{2}\) , then we establish the local existence of heat flow of biharmonic maps \(u\) , with \(\nabla ^2 u\in L^q_tL^p_x\) for some \(p>\frac{n}{2}\) and \(q>2\) satisfying (1.12).     

L^p-Integrability,Dimensions of Supports of Fourier Transforms and Applications

It is proved that there does not exist any non zero function in \(L^p({\mathbb R}^n)\) with \(1\le p\le 2n/\alpha \) if its Fourier transform is supported by a set of finite packing \(\alpha \) -measure where \(0<\alpha <n\) . It is shown that the assertion fails for \(p>2n/\alpha \) . The result is applied to prove \(L^p\) Wiener Tauberian theorems for \({\mathbb R}^n\) and \(M(2)\) .     

Distributions and the Global Operator of Slice Monogenic Functions

In this paper we consider functions \(f\) defined on an open set \(U\) of the Euclidean space \(\mathbb{R }^{n+1}\) and with values in the Clifford Algebra \(\mathbb{R }_n\) . Slice monogenic functions \(f: U \subseteq \mathbb{R }^{n+1} \rightarrow \mathbb{R }_n\) belong to the kernel of the global differential operator with non constant coefficients given by \( \mathcal{G }=|{\underline{x}}|^2\frac{\partial }{\partial x_0} \ + \ {\underline{x}} \ \sum _{j=1}^n x_j\frac{\partial }{\partial x_j}. \) Since the operator \(\mathcal{G }\) is not elliptic and there is a degeneracy in \( {\underline{x}}=0\) , its kernel contains also less smooth functions that have to be interpreted as distributions. We study the distributional solutions of the differential equation \(\mathcal{G }F(x_0,{\underline{x}})=G(x_0,{\underline{x}})\) and some of its variations. In particular, we focus our attention on the solutions of the differential equation \( ({\underline{x}}\frac{\partial }{\partial x_0} \ - E)F(x_0,{\underline{x}})=G(x_0,{\underline{x}}), \) where \(E= \sum _{j=1}^n x_j\frac{\partial }{\partial x_j}\) is the Euler operator, from which we deduce properties of the solutions of the equation \( \mathcal{G }F(x_0,{\underline{x}})=G(x_0,{\underline{x}})\) .     

Stationary and invariant densities and disintegration kernels

Let \(G\) be a locally compact topological group, acting measurably on some Borel spaces \(S\) and \(T\) , and consider some jointly stationary random measures \(\xi \) on \(S\times T\) and \(\eta \) on \(S\) such that \(\xi (\cdot \times T)\ll \eta \) a.s. Then there exists a stationary random kernel \(\zeta \) from \(S\) to \(T\) such that \(\xi =\eta \otimes \zeta \) a.s. This follows from the existence of an invariant kernel \(\varphi \) from \(S\times {\mathcal {M}}_{S\times T}\times {\mathcal {M}}_S\) to \(T\) such that \(\mu =\nu \otimes \varphi (\cdot ,\mu ,\nu )\) whenever \(\mu (\cdot \times T)\ll \nu \) . Also included are some related results on stationary integration, absolute continuity, and ergodic decomposition.     

Two-dimensional slices of nonpseudoconvex domains with rough boundary

For a domain \(D\subset {\mathbb C}^n,\; n\ge 3\) , the set \(E\) is defined as the set of all points \(z\in {\mathbb C}^n\) for which the intersection of \(D\) with every complex \(2\) -plane through \(z\) is pseudoconvex. For \(D\) nonpseudoconvex, it is shown that \(E\) is contained in an affine subspace of codimension \(2\) . This results solves a problem raised by Nikolov and Pflug.     

Weighted Hardy inequality with higher dimensional singularity on the boundary

Let \(\Omega \) be a smooth bounded domain in \(\mathbb R ^N\) with \(N\ge 3\) and let \(\Sigma _k\) be a closed smooth submanifold of \(\partial \Omega \) of dimension \(1\le k\le N-2\) . In this paper we study the weighted Hardy inequality with weight function singular on \(\Sigma _k\) . In particular we provide necessary and sufficient conditions for existence of minimizers.     

Optimal initial value conditions for the existence of strong solutions of the Boussinesq equations

Consider the instationary Boussinesq equations in a smooth bounded domain \(\Omega \subseteq \mathbb {R}^3\) with initial values \(u_0 \in L^2_{\sigma }(\Omega )\) , \( \theta _0 \in L^2(\Omega )\) and gravitational force \(g\) . We call \((u,\theta )\) strong solution if \((u,\theta )\) is a weak solution and additionally Serrin’s condition \(u \in L^s(0,T; L^q(\Omega ))\) holds where \( 1 satisfy \(\frac{2}{s} + \frac{3}{q} =1\) . In this paper we show that \(\int _0^{\infty } \Vert e^{-tA} u_0 \Vert _q^s \, dt < \infty \) is necessary and sufficient for the existence of such a strong solution \((u,\theta )\) in a sufficiently small interval \([0,T[\, , 0 < T\le \infty \) . Furthermore we show that strong solutions are uniquely determined and that they are smooth if the data are smooth. The crucial point is the fact that we have required no additional integrability condition for \(\theta \) in the definition of a strong solution \((u,\theta )\) .     

On canonical metrics on Cartan–Hartogs domains

The Cartan–Hartogs domains are defined as a class of Hartogs type domains over irreducible bounded symmetric domains. The purpose of this paper is twofold. Firstly, for a Cartan–Hartogs domain \(\Omega ^{B^{d_0}}(\mu )\) endowed with the canonical metric \(g(\mu ),\) we obtain an explicit formula for the Bergman kernel of the weighted Hilbert space \(\mathcal {H}_{\alpha }\) of square integrable holomorphic functions on \(\left( \Omega ^{B^{d_0}}(\mu ), g(\mu )\right) \) with the weight \(\exp \{-\alpha \varphi \}\) (where \(\varphi \) is a globally defined Kähler potential for \(g(\mu )\) ) for \(\alpha >0\) , and, furthermore, we give an explicit expression of the Rawnsley’s \(\varepsilon \) -function expansion for \(\left( \Omega ^{B^{d_0}}(\mu ), g(\mu )\right) .\) Secondly, using the explicit expression of the Rawnsley’s \(\varepsilon \) -function expansion, we show that the coefficient \(a_2\) of the Rawnsley’s \(\varepsilon \) -function expansion for the Cartan–Hartogs domain \(\left( \Omega ^{B^{d_0}}(\mu ), g(\mu )\right) \) is constant on \(\Omega ^{B^{d_0}}(\mu )\) if and only if \(\left( \Omega ^{B^{d_0}}(\mu ), g(\mu )\right) \) is biholomorphically isometric to the complex hyperbolic space. So we give an affirmative answer to a conjecture raised by M. Zedda.