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 second order pullback equation

Let $f,g$ be two closed $k$ -forms over $\mathbb{R }^{n}.$ The pullback equation studies the existence of a diffeomorphism $\varphi :\mathbb{R }^{n} \rightarrow \mathbb{R }^{n}$ such that $$\begin{aligned} \varphi ^{*}(g)=f. \end{aligned}$$ We prove two types of results. The first one sharpens some of the existing regularity results. The second one discusses the possibility of choosing the map $\varphi $ as the gradient of a function $\Phi :\mathbb{R }^{n} \rightarrow \mathbb R .$ We show that this is a very rare event unless the two forms are constant.     

Stability of a conditional Cauchy equation on a set of measure zero

In this paper, we prove the Hyers–Ulam stability theorem when \({f, g, h : \mathbb{R} \to \mathbb{R}}\) satisfy $$|f(x + y) - g(x) - h(y)| \leq \epsilon$$ in a set \({\Gamma \subset \mathbb{R}^{2}}\) of measure \({m(\Gamma) = 0}\) , which refines a previous result in Chung (Aequat Math 83:313–320, 2012) and gives an affirmative answer to the question in the paper. As a direct consequence we obtain that if \({f, g, h : \mathbb{R} \to \mathbb{R}}\) satisfy the Pexider equation $$f(x + y) - g(x) - h(y) = 0$$ in \({\Gamma}\) , then the equation holds for all \({x, y \in \mathbb{R}}\) . Using our method of construction of the set, we can find a set \({\Gamma \subset \mathbb{R}^{2n}}\) of 2n-dimensional measure 0 and obtain the above result for the functions \({f, g, h : \mathbb{R}^{n} \to \mathbb{C}}\) .     

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.     

Layer solutions for the fractional Laplacian on hyperbolic space: existence,uniqueness and qualitative properties

We investigate the equation $$\begin{aligned} (-\Delta _{\mathbb{H }^n})^{\gamma } w=f(w)\quad \text{ in } \mathbb{H }^{n}, \end{aligned}$$ where \((-\Delta _{\mathbb{H }^n})^\gamma \) corresponds to the fractional Laplacian on hyperbolic space for \(\gamma \in (0,1)\) and \(f\) is a smooth nonlinearity that typically comes from a double well potential. We prove the existence of heteroclinic connections in the following sense; a so-called layer solution is a smooth solution of the previous equation converging to \(\pm 1\) at any point of the two hemispheres \(S_\pm \subset \partial _\infty \mathbb{H }^n\) and which is strictly increasing with respect to the signed distance to a totally geodesic hyperplane \(\Pi \) . We prove that under additional conditions on the nonlinearity uniqueness holds up to isometry. Then we provide several symmetry results and qualitative properties of the layer solutions. Finally, we consider the multilayer case, at least when \(\gamma \) is close to one.     

Existence of the generalized Fučík spectrum for nonhomogeneous elliptic operators

By variational methods and Morse theory, we prove the existence of uncountably many \((\alpha ,\beta )\in \mathbb R ^2\) for which the equation \(-\mathrm{div}\, A(x, \nabla u)=\alpha u_+^{p-1} -\beta u_-^{p-1}\) in \(\Omega \) , has a sign changing solution under the Neumann boundary condition, where a map \(A\) from \(\overline{\Omega }\times \mathbb R ^N\) to \(\mathbb R ^N\) satisfying certain regularity conditions. As a special case, the above equation contains the \(p\) -Laplace equation. However, the operator \(A\) is not supposed to be \((p-1)\) -homogeneous in the second variable. In particular, it is shown that generally the Fu?ík spectrum of the operator \(-\mathrm{div}\, A(x, \nabla u)\) on \(W^{1,p}(\Omega )\) contains some open unbounded subset of \(\mathbb R ^2\) .     

Biharmonic elliptic problems involving the 2nd Hessian operator

In this paper we will study the equation $$\begin{aligned} \Delta ^2 u=S_2(D^2u),\quad \Omega \subset \mathbb {R}^N, \end{aligned}$$ with \(N=3,\) where \( S_2(D^2u)(x)=\sum _{1\le i , being \(\lambda _i,\) the solutions to the equation $$\begin{aligned} \mathrm{det}\left( \lambda I-D^2u(x)\right) =0, \end{aligned}$$ \(i=1,\dots ,N,\) and \(\Omega \) is a bounded domain with smooth boundary. We deal with several boundary conditions looking for the appropriate framework to get existence and multiplicity of nontrivial solutions. This kind of equation is related to some models of growth, and for this reason it is natural to study the effect of zero order local reaction terms of the type \(F_{\lambda }(x,u)=\lambda |u|^{p-1}u\) , with \(\lambda \in \mathbb {R}\) , \(\lambda >0\) , and \(0 , and also the solvability of the boundary problems with a source term \(f\) satisfying some integrability hypotheses.     

Inequalities and exponential stability and instability in finite delay Volterra integro-differential equations

We use Liapunov functionals to obtain sufficient conditions that ensure exponential stability of the nonlinear Volterra integro-differential equation $$x^{\prime }(t)=p(t)x(t)-\int \limits _{t-\tau }^{t}q(t,s)x(s)ds,$$ where the constant $\tau $ is positive, the function $p$ does not need to obey any sign condition and the kernel $q$ is continuous. Our results improve the results obtained in literature even in the autonomous case. In addition, we give a new criteria for instability.     

Regularity of semi-stable solutions to fourth order nonlinear eigenvalue problems on general domains

We examine the fourth order problem $\Delta ^2 u = \lambda f(u) $ in $ \Omega $ with $ \Delta u = u =0 $ on $ {\partial \Omega }$ , where $ \lambda > 0$ is a parameter, $ \Omega $ is a bounded domain in $\mathbb{R }^N$ and where $f$ is one of the following nonlinearities: $ f(u)=e^u$ , $ f(u)=(1+u)^p $ or $ f(u)= \frac{1}{(1-u)^p}$ where $ p>1$ . We show the extremal solution is smooth, provided $$\begin{aligned} N < 2 + 4 \sqrt{2} + 4 \sqrt{ 2 - \sqrt{2}} \approx 10.718 \text{ when} f(u)=e^u, \end{aligned}$$ and $$\begin{aligned} N < \frac{4p}{p-1} + \frac{4(p+1)}{p-1} \left( \sqrt{ \frac{2p}{p+1}} + \sqrt{ \frac{2p}{p+1} - \sqrt{ \frac{2p}{p+1}}} - \frac{1}{2} \right) \end{aligned}$$ when $ f(u)=(u+1)^p$ . New results are also obtained in the case where $ f(u)=(1-u)^{-p}$ . These are substantial improvements to various results on critical dimensions obtained recently by various authors. To do that, we derive a new stability inequality satisfied by minimal solutions of the above equation, which is more amenable to estimates as it allows a method of proof reminiscent of the second order case.     

Fermat-type equations of signature (13,13,p) via Hilbert cuspforms

In this paper we prove that for $p > 13649$ equations of the form $x^{13} + y^{13} = Cz^{p}$ have no non-trivial primitive solutions $(a,b,c)$ such that $13 \not \mid c$ for an infinite family of values for $C$ . Our method consists on relating a solution $(a,b,c)$ to the previous equation to a solution $(a,b,c_1)$ of another Diophantine equation with coefficients in $\mathbb Q (\sqrt{13})$ . Then we attach to $(a,b,c_1)$ a Frey curve $E_{(a,b)}$ defined over $\mathbb Q (\sqrt{13})$ that is not a $\mathbb Q $ -curve. We prove a modularity result of independent interest for certain elliptic curves over totally real abelian number fields satisfying some local conditions at $3$ . This theorem, in particular, implies modularity of $E_{(a,b)}$ . This enables us to use level lowering results and apply the modular approach via Hilbert cuspforms over $\mathbb Q (\sqrt{13})$ to prove the non-existence of $(a,b,c_1)$ and, consequently, of $(a,b,c)$ .     

Identification of a convolution kernel in a control problem for the heat equation with a boundary memory term

We consider the evolution of the temperature \(u\) in a material with thermal memory characterized by a time-dependent convolution kernel \(h\) . The material occupies a bounded region \(\Omega \) with a feedback device controlling the external temperature located on the boundary \(\Gamma \) . Assuming both \(u\) and \(h\) unknown, we formulate an inverse control problem for an integrodifferential equation with a nonlinear and nonlocal boundary condition. Existence and uniqueness results of a solution to the inverse problem are proved.     

A remark on Schröder’s equation: formal and analytic linearization of iterative roots of the power series f(z)=z

We study Schröder’s equation (i.e. the problem of linearization) for local analytic functions \(F\) with \(F(0)=0, F'(0) \ne 1, F'(0)\) a root of \(1\) . While Schröder’s equation in this case need not have even a formal solution, we show that if \(F\) is formally linearizable, then it can also be linearized by an invertible local analytic transformation. On the other hand, there exist also divergent series solutions of Schröder’s equation in this situation. We give some applications of our results to iterative functional equations, functional-differential equations and iteration groups.     

Some properties of the Yamabe soliton and the related nonlinear elliptic equation

Firstly we prove the non-existence of positive radially symmetric solution of the nonlinear elliptic equation $\frac{n-1}{m}\Delta v^m+\alpha v+\beta x\cdot \nabla u=0$ in $\mathbb{R }^{n}$ when $n\ge 3$ , $0<m\le \frac{n-2}{n}$ , $\alpha <0$ and $\beta \le 0$ and prove various properties of the solution of the above elliptic equation for other parameter range of $\alpha $ and $\beta $ . Then these results are applied to prove some results on Yamabe solitons including the exact behaviour of the metric of the Yamabe soliton, its scalar curvature and sectional curvature, at infinity. A new proof of a result of Daskalopoulos and Sesum (The classification of locally conformally flat Yamabe solitons, http://arxiv.org/abs/1104.2242) on the positivity of the sectional curvature of Yamabe solitons is also presented.     

Well-posedness and blowup phenomena for a cross-coupled Camassa–Holm equation with waltzing peakons and compacton pairs

This paper deals with the Cauchy problem for a cross-coupled Camassa–Holm equation $$m_t=-(vm)_x-mv_x, n_t=-(un)_x-nu_x,$$ where \({n\doteq v-v_{xx}}\) , \({m\doteq u-u_{xx}+\omega}\) with a constant ω. The local well-posedness of solutions for the Cauchy problem of the cross-coupled Camassa–Holm equation in Sobolev space \({H^s(\mathbb{R})}\) with s > 5/2 is established. Under some assumptions, the existence and uniqueness of the global solutions to the equation are shown, and the blowup scenario of the solutions to the equation is also obtained.     

An Analog of the Cameron--Johnson Theorem for Linear ℂ-Analytic Equations in Hilbert Space

The well-known Cameron--Johnson theorem asserts that the equation $\dot x = \mathcal{A}\left( t \right)x$ with a recurrent (Bohr almost periodic) matrix $\mathcal{A}\left( t \right)$ can be reduced by a Lyapunov transformation to the equation $\dot y = \mathcal{B}\left( t \right)y$ with a skew-symmetric matrix $\mathcal{B}\left( t \right)$ , provided that all solutions of the equation $\dot x = \mathcal{A}\left( t \right)x$ and of all its limit equations are bounded on the whole line. In the note, a generalization of this result to linear $\mathbb{C}$ -analytic equations in a Hilbert space is presented.     

On the compactness of the set of invariant Einstein metrics

Let $M = G/H$ be a connected simply connected homogeneous manifold of a compact, not necessarily connected Lie group $G$ . We will assume that the isotropy $H$ -module $\mathfrak{g/h }$ has a simple spectrum, i.e. irreducible submodules are mutually non-equivalent. There exists a convex Newton polytope $N=N(G,H)$ , which was used for the estimation of the number of isolated complex solutions of the algebraic Einstein equation for invariant metrics on $G/H$ (up to scaling). Using the moment map, we identify the space $\mathcal{M }_1$ of invariant Riemannian metrics of volume 1 on $G/H$ with the interior of this polytope $N$ . We associate with a point ${x \in \partial N}$ of the boundary a homogeneous Riemannian space (in general, only local) and we extend the Einstein equation to $\partial N$ . As an application of the Alekseevsksky–Kimel’fel’d theorem, we prove that all solutions of the Einstein equation associated with points of the boundary are locally Euclidean. We describe explicitly the set $T\subset \partial N$ of solutions at the boundary together with its natural triangulation. Investigating the compactification ${\overline{\mathcal{M }}}_{1} = N$ of $\mathcal{M }_1$ , we get an algebraic proof of the deep result by Böhm, Wang and Ziller about the compactness of the set $\mathcal{E }_1 \subset \mathcal{M }_1$ of Einstein metrics. The original proof by Böhm, Wang and Ziller was based on a different approach and did not use the simplicity of the spectrum. In Appendix, we consider the non-symmetric flag manifolds $G/H$ with the second Betti number $b_2=1$ . We calculate the normalized volumes $2,6,20,82,344$ of the corresponding Newton polytopes and discuss the number of complex solutions of the algebraic Einstein equation and the finiteness problem.     

Sharp energy estimates for nonlinear fractional diffusion equations

We study the nonlinear fractional equation $(-\Delta )^su=f(u)$ in $\mathbb R ^n,$ for all fractions $0<s<1$ and all nonlinearities $f$ . For every fractional power $s\in (0,1)$ , we obtain sharp energy estimates for bounded global minimizers and for bounded monotone solutions. They are sharp since they are optimal for solutions depending only on one Euclidian variable. As a consequence, we deduce the one-dimensional symmetry of bounded global minimizers and of bounded monotone solutions in dimension $n=3$ whenever $1/2\le s<1$ . This result is the analogue of a conjecture of De Giorgi on one-dimensional symmetry for the classical equation $-\Delta u=f(u)$ in $\mathbb R ^n$ . It remains open for $n=3$ and $s<1/2$ , and also for $n\ge 4$ and all $s$ .     

Uniqueness of generalized p-area minimizers and integrability of a horizontal normal in the Heisenberg group

We study the uniqueness of generalized \(p\) -minimal surfaces in the Heisenberg group. The generalized \(p\) -area of a graph defined by \(u\) reads \(\int |\nabla u+\vec {F}|+Hu.\) If \(u\) and \(v\) are two minimizers for the generalized \(p\) -area satisfying the same Dirichlet boundary condition, then we can only get \(N_{\vec {F}}(u) = N_{\vec {F}}(v)\) (on the nonsingular set) where \(N_{\vec {F}}(w) := \frac{\nabla w+\vec {F}}{|\nabla w+\vec {F}|}.\) To conclude \(u = v\) (or \(\nabla u = \nabla v)\) , it is not straightforward as in the Riemannian case, but requires some special argument in general. In this paper, we prove that \(N_{\vec {F}}(u) = N_{ \vec {F}}(v)\) implies \(\nabla u = \nabla v\) in dimension \(\ge \) 3 under some rank condition on derivatives of \(\vec {F}\) or the nonintegrability condition of contact form associated to \(u\) or \(v\) . Note that in dimension 2 ( \(n=1),\) the above statement is no longer true. Inspired by an equation for the horizontal normal \(N_{\vec {F}}(u),\) we study the integrability for a unit vector to be the horizontal normal of a graph. We find a Codazzi-like equation together with this equation to form an integrability condition.