Sufficient conditions for local equivalence of mappings

Let $$f,g:({\mathbb {R}}^n,0)\rightarrow ({\mathbb {R}}^m,0)$$ be $$C^{r+1}$$ mappings and let $$Z=\{x\in \mathbf {\mathbb {R}}^n:\nu (df (x))=0\}$$ , $$0\in Z$$ , $$m\le n$$ . We will show that if there exist a neighbourhood U of $$0\in {\mathbb {R}}^n$$ and constants $$C,C'>0$$ and $$k>1$$ such that for $$x\in U$$ $$\begin{aligned}&\nu (df(x))\ge C{\text {dist}}(x,Z)^{k-1}, \\&\left| \partial ^{s} (f_i-g_i)(x) \right| \le C'\nu (df(x))^{r+k-|s|}, \end{aligned}$$ for any $$i\in \{1,\dots , m\}$$ and for any $$s \in \mathbf {\mathbb {N}}^n_0$$ such that $$|s|\le r$$ , then there exists a $$C^r$$ diffeomorphism $$\varphi :({\mathbb {R}}^n,0)\rightarrow ({\mathbb {R}}^n,0)$$ such that $$f=g\circ \varphi $$ in a neighbourhood of $$0\in {\mathbb {R}}^n$$ . By $$\nu (df)$$ we denote the Rabier function.     

Ground states for Schrödinger–Poisson type systems

In this paper we consider the following elliptic system in \mathbbR³{\mathbb{R}^3}

Well-Posedness of MHD Equations in Sobolev-Gevery Space

This paper is devoted to the study of the 3D incompressible magnetohydrodynamic system. We prove the local in time well-posedness for any large initial data in $\dot{H}_{a,1}^{1}({\mathbb{R}}^{3})$ or $H_{a,1}^{1}({\mathbb{R}}^{3})$. Furthermore, the global well-posedness of a strong solution in $\tilde{L}^{\infty}(0,T;H_{a,1}^{1}({\mathbb{R}}^{3}))\cap L^{2}(0,T;\dot{H}_{a,1}^{1}({\mathbb{R}}^{3})\cap \dot{H}_{a,1}^{2}({\mathbb{R}}^{3}))$ with initial data satisfying a smallness condition is established.     

带粗糙初始值向列型液晶流的适定性

考虑了R~n上n(n≥2)维向列型液晶流(u,d)当初值属于Q_α~(-1)(R~n,R~n)×Q_α(R~n,S~2)(其中α∈(0,1))时Cauchy问题的适定性,这里的Q_α(R~n)最早由Essen,Janson,Peng和Xiao(见[Essen M,Janson S,Peng L,Xiao J.Q space of several real variables,Indiana Univ Math J,2000,49:575-615])引入,是指由R~n中满足的所有可测函数f全体所组成的空间.上式左端在取遍Rn中所有以l(I)为边长且边平行于坐标轴的立方体I的全体中取上确界,而Q_α~(-1)(R~n):=▽·Q_α(R~n).最后证明了解(u,d)在类C([0,T);Q_(α,T)~(-1)(R~n,R~n))∩L_(loc)~∞((0,T);L~∞(R~n,R~n))×C([0,T);Q_α,T(R~n,S~2))∩L_(loc)~∞((0,T);W~(1,∞)(R~n,S~2))(其中0T≤∞)中是唯一的.     

On the hierarchies of higher order mKdV and KdV equations

The Cauchy problem for the higher order equations in the mKdV hierarchy is investigated with data in the spaces $ \hat H_s^r \left( \mathbb{R} \right) $ \hat H_s^r \left( \mathbb{R} \right) defined by the norm

A restriction theorem for Grushin operators

We study the Grushin operators acting on \(\mathbb{R}_x^{{d_1}} \times \mathbb{R}_t^{{d_2}}\) and defined by the formula \(L = - \sum\nolimits_{j = 1}^{{d_1}} {\partial _{{x_j}}^2} - {\sum\nolimits_{j = 1}^{{d_1}} {\left| {{x_j}} \right|} ^2}\sum\nolimits_{k = 1}^{{d_2}} {\partial _{{t_k}}^2} \). We establish a restriction theorem associated with the considered operators. Our result is an analogue of the restriction theorem on the Heisenberg group obtained by D. M¨uller [Ann. of Math., 1990, 131: 567–587].     

Euclidean hypersurfaces with genuine deformations in codimension two

We classify hypersurfaces of rank two of Euclidean space ${\mathbb{R}^{n+1}}$ that admit genuine isometric deformations in ${\mathbb{R}^{n+2}}$ . That an isometric immersion ${\hat{f}\colon M^n \to \mathbb{R}^{n+2}}$ is a genuine isometric deformation of a hypersurface ${f\colon M^n\to\mathbb{R}^{n+1}}$ means that ${\hat f}$ is nowhere a composition ${\hat f=\hat F\circ f}$ , where ${\hat{F} \colon V\subset \mathbb{R}^{n+1} \to\mathbb{R}^{n+2}}$ is an isometric immersion of an open subset V containing the hypersurface.     

Existence of semiclassical states for a coupled Schrödinger system with potentials and nonlocal nonlinearities

In this paper, we first study a Schrödinger system with nonlocal coupling nonlinearities of Hartree type $$\left\{\begin{array}{ll} -\varepsilon^{2}\Delta u +V_1(x)u = \left ( \int \limits_{\mathbb{R}^{3}} \frac{u^{2}}{|x-y|}{\rm d}y \right)u\,+\, {\beta} \left ( \int \limits_{\mathbb{R}^{3}} \frac{v^{2}}{|x-y|}{\rm d} y \right)u,\\ -\varepsilon^{2} \Delta v +V_2(x)v = \left(\int \limits_{\mathbb{R}^{3}} \frac{v^{2}}{|x-y|}{\rm d}y \right)v \,+ \, {\beta} \left ( \int \limits_{\mathbb{R}^{3}} \frac{u^{2}}{|x-y|}{\rm d}y \right)v. \end{array}\right.$$ Using variational methods, we prove the existence of purely vector ground state solutions for the Schrödinger system if the parameter ${\varepsilon}$ is small enough. Secondly, we also establish some existence results for the coupled Schrödinger system with critical exponents.     

Appell Bases for Monogenic Functions of Three Variables

Monogenic (or hyperholomorphic) functions are well known in general Clifford algebras but have been little studied in the particular case ${\mathbb{R}^{3} \rightarrow \mathbb{R}^{3}}$ R 3 → R 3 . We describe for this case the collection of all Appell systems: bases for the finite-dimensional spaces of monogenic homogeneous polynomials which respect the operator ${D = \partial_{0} - \vec{\partial}}$ D = ? 0 ? ? → . We prove that no purely algebraic recursive formula (in a specific sense) exists for these Appell systems, in contrast to the existence of known constructions for ${\mathbb{R}^{3} \rightarrow \mathbb{R}^{4}}$ R 3 → R 4 and ${\mathbb{R}^{4} \rightarrow \mathbb{R}^{4}}$ R 4 → R 4 . However, we give a simple recursive procedure for constructing Appell bases for ${\mathbb{R}^{3} \rightarrow \mathbb{R}^{3}}$ R 3 → R 3 which uses the operation of integration of polynomials.     

The universal minimal one parameter system with quasi-discrete spectrum

The universal minimal one parameter system will be characterized as the space $$\Gamma ^{\infty }$$, in which $$\Gamma$$ is the Bohr compactification of the additive group $${\mathbb {R}}$$ of real numbers. In this way, we need to show that $$\Gamma ^\infty$$ is isomorphic to the spectrum of $$W({\mathbb {R}})$$, the norm closure of the invariant algebra generated by the maps $$\exp q(t)$$, where q(t) is a real polynomial on $${\mathbb {R}}$$.     

A Sharp Weak-Type $$(\infty ,\infty )$$ Inequality for the Hilbert Transform

The paper is devoted to sharp weak type \((\infty ,\infty )\) estimates for \({\mathcal {H}}^{\mathbb {T}}\) and \({\mathcal {H}}^{\mathbb {R}}\), the Hilbert transforms on the circle and real line, respectively. Specifically, it is proved that

$$\begin{aligned} \left\| {\mathcal {H}}^{\mathbb {T}}f\right\| _{W({\mathbb {T}})}\le \Vert f\Vert _{L^\infty ({\mathbb {T}})} \end{aligned}$$

and

$$\begin{aligned} \left\| {\mathcal {H}}^{\mathbb {R}}f\right\| _{W({\mathbb {R}})}\le \Vert f\Vert _{L^\infty ({\mathbb {R}})}, \end{aligned}$$

where \(W({\mathbb {T}})\) and \(W({\mathbb {R}})\) stand for the weak-\(L^\infty \) spaces introduced by Bennett, DeVore and Sharpley. In both estimates, the constant \(1\) on the right is shown to be the best possible.

     

Semiclassical symmetric Schr?dinger equations: Existence of solutions concentrating simultaneously on several spheres

We study the radially symmetric Schr?dinger equation

Stability of sets for impulsive functional differential equations via Razumikhin method

In this paper, we consider the functional differential equation with impulsive perturbations

The Beckman-Quarles theorem for mappings from ℝ2 to $${\mathbb{F}}^2 $$ , where F is a subfield of a commutative field extending ℝ, where F is a subfield of a commutative field extending ℝ

Let F be a subfield of a commutative field extending ℝ. Let We say thatf : preserves distanced ≥ 0 if for eachx,y ∈ ℝ ∣x- y∣= d implies ϕ₂(f(x),f(y)) = d² . We prove that each unit-distance preserving mappingf : has a formI o (ρ,ρ), where is a field homomorphism and is an affine mapping with orthogonal linear part.     

Bound states for a coupled Schrödinger system

We consider the existence of bound states for the coupled elliptic system

Asymptotical self-similarity in nonlinear parabolic systems

We prove that blowing up solutions of the system

Complete surfaces of constant curvature in H<Superscript>2</Superscript> × R and S<Superscript>2</Superscript> × R

We study isometric immersions of surfaces of constant curvature into the homogeneous spaces and . In particular, we prove that there exists a unique isometric immersion from the standard 2-sphere of constant curvature c > 0 into and a unique one into when c > 1, up to isometries of the ambient space. Moreover, we show that the hyperbolic plane of constant curvature c < −1 cannot be isometrically immersed into or . J.A. Aledo was partially supported by Ministerio de Education y Ciencia Grant No. MTM2004-02746 and Junta de Comunidades de Castilla-La Mancha, grant no. PAI-05-034. J.M. Espinar and J.A. Gálvez were partially supported by Ministerio de Education y Ciencia grant no. MTM2004-02746 and Junta de Andalucía Grant No. FQM325.     

Multiplicity and concentration of positive solutions for the Schr?dinger�CPoisson equations

This paper is concerned with the multiplicity and concentration of positive solutions for the nonlinear Schr?dinger?CPoisson equations $$ \left\{ \begin{array}{l@{\quad}l} -\varepsilon^2\triangle u+V(x)u+\phi(x) u=f(u)& {\rm in}\,{\mathbb R}^3, \\ -\varepsilon^2\triangle \phi=u^2 & {\rm in}\,{\mathbb R}^3, \\ u\in H^1({\mathbb R}^3), u(x) > 0,& \forall x\in{\mathbb R}^3, \\ \end{array} \right. $$ where ???>?0 is a parameter, ${V: {\mathbb R}^3\rightarrow{\mathbb R}}$ is a continuous function and ${f: {\mathbb R}\rightarrow {\mathbb R}}$ is a C ¹ function having subcritical growth. The proof of the main result is based on minimax theorems and the Ljusternik?CSchnirelmann theory.     

Equilibrium Diffusion on the Cone of Discrete Radon Measures

Let \({\mathbb {K}(\mathbb {R}^{d})}\) denote the cone of discrete Radon measures on \(\mathbb {R}^{d}\). There is a natural differentiation on \(\mathbb {K}(\mathbb {R}^{d})\): for a differentiable function \(F:\mathbb {K}(\mathbb {R}^{d})\to \mathbb {R}\), one defines its gradient \(\nabla ^{\mathbb {K}}F\) as a vector field which assigns to each \(\eta \in \mathbb {K}(\mathbb {R}^{d})\) an element of a tangent space \(T_{\eta }(\mathbb {K}(\mathbb {R}^{d}))\) to \(\mathbb {K}(\mathbb {R}^{d})\) at point η. Let \(\phi :\mathbb {R}^{d}\times \mathbb {R}^{d}\to \mathbb {R}\) be a potential of pair interaction, and let μ be a corresponding Gibbs perturbation of (the distribution of) a completely random measure on \(\mathbb {R}^{d}\). In particular, μ is a probability measure on \(\mathbb {K}(\mathbb {R}^{d})\) such that the set of atoms of a discrete measure \(\eta \in \mathbb {K}(\mathbb {R}^{d})\) is μ-a.s. dense in \(\mathbb {R}^{d}\). We consider the corresponding Dirichlet form

$$\mathcal{E}^{\mathbb{K}}(F,G)={\int}_{\mathbb K(\mathbb{R}^{d})}\langle\nabla^{\mathbb{K}} F(\eta), \nabla^{\mathbb{K}} G(\eta)\rangle_{T_{\eta}(\mathbb{K})}\,d\mu(\eta). $$

Integrating by parts with respect to the measure μ, we explicitly find the generator of this Dirichlet form. By using the theory of Dirichlet forms, we prove the main result of the paper: If d ≥ 2, there exists a conservative diffusion process on \(\mathbb {K}(\mathbb {R}^{d})\) which is properly associated with the Dirichlet form \(\mathcal {E}^{\mathbb {K}}\).