Young measures generated by sequences in Morrey spaces

Let ${\Omega\subset\mathbb{R}^n}$ be open and bounded. For 1 ≤ p < ∞ and 0 ≤ λ < n, we give a characterization of Young measures generated by sequences of functions ${\{{\bf f}_j\}_{j=1}^\infty}$ uniformly bounded in the Morrey space ${L^{p,\lambda}(\Omega;\mathbb{R}^N)}$ with ${\{\left|{{\bf f}_j}\right|^p\}_{j=1}^\infty}$ equiintegrable. We then treat the case that each f _j = ? u _j for some ${{\bf u}_j\in W^{1,p}(\Omega;\mathbb{R}^N)}$ . As an application of our results, we consider the functional $${\bf u} \mapsto \int\limits_{\Omega}f({\bf x}, {\bf u}({\bf x}), {\bf {\nabla}}{\bf u}({\bf x})){\rm d}{\bf x},$$ and provide conditions that guarantee the existence of a minimizing sequence with gradients uniformly bounded in ${L^{p,\lambda}(\Omega;\mathbb{R}^{N\times n})}$ .     

Gamma-convergence of nonlocal perimeter functionals

Given ${\Omega\subset\mathbb{R}^{n}}$ open, connected and with Lipschitz boundary, and ${s\in (0, 1)}$ , we consider the functional $$\mathcal{J}_s(E,\Omega)\,=\, \int_{E\cap \Omega}\int_{E^c\cap\Omega}\frac{dxdy}{|x-y|^{n+s}}+\int_{E\cap \Omega}\int_{E^c\cap \Omega^c}\frac{dxdy}{|x-y|^{n+s}}\,+ \int_{E\cap \Omega^c}\int_{E^c\cap \Omega}\frac{dxdy}{|x-y|^{n+s}},$$ where ${E\subset\mathbb{R}^{n}}$ is an arbitrary measurable set. We prove that the functionals ${(1-s)\mathcal{J}_s(\cdot, \Omega)}$ are equi-coercive in ${L^1_{\rm loc}(\Omega)}$ as ${s\uparrow 1}$ and that $$\Gamma-\lim_{s\uparrow 1}(1-s)\mathcal{J}_s(E,\Omega)=\omega_{n-1}P(E,\Omega),\quad \text{for every }E\subset\mathbb{R}^{n}\,{\rm measurable}$$ where P(E, ??) denotes the perimeter of E in ?? in the sense of De Giorgi. We also prove that as ${s\uparrow 1}$ limit points of local minimizers of ${(1-s)\mathcal{J}_s(\cdot,\Omega)}$ are local minimizers of P(·, ??).     

A local mountain pass type result for a system of nonlinear Schr?dinger equations

We consider a singular perturbation problem for a system of nonlinear Schr?dinger equations: $$ \begin{array}{l} -\varepsilon^2\Delta v_1 +V_1(x)v_1 = \mu_1 v_1^3 + \beta v_1v_2^2 \quad {\rm in}\,\,{\bf R}^N, \\ -\varepsilon^2\Delta v_2 +V_2(x)v_2 = \mu_2 v_2^3 + \beta v_1^2v_2 \quad {\rm in}\,\,{\bf R}^N, \\ \null\ v_1(x), \ v_2(x) >0 \quad {\rm in}\,\,{\bf R}^N, \\ \null\ v_1(x), \ v_2(x)\in H^1({\bf R}^N), \end{array} \quad\quad\quad\quad\quad (*) $$ where N?=?2, 3, ?? ₁, ?? ₂, ?? > 0 and V ₁(x), V ₂(x): R ^N ?? (0, ??) are positive continuous functions. We consider the case where the interaction ?? > 0 is relatively small and we define for ${P\in{\bf R}^N}$ the least energy level m(P) for non-trivial vector solutions of the rescaled ??limit?? problem: $$ \begin{array}{l} -\Delta v_1 +V_1(P)v_1 = \mu_1 v_1^3 + \beta v_1v_2^2 \quad {\rm in}\,\,{\bf R}^N, \\ -\Delta v_2 +V_2(P)v_2 = \mu_2 v_2^3 + \beta v_1^2v_2 \quad {\rm in}\,\,{\bf R}^N, \\ \null\ v_1(x), \ v_2(x) >0 \quad {\rm in}\,\,{\bf R}^N, \\ \null\ v_1(x), \ v_2(x)\in H^1({\bf R}^N). \end{array} \quad\quad\quad\quad\quad\quad (**) $$ We assume that there exists an open bounded set ${\Lambda\subset{\bf R}^N}$ satisfying $$ {\mathop {\rm inf} _{P\in\Lambda} m(P)} < {\mathop {\rm inf}_{P\in\partial\Lambda} m(P)}. $$ We show that (*) possesses a family of non-trivial vector positive solutions ${\{(v_{1\varepsilon}(x), v_{2\varepsilon} (x))\}_{\varepsilon\in (0,\varepsilon_0]}}$ which concentrates??after extracting a subsequence ?? _n ?? 0??to a point ${P_0\in\Lambda}$ with ${m(P_0)={\rm inf}_{P\in\Lambda}m(P)}$ . Moreover (v _1?? (x), v _2?? (x)) converges to a least energy non-trivial vector solution of (**) after a suitable rescaling.     

Global existence for the Cauchy problem of the parabolic–parabolic Keller–Segel system on the plane

This paper is concerned with the Cauchy problem for the Keller–Segel system $$\left\{\begin{array}{l@{\quad}l}u_t = \nabla \cdot (\nabla u - u \nabla v) & \hbox{in } {\bf R}^{2} \times(0,\infty),\\v_t = \Delta v - \lambda v + u & \hbox{ in } {\bf R}^2 \times(0,\infty),\\u(x,0) = u_0 (x) \geq 0, \; v(x,0) = v_0 (x) \geq 0 & \hbox{ in} {\bf R}^2\end{array}\right.$$ with a constant λ ≥ 0, where ${(u_0, v_0) \in (L^1 ({\bf R}^2) \cap L^\infty ({\bf R}^2) ) \times (L^1 ({\bf R}^2) \cap H^1 ({\bf R}^2))}$ . Let $$m (u_0;{\bf R}^2) = \int\limits_{{\bf R}^2} u_0 (x) dx$$ . The same method as in [9] yields the existence of a blowup solution with m (u ₀; R ²) > 8π. On the other hand, it was recently shown in [7] that under additional hypotheses ${u_0 \log (1 + |x|^2) \in L^1 ({\bf R}^2)}$ and ${u_0 \log u_0 \in L^1 ({\bf R}^2)}$ , any solution with m(u ₀; R ²) < 8π exists globally in time. In[18], the extra assumptions were taken off, but the condition on mass was restricted to m (u ₀; R ²) < 4π. In this paper, we prove that any solution with m (u ₀; R ²) < 8π exists globally in time under no extra conditions. Furthermore the global existence of solutions is obtained under some condition on u ₀ also in the critical case m (u ₀; R ²) = 8π.     

Some inequalities related to Sobolev norms

In this paper, we study some properties related to the new characterizations of Sobolev spaces introduced in Bourgain and Nguyen (C R Acad Sci, 343:75?C80, [2006]), Nguyen (J Funct Anal 237: 689?C720, [2006]; J Eur Math Soc 10:191?C229, [2008]). More precisely, we establish variants of the Poincaré inequality, the Sobolev inequality, and the Rellich?CKondrachov compactness theorem, where ${\int_{\mathbb{R}^N} |\nabla g|^p \;dx}$ is replaced by some quantity of the type $$I_{\delta} (g) =\mathop{\int\limits_{\mathbb{R}^N}\int\limits_{\mathbb{R}^N}}_{|g(x) - g(y)| > \delta}\frac{\delta^p}{|x-y|^{N+p}}\, dx \, dy.$$      

Sharp nonexistence results of prescribed L 2-norm solutions for some class of Schrödinger–Poisson and quasi-linear equations

In this paper, we study the existence of minimizers for $$F(u) = \frac{1}{2} \int_{\mathbb{R}^3} |\nabla u|^{2} {\rm d}x + \frac{1}{4} \int_{\mathbb{R}^3} \int_{\mathbb{R}^3} \frac{| u(x)|^2 | u(y)|^2}{| x-y|} {\rm d}x{\rm d}y-\frac{1}{p} \int_{\mathbb{R}^3}|u|^p {\rm d}x$$ on the constraint $$S(c) = \{u \in H^1(\mathbb{R}^3) : \int_{\mathbb{R}^3}|u|^2 {\rm d}x = c\}$$ , where c >  0 is a given parameter. In the range ${p \in [3,\frac{10}{3}]}$ , we explicit a threshold value of c >  0 separating existence and nonexistence of minimizers. We also derive a nonexistence result of critical points of F(u) restricted to S(c) when c >  0 is sufficiently small. Finally, as a by-product of our approaches, we extend some results of Colin et al. (Nonlinearity 23(6):1353–1385, 2010) where a constrained minimization problem, associated with a quasi-linear equation, is considered.     

Exact multiplicity for the perturbed Q-curvature problem in {\mathbb{R}^N,N \geq 5}

Let N ≥ 5 and \({{\mathcal{D}}^{2,2} (\mathbb{R}^N)}\) denote the closure of \({C_0^\infty (\mathbb{R}^N)}\) in the norm \({\|u\|_{{\mathcal{D}}^{2,2} (\mathbb{R}^N)}^2 := \int\nolimits_{\mathbb{R}^N} |\Delta u|^2.}\) Let \({K \in C^2 (\mathbb{R}^N).}\) We consider the following problem for ? ≥ 0: $$(P_\varepsilon) \left\{\begin{array}{llll}{\rm Find} \, u \in {\mathcal{D}}^{2, 2} (\mathbb{R}^N) \, \, {\rm solving} :\\ \left.\begin{array}{lll}\Delta^2 u = (1+ \varepsilon K (x)) u^{\frac{N+4}{N-4}}\\ u > 0 \end{array}\right\}{\rm in} \, \mathbb{R}^N.\end{array}\right.$$ We show an exact multiplicity result for (P _? ) for all small ? > 0.     

A new linear quotient of C 4 admitting a symplectic resolution

We show that the quotient C ⁴/G admits a symplectic resolution for ${G = Q_8 \times_{{\bf Z}/2} D_8 < {\sf Sp}_4({\bf C})}$ . Here Q ₈ is the quaternionic group of order eight and D ₈ is the dihedral group of order eight, and G is the quotient of their direct product which identifies the nontrivial central elements ?Id of each. It is equipped with the tensor product representation ${{\bf C}^2 \boxtimes {\bf C}^2 \cong {\bf C}^4}$ . This group is also naturally a subgroup of the wreath product group ${Q_8^2 \rtimes S_2 < {\sf Sp}_4({\bf C})}$ . We compute the singular locus of the family of commutative spherical symplectic reflection algebras deforming C ⁴/G. We also discuss preliminary investigations on the more general question of classifying linear quotients V/G admitting symplectic resolutions.     

Functional equations for vector products and quaternions

In our paper we find all functions ${f : \mathbb {R} \times \mathbb {R}^{3} \rightarrow \mathbb {H}}$ and ${g : \mathbb {R}^{3} \rightarrow \mathbb {H}}$ satisfying ${f (r, {\bf v}) f (s, {\bf w}) = -\langle{\bf v},{\bf w}\rangle + f (rs, s{\bf v} + r{\bf w} + {\bf v} \times {\bf w})}$ ${(r, s \in \mathbb {R}, {\bf v},{\bf w} \in \mathbb {R}^{3})}$ , and ${g({\bf v})g({\bf w}) = -\langle{\bf v}, {\bf w}\rangle + g({\bf v} \times {\bf w})}$ $({{\bf v},{\bf w} \in \mathbb {R}^{3}})$ . These functional equations were motivated by the well-known identities for vector products and quaternions, which can be obtained from the solutions f (r, (v ₁, v ₂, v ₃)) = r + v ₁ i + v ₂ j + v ₃ k and g((v ₁ ,v ₂, v ₃)) = v ₁ i + v ₂ j + v ₃ k.     

On certain generalizations of the Gagliardo–Nirenberg inequality and their applications to capacitary estimates and isoperimetric inequalities

We derive the inequality $$\int_\mathbb{R}M(|f'(x)|h(f(x))) dx\leq C(M,h)\int_\mathbb{R}M\left({\sqrt{|f''(x)\tau_h(f(x))|}\cdot h(f(x))}\right)dx$$ with a constant C(M, h) independent of f, where f belongs locally to the Sobolev space ${W^{2,1}(\mathbb{R})}$ and f′ has compact support. Here M is an arbitrary N-function satisfying certain assumptions, h is a given function and ${\tau_h(\cdot)}$ is its given transform independent of M. When M(λ) =  λ ^p and ${h \equiv 1}$ we retrieve the well-known inequality ${\int_\mathbb{R}|f'(x)|^{p}dx \leq (\sqrt{p - 1})^{p}\int_\mathbb{R}(\sqrt{|f''(x) f(x)|})^{p}dx}$ . We apply our inequality to obtain some generalizations of capacitary estimates and isoperimetric inequalities due to Maz’ya (1985).     

On Isomorphisms of Hardy Spaces Associated with Schrödinger Operators

Let L=?Δ+V is a Schrödinger operator on $\mathbb{R}^{d}$ , d≥3, V≥0. Let $H^{1}_{L}$ denote the Hardy space associated with L. We shall prove that there is an L-harmonic function w, 0<δ≤w(x)≤C, such that the mapping $$H_L^1 \ni f\mapsto wf\in H^1\bigl(\mathbb{R}^d\bigr) $$ is an isomorphism from the Hardy space $H_{L}^{1}$ onto the classical Hardy space $H^{1}(\mathbb{R}^{d})$ if and only if $\Delta^{-1}V(x)=-c_{d}\int_{\mathbb{R}^{d}} |x-y|^{2-d} V(y) dy$ belongs to $L^{\infty}(\mathbb{R}^{d})$ .     

Bound states of nonlinear Schrödinger equations with magnetic fields

We study bound states of the following nonlinear Schr?dinger equation in the presence of a magnetic field: $$ \left\{\begin{array}{l} \left(-i\hbar\nabla+A(x)\right)^2u+V(x)u=g(x,|u|)u \\ |u|\in H^1(\mathbb{R}^N) \end{array} \right. $$ where ${A: \mathbb{R}^N\to\mathbb{R}^N, V: \mathbb{R}^N\to\mathbb{R}}$ and ${g: \mathbb{R}^N\times\mathbb{R}\to [0,\infty)}$ . We prove that if V is bounded below with the set ${\{x\in\mathbb{R}^N: V(x) < b\}\not=\emptyset}$ having finite measure for some b?>?0, inf V???0, and g satisfies some growth conditions, then for any integer m when ${\hbar >0 }$ is sufficiently small the problem has m geometrically different solutions.     

Infinitely many positive solutions for the nonlinear Schrödinger equations in {\mathbb{R}^N}

We consider the following nonlinear problem in ${\mathbb {R}^N}$ $$- \Delta u +V(|y|)u = u^{p},\quad u > 0 \quad {\rm in}\, \mathbb {R}^N, \quad u \in H^1(\mathbb {R}^N), \quad \quad \quad (0.1)$$ where V(r) is a positive function, ${1< p < {\frac{N+2}{N-2}}}$ . We show that if V(r) has the following expansion: $$V(r) = V_0+\frac a {r^m} +O \left(\frac1{r^{m+\theta}}\right),\quad {\rm as} \, r\to +\infty,$$ where a > 0, m > 1, θ > 0, and V ₀ > 0 are some constants, then (0.1) has infinitely many non-radial positive solutions, whose energy can be made arbitrarily large.     

Nonexistence of Positive Solutions for an Integral Equation Related to the Hardy-Sobolev Inequality

Let α and s be real numbers satisfying 0<s<α<n. We are concerned with the integral equation $$u(x)=\int_{R^n}\frac{u^p(y)}{|x-y|^{n-\alpha}|y|^s}dy, $$ where \(\frac{n-s}{n-\alpha}< p< \alpha^{*}(s)-1\) with \(\alpha^{*}(s)=\frac{2(n-s)}{n-\alpha}\) . We prove the nonexistence of positive solutions for the equation and establish the equivalence between the above integral equation and the following partial differential equation $$\begin{aligned} (-\Delta)^{\frac{\alpha}{2}}u(x)=|x|^{-s}u^p. \end{aligned}$$      

A smooth global branch of solutions for a semilinear elliptic equation on {\mathbb{R}^N}

The existence of a global branch of positive spherically symmetric solutions ${\{(\lambda,u(\lambda)):\lambda\in(0,\infty)\}}$ of the semilinear elliptic equation $$\Delta u - \lambda u + V(x)|u|^{p-1}u = 0 \quad \text{in}\,\mathbb{R}^N\,\text{with}\,N\geq3$$ is proved for ${1 < p < 1+\frac{4-2b}{N-2}}$ , where ${b\in(0,2)}$ is such that the radial function V vanishes at infinity like |x|^?b . V is allowed to be singular at the origin but not worse than |x|^?b . The mapping ${\lambda\mapsto u(\lambda)}$ is of class ${C^r((0,\infty),H^1(\mathbb{R}^N))}$ if ${V\in C^r(\mathbb{R}^N\setminus\{0\},\mathbb{R})}$ , for r = 0, 1. Further properties of regularity and decay at infinity of solutions are also established. This work is a natural continuation of previous results by Stuart and the author, concerning the existence of a local branch of solutions of the same equation for values of the bifurcation parameter λ in a right neighbourhood of λ = 0. The variational structure of the equation is deeply exploited and the global continuation is obtained via an implicit function theorem.     

Metrization of Weighted Graphs

We find a set of necessary and sufficient conditions under which the weight ${w: E \rightarrow \mathbb{R}^{+}}$ on the graph G = (V, E) can be extended to a pseudometric ${d : V \times V \rightarrow \mathbb{R}^{+}}$ . We describe the structure of graphs G for which the set ${\mathfrak{M}_{w}}$ of all such extensions contains a metric whenever w is strictly positive. Ordering ${\mathfrak{M}_{w}}$ by the pointwise order, we have found that the posets $({\mathfrak{M}_{w}, \leqslant)}$ contain the least elements ρ _0,w if and only if G is a complete k-partite graph with ${k \, \geqslant \, 2}$ . In this case the symmetric functions ${f : V \times V \rightarrow \mathbb{R}^{+}}$ , lying between ρ _0,w and the shortest-path pseudometric, belong to ${\mathfrak{M}_{w}}$ for every metrizable w if and only if the cardinality of all parts in the partition of V is at most two.     

Regular prism tilings in {{\widetilde{\bf SL_{2}R}}} space

\({{\widetilde{\bf SL_{2}R}}}\) geometry is one of the eight 3-dimensional Thurston geometries, it can be derived from the 3-dimensional Lie group of all 2 × 2 real matrices with determinant one. Our aim is to describe and visualize the regular infinite or bounded p-gonal prism tilings in \({{\widetilde{\bf SL_{2}R}}}\) . For this purpose we introduce the notion of infinite and bounded prisms, prove that there exist infinitely many regular infinite p-gonal face-to-face prism tilings \({\mathcal{T}^i_p(q)}\) and infinitely many regular bounded p-gonal non-face-to-face \({{\widetilde{\bf SL_{2}R}}}\) prism tilings \({\mathcal{T}_p(q)}\) for integer parameters \({p,q; 3 \leq p, \frac{2p}{p-2} < q}\) . Moreover, we describe the symmetry group of \({\mathcal{T}_p(q)}\) via its index 2 rotational subgroup, denoted by pq2 ₁ . Surprisingly this group already occurred in our former work (Molnár et al., J Geometry, 95:91–133, 2009) in another context. We also develop a method to determine the data of the space filling regular infinite and bounded prism tilings. We apply the above procedure to \({\mathcal{T}^i_3(q)}\) and \({\mathcal{T}_3(q)}\) where 6 < q and visualize them and the corresponding tilings. E. Molnár showed, that homogeneous 3-spaces have a unified interpretation in the projective 3-sphere \({\mathcal{PS}^3}\) and 3-space \({\mathcal{P}^3({\bf V}^4,{\bf V}_4, {\bf R})}\) . In our work we will use this projective model of \({{\widetilde{\bf SL_{2}R}}}\) and in this manner the prisms and prism tilings can be visualized on the Euclidean screen of a computer.     

An integral equation and a representation for a Green's function

The final step in the mathematical solution of many problems in mathematical physics and engineering is the solution of a linear, two-point boundary-value problem such as $$\begin{gathered} \ddot u - q(t)u = - g(t), 0< t< x \hfill \\ (0) = 0, \dot u(x) = 0 \hfill \\ \end{gathered} $$ Such problems frequently arise in a variational context. In terms of the Green's functionG, the solution is $$u(t) = \int_0^x {G(t, y, x)g(y) dy} $$ It is shown that the Green's function may be represented in the form $$G(t,y,x) = m(t,y) - \int_y^x {q(s)m(t, s) m(y, s)} ds, 0< t< y< x$$ wherem satisfies the Fredholm integral equation $$m(t,x) = k(t,x) - \int_0^x k (t,y) q(y) m(y, x) dy, 0< t< x$$ and the kernelk is $$k(t, y) = min(t, y)$$      

Extinction profile of the logarithmic diffusion equation

Let ${N \geq 3}$ and u be the solution of u _t = Δ log u in ${\mathbb{R}^N \times (0, T)}$ with initial value u ₀ satisfying ${B_{k_1}(x, 0) \leq u_{0} \leq B_{k_2}(x, 0)}$ for some constants k ₁ > k ₂ > 0 where ${B_k(x, t) = 2(N - 2)(T - t)_{+}^{N/(N - 2)}/(k + (T - t)_{+}^{2/(N - 2)}|x|^{2})}$ is the Barenblatt solution for the equation and ${u_0 - B_{k_0} \in L^{1}(\mathbb{R}^{N})}$ for some constant k ₀ > 0 if ${N \geq 4}$ . We give a new different proof on the uniform convergence and ${L^1(\mathbb{R}^N)}$ convergence of the rescaled function ${\tilde{u}(x, s) = (T - t)^{-N/(N - 2)}u(x/(T - t)^{-1/(N - 2)}, t), s = -{\rm log}(T - t)}$ , on ${\mathbb{R}^N}$ to the rescaled Barenblatt solution ${\tilde{B}_{k_0}(x) = 2(N - 2)/(k_0 + |x|^{2})}$ for some k ₀ > 0 as ${s \rightarrow \infty}$ . When ${N \geq 4, 0 \leq u_0(x) \leq B_{k_0}(x, 0)}$ in ${\mathbb{R}^N}$ , and ${|u_0(x) - B_{k_0}(x, 0)| \leq f \in L^{1}(\mathbb{R}^{N})}$ for some constant k ₀ > 0 and some radially symmetric function f, we also prove uniform convergence and convergence in some weighted L ¹ space in ${\mathbb{R}^N}$ of the rescaled solution ${\tilde{u}(x, s)}$ to ${\tilde{B}_{k_0}(x)}$ as ${s \rightarrow \infty}$ .     

A Tauberian theorem for ℓ-adic sheaves on \mathbb{A} 1

Let K ∈ L ¹(?) and let f ∈ L ^∞(?) be two functions on ?. The convolution $$ \left( {K*F} \right)\left( x \right) = \int_\mathbb{R} {K\left( {x - y} \right)f\left( y \right)dy} $$ can be considered as an average of f with weight defined by K. Wiener’s Tauberian theorem says that under suitable conditions, if $$ \mathop {\lim }\limits_{x \to \infty } \left( {K*F} \right)\left( x \right) = \mathop {\lim }\limits_{x \to \infty } \int_\mathbb{R} {\left( {K*A} \right)\left( x \right)} $$ for some constant A, then $$ \mathop {\lim }\limits_{x \to \infty } f\left( x \right) = A $$ We prove the following ?-adic analogue of this theorem: Suppose K, F, G are perverse ?-adic sheaves on the affine line $ \mathbb{A} $ over an algebraically closed field of characteristic p (p ≠ ?). Under suitable conditions, if $ \left( {K*F} \right)|_{\eta _\infty } \cong \left( {K*G} \right)|_{\eta _\infty } $ , then $ F|_{\eta _\infty } \cong G|_{\eta _\infty } $ , where η _∞ is the spectrum of the local field of $ \mathbb{A} $ at ∞.