On nonlinear elliptic equations with Hardy potential and L^{1}-data

We consider a class of nonlinear elliptic equations involving the Hardy potential and lower order terms whose simplest model is $$\begin{aligned} -\Delta u +b(|u|)|\nabla u|^{2}+\nu |u|^{s-1}u=\lambda \frac{u}{|x|^{2}}+f \end{aligned}$$ in a bounded open $\varOmega $ of $\mathbf{R }^{N}, N\ge 3,$ containing the origin, $s>\frac{N}{N-2}, \nu $ and $\lambda $ are positive real numbers. We prove that the presence of the term $\nu |u|^{s-1}u$ has an effect on the existence of solutions when $f\in L^{1}(\varOmega )$ assuming only that $b\in L^{1}(\mathbf{R })$ without any sign condition (i.e. $b(s)s\ge 0$ ).     

Multiple positive solutions of singular and critical elliptic problem in {\mathbb{R}^2} with discontinuous nonlinearities

Let Ω be a bounded domain in ${\mathbb{R}^2}$ with smooth boundary. We consider the following singular and critical elliptic problem with discontinuous nonlinearity: $$(P_\lambda)\left \{\begin{array}{ll} - \Delta u = \lambda \left(\frac{m(x, u) e^{\alpha{u}^2}}{|x|^{\beta}} + u^{q}g(u - a)\right),\quad{u} > 0 \quad {\rm in} \quad \Omega\\u \quad \quad = 0\quad {\rm on} \quad \partial \Omega \end{array}\right.$$ where ${0\leq q < 1 ,0< \alpha\leq4\pi}$ and ${\beta \in [0, 2)}$ such that ${\frac{\beta}{2} + \frac{\alpha}{4\pi} \leq 1}$ and ${{g(t - a) = \left\{\begin{array}{ll}1, t \leq a\\ 0, t > a.\end{array}\right.}}$ Under the suitable assumptions on m(x, t) we show the existence and multiplicity of solutions for maximal interval for λ.     

Conservative fragments of {{S}^{1}_{2}} and {{R}^{1}_{2}}

Conservative subtheories of ${{R}^{1}_{2}}$ and ${{S}^{1}_{2}}$ are presented. For ${{S}^{1}_{2}}$ , a slight tightening of Je?ábek??s result (Math Logic Q 52(6):613?C624, 2006) that ${T^{0}_{2} \preceq_{\forall \Sigma^{b}_{1}}S^{1}_{2}}$ is presented: It is shown that ${T^{0}_{2}}$ can be axiomatised as BASIC together with induction on sharply bounded formulas of one alternation. Within this ${\forall\Sigma^{b}_{1}}$ -theory, we define a ${\forall\Sigma^{b}_{0}}$ -theory, ${T^{-1}_{2}}$ , for the ${\forall\Sigma^{b}_{0}}$ -consequences of ${S^{1}_{2}}$ . We show ${T^{-1}_{2}}$ is weak by showing it cannot ${\Sigma^{b}_{0}}$ -define division by 3. We then consider what would be the analogous ${\forall\hat\Sigma^{b}_{1}}$ -conservative subtheory of ${R^{1}_{2}}$ based on Pollett (Ann Pure Appl Logic 100:189?C245, 1999. It is shown that this theory, ${{T}^{0,\left\{2^{(||\dot{id}||)}\right\}}_{2}}$ , also cannot ${\Sigma^{b}_{0}}$ -define division by 3. On the other hand, we show that ${{S}^{0}_{2}+open_{\{||id||\}}}$ -COMP is a ${\forall\hat\Sigma^{b}_{1}}$ -conservative subtheory of ${R^{1}_{2}}$ . Finally, we give a refinement of Johannsen and Pollett (Logic Colloquium?? 98, 262?C279, 2000) and show that ${\hat{C}^{0}_{2}}$ is ${\forall\hat\Sigma^{b}_{1}}$ -conservative over a theory based on open _cl-comprehension.     

{\mathcal{C}^{\alpha}}-regularity for a class of non-diagonal elliptic systems with p-growth

We consider weak solutions to nonlinear elliptic systems in a W ^1,p -setting which arise as Euler equations to certain variational problems. The solutions are assumed to be stationary in the sense that the differential of the variational integral vanishes with respect to variations of the dependent and independent variables. We impose new structure conditions on the coefficients which yield everywhere ${\mathcal{C}^{\alpha}}$ -regularity and global ${\mathcal{C}^{\alpha}}$ -estimates for the solutions. These structure conditions cover variational integrals like ${\int F(\nabla u)\; dx}$ with potential ${F(\nabla u):=\tilde F (Q_1(\nabla u),\ldots, Q_N(\nabla u))}$ and positively definite quadratic forms in ${\nabla u}$ defined as ${Q_i(\nabla u)=\sum_{\alpha \beta} a_i^{\alpha \beta} \nabla u^\alpha \cdot \nabla u^\beta}$ . A simple example consists in ${\tilde F(\xi_1,\xi_2):= |\xi_1|^{\frac{p}{2}} + |\xi_2|^{\frac{p}{2}}}$ or ${\tilde F(\xi_1,\xi_2):= |\xi_1|^{\frac{p}{4}}|\xi_2|^{\frac{p}{4}}}$ . Since the Q _i need not to be linearly dependent our result covers a class of nondiagonal, possibly nonmonotone elliptic systems. The proof uses a new weighted norm technique with singular weights in an L ^p -setting.     

{W^{1,1}_0} -solutions for elliptic problems having gradient quadratic lower order terms

In this paper we deal with solutions of problems of the type $$\left\{\begin{array}{ll}-{\rm div} \Big(\frac{a(x)Du}{(1+|u|)^2} \Big)+u = \frac{b(x)|Du|^2}{(1+|u|)^3} +f \quad &{\rm in} \, \Omega,\\ u=0 &{\rm on} \partial \, \Omega, \end{array} \right.$$ where ${0 < \alpha \leq a(x) \leq \beta, |b(x)| \leq \gamma, \gamma > 0, f \in L^2 (\Omega)}$ and Ω is a bounded subset of ${\mathbb{R}^N}$ with N ≥ 3. We prove the existence of at least one solution for such a problem in the space ${W_{0}^{1, 1}(\Omega) \cap L^{2}(\Omega)}$ if the size of the lower order term satisfies a smallness condition when compared with the principal part of the operator. This kind of problems naturally appears when one looks for positive minima of a functional whose model is: $$J (v) = \frac{\alpha}{2} \int_{\Omega}\frac{|D v|^2}{(1 + |v|)^{2}} + \frac{12}{\int_{\Omega}|v|^2} - \int_{\Omega}f\,v , \quad f \in L^2(\Omega),$$ where in this case a(x) ≡ b(x) = α > 0.     

A sharp equivalence between H ∞ functional calculus and square function estimates

Let (T _t ) _{t?≥ 0} be a bounded analytic semigroup on L ^p (Ω), with 1?<?p?<?∞. Let ?A denote its infinitesimal generator. It is known that if A and A ^* both satisfy square function estimates ${\bigl\|\bigl(\int_{0}^{\infty} \vert A^{\frac{1}{2}} T_t(x)\vert^2 {\rm d}t \bigr)^{\frac{1}{2}}\bigr\|_{L^p} \lesssim \|x\|_{L^p}}$ and ${\bigl\|\bigl(\int_{0}^{\infty} \vert A^{*\frac{1}{2}} T_t^*(y) \vert^2 {\rm d}t \bigr)^{\frac{1}{2}}\bigr\|_{L^{p^\prime}} \lesssim \|y\|_{L^{p^\prime}}}$ for ${x\in L^p(\Omega)}$ and ${y\in L^{p^\prime}(\Omega)}$ , then A admits a bounded ${H^{\infty}(\Sigma_\theta)}$ functional calculus for any ${\theta>\frac{\pi}{2}}$ . We show that this actually holds true for some ${\theta<\frac{\pi}{2}}$ .     

Rellich inequalities with weights

Let Ω be a cone in ${\mathbb {R}^{n}}$ with n ≥? 2. For every fixed ${\alpha \in \mathbb {R}}$ we find the best constant in the Rellich inequality ${\int\nolimits_{\Omega}|x|^{\alpha}|\Delta u|^{2}dx \ge C\int\nolimits_{\Omega}|x|^{\alpha-4}|u|^{2}dx}$ for ${u \in C^{2}_{c}(\overline\Omega\setminus\{0\})}$ . We also estimate the best constant for the same inequality on ${C^{2}_{c}(\Omega)}$ . Moreover we show improved Rellich inequalities with remainder terms involving logarithmic weights on cone-like domains.     

Nikodym Maximal Functions Associated with Variable Planes in {\mathbb{R}^{3}}

Given a vector field ${\mathfrak{a}}$ on ${\mathbb{R}^3}$ , we consider a mapping ${x\mapsto \Pi_{\mathfrak{a}}(x)}$ that assigns to each ${x\in\mathbb{R}^3}$ , a plane ${\Pi_{\mathfrak{a}}(x)}$ containing x, whose normal vector is ${\mathfrak{a}(x)}$ . Associated with this mapping, we define a maximal operator ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^1_{loc}(\mathbb{R}^3)}$ for each ${N\gg 1}$ by $$\mathcal{M}^{\mathfrak{a}}_Nf(x)=\sup_{x\in\tau} \frac{1}{|\tau|} \int_{\tau}|f(y)|\,dy$$ where the supremum is taken over all 1/N ×? 1/N?× 1 tubes τ whose axis is embedded in the plane ${\Pi_\mathfrak{a}(x)}$ . We study the behavior of ${\mathcal{M}^{\mathfrak{a}}_N}$ according to various vector fields ${\mathfrak{a}}$ . In particular, we classify the operator norms of ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^2(\mathbb{R}^3)}$ when ${\mathfrak{a}(x)}$ is the linear function of the form (a ₁₁ x ₁?+?a ₂₁ x ₂, a ₁₂ x ₁?+?a ₂₂ x ₂, 1). The operator norm of ${\mathcal{M}^\mathfrak{a}_N}$ on ${L^2(\mathbb{R}^3)}$ is related with the number given by $$D=(a_{12}+a_{21})^2-4a_{11}a_{22}.$$      

Finite-time blowup for a complex Ginzburg–Landau equation with linear driving

In this paper, we consider the complex Ginzburg–Landau equation ${u_t = e^{i\theta} [\Delta u + |u|^\alpha u] + \gamma u}$ on ${\mathbb{R}^N}$ , where ${\alpha > 0,\,\gamma \in \mathbb{R}}$ and ${-\pi /2 < \theta < \pi /2}$ . By convexity arguments, we prove that, under certain conditions on ${\alpha,\theta,\gamma}$ , a class of solutions with negative initial energy blows up in finite time.     

Existence and Multiplicity Results for Some Elliptic Systems in Unbounded Cylinders

We study the following nonlinear elliptic system of Lane–Emden type $$\left\{\begin{array}{ll} -\Delta u = {\rm sgn}(v) |v| ^{p-1} \qquad \qquad \qquad \; {\rm in} \; \Omega , \\ -\Delta v = - \lambda {\rm sgn} (u)|u| \frac{1}{p-1} + f(x, u)\; \; {\rm in}\; \Omega , \\ u = v = 0 \qquad \qquad \qquad \quad \quad \;\;\;\;\; {\rm on}\; \partial \Omega , \end{array}\right.$$ where ${\lambda \in \mathbb{R}}$ . If ${\lambda \geq 0}$ and ${\Omega}$ is an unbounded cylinder, i.e., ${\Omega = \tilde \Omega \times \mathbb{R}^{N-m} \subset \mathbb{R}^{N}}$ , ${N - m \geq 2, m \geq 1}$ , existence and multiplicity results are proved by means of the Principle of Symmetric Criticality and some compact imbeddings in partially spherically symmetric spaces. We are able to state existence and multiplicity results also if ${\lambda \in \mathbb{R}}$ and ${\Omega}$ is a bounded domain in ${\mathbb{R}^{N}, N \geq 3}$ . In particular, a good finite dimensional decomposition of the Banach space in which we work is given.     

Hausdorff measures of subgroups of \mathbb{R }/\mathbb{Z } and \mathbb{R }

For a sequence $\underline{u}=(u_n)_{n\in \mathbb{N }}$ of integers, let $t_{\underline{u}}(\mathbb{T })$ be the group of all topologically $\underline{u}$ -torsion elements of the circle group $\mathbb{T }:=\mathbb{R }/\mathbb{Z }$ . We show that for any $s\in ]0,1[$ and $m\in \{0,+\infty \}$ there exists $\underline{u}$ such that $t_{\underline{u}}(\mathbb{T })$ has Hausdorff dimension $s$ and $s$ -dimensional Hausdorff measure equal to $m$ (no other values for $m$ are possible). More generally, for dimension functions $f,g$ with $f(t)\prec g(t), f(t)\prec \!\!\!\prec t$ and $g(t)\prec \!\!\!\prec t$ we find $\underline{u}$ such that $t_{\underline{u}}(\mathbb{T })$ has at the same time infinite $f$ -measure and null $g$ -measure.     

Scattering of wave maps from {{\mathbb {R}^{2+1}}} to general targets

We show that smooth, radially symmetric wave maps U from ${\mathbb {R}^{2+1}}$ to a compact target manifold (N, where ? _r U and ? _t U have compact support for any fixed time, scatter. The result will follow from the work of Christodoulou and Tahvildar-Zadeh, and Struwe, upon proving that for ${(\lambda^{\prime} \in (0,1),}$ energy does not concentrate in the set $$K_{\frac{5}{8}T,\frac{7}{8}T}^{\lambda^{\prime}} = \{(x,t) \in \mathbb{R}^{2+1} \vert \quad|x| \leq \lambda^{\prime} t, t \in [(5/8)T,(7/8)T] \}.$$      

On uniformly bounded spherical functions in Hilbert space

Let G be a commutative group, written additively, with a neutral element 0, and let K be a finite group. Suppose that K acts on G via group automorphisms ${G \ni a \mapsto ka \in G}$ , ${k \in K}$ . Let ${{\mathfrak{H}}}$ be a complex Hilbert space and let ${{\mathcal L}({\mathfrak{H}})}$ be the algebra of all bounded linear operators on ${{\mathfrak{H}}}$ . A mapping ${u \colon G \to {\mathcal L}({\mathfrak{H}})}$ is termed a K-spherical function if it satisfies (1) ${|K|^{-1} \sum_{k\in K} u (a+kb)=u (a) u (b)}$ for any ${a,b\in G}$ , where |K| denotes the cardinality of K, and (2) ${u (0) = {\rm id}_{\mathfrak {H}},}$ where ${{\rm id}_{\mathfrak {H}}}$ designates the identity operator on ${{\mathfrak{H}}}$ . The main result of the paper is that for each K-spherical function ${u \colon G \to {\mathcal {L}}({\mathfrak {H}})}$ such that ${\| u \|_{\infty} = \sup_{a\in G} \| u (a)\|_{{\mathcal L}({\mathfrak{H}})} < \infty,}$ there is an invertible operator S in ${{\mathcal L}({\mathfrak{H}})}$ with ${\| S \| \, \| S^{-1}\| \leq |K| \, \| u \|_{\infty}^2}$ such that the K-spherical function ${{\tilde{u}} \colon G \to {\mathcal L}({\mathfrak{H}})}$ defined by ${{\tilde{u}}(a) = S u (a) S^{-1},\,a \in G,}$ satisfies ${{\tilde{u}}(-a) = {\tilde{u}}(a)^*}$ for each ${a \in G}$ . It is shown that this last condition is equivalent to insisting that ${{\tilde{u}}(a)}$ be normal for each ${a \in G}$ .     

Geodesics on the Moduli Space of Oriented Circles in \mathbb{S}^{3}

Let ${\mathbb{Q}^3}$ be the moduli space of oriented circles in the three dimensional unit sphere ${\mathbb{S}^3}$ . Given a natural complex structure such space becomes a three dimensional complex manifold, with a M?bius invariant Hermitian metric h of type (2, 1). Up to M?bius transformations, all geodesics with respect to the Lorentz metric g = Re(h) on ${\mathbb{Q}^3}$ are determined to form a one-parameter family of circles on a helicoid in a space form ${\mathbb{R}^3, \mathbb{H}^3}$ or ${\mathbb{S}^{3}}$ , resp. We show also that any two oriented circles in ${\mathbb{S}^3}$ are connected by countably infinitely many geodesics in ${\mathbb{Q}^3}$ .     

Multibump bound states for quasilinear Schrödinger systems with critical frequency

In this paper, we are concerned with the multibump solutions for the following quasilinear Schrödinger system in ${\mathbb{R}^N}$ : $$\left\{\begin{array}{ll}-\Delta{u} + \lambda{a(x)u} - \frac{1}{2}(\Delta|u|^2)u = \frac{2\alpha}{\alpha + \beta}|u|^{\alpha-2}|\upsilon|^\beta u, \\-\Delta{\upsilon} + \lambda{b(x)\upsilon} - \frac{1}{2}(\Delta|\upsilon|^2)\upsilon = \frac{2\beta}{\alpha + \beta}|u|^\alpha|\upsilon|^{\beta-2} \upsilon, \\u(x) \rightarrow 0, \upsilon(x) \rightarrow 0 \quad as|x| \rightarrow \infty,\end{array}\right.$$ where λ > 0 is a parameter, α, β > 2 satisfying α + β < 2 · 2*, here ${2^{*} = \frac{2N}{N-2}}$ is the critical Sobolev exponent for ${N \geq 3}$ and a(x), b(x) are nonnegative potentials. Using variational methods, we prove that if the zero sets of a(x) and b(x) have several common isolated connected components ${\Omega_{1}, . . . ,\Omega_{k}}$ such that the interior of ${\Omega_{i} (i = 1, 2, . . . , k)}$ is not empty and ${\partial\Omega_{i} (i = 1, 2, . . . , k)}$ is smooth, then for λ sufficiently large, the system admits, for any nonempty subset ${J \subset \{1, 2, . . . , k\}}$ , a solution which is trapped in a neighborhood of ${\cup_{j\epsilon{J}} \Omega_{j}}$ .     

Howe correspondence and Springer correspondence for real reductive dual pairs

We consider a real reductive dual pair (G′, G) of type I, with rank ${({\rm G}^{\prime}) \leq {\rm rank(G)}}$ . Given a nilpotent coadjoint orbit ${\mathcal{O}^{\prime} \subseteq \mathfrak{g}^{{\prime}{*}}}$ , let ${\mathcal{O}^{\prime}_\mathbb{C} \subseteq \mathfrak{g}^{{\prime}{*}}_\mathbb{C}}$ denote the complex orbit containing ${\mathcal{O}^{\prime}}$ . Under some condition on the partition λ′ parametrizing ${\mathcal{O}^{\prime}}$ , we prove that, if λ is the partition obtained from λ by adding a column on the very left, and ${\mathcal{O}}$ is the nilpotent coadjoint orbit parametrized by λ, then ${\mathcal{O}_\mathbb{C}= \tau (\tau^{\prime -1}(\mathcal{O}_\mathbb{C}^{\prime}))}$ , where ${\tau, \tau^{\prime}}$ are the moment maps. Moreover, if ${chc(\hat\mu_{\mathcal{O}^{\prime}}) \neq 0}$ , where chc is the infinitesimal version of the Cauchy-Harish-Chandra integral, then the Weyl group representation attached by Wallach to ${\mu_{\mathcal{O}^{\prime}}}$ with corresponds to ${\mathcal{O}_\mathbb{C}}$ via the Springer correspondence.     

Uniqueness of \mathbb{C}^{ * } - and \mathbb{C}_{{\text{ + }}} -actions on Gizatullin Surfaces

A Gizatullin surface is a normal affine surface V over $ \mathbb{C} $ , which can be completed by a zigzag; that is, by a linear chain of smooth rational curves. In this paper we deal with the question of uniqueness of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations on such a surface V up to automorphisms. The latter fibrations are in one to one correspondence with $ \mathbb{C}_{{\text{ + }}} $ -actions on V considered up to a “speed change”. Non-Gizatullin surfaces are known to admit at most one $ \mathbb{A}^{1} $ -fibration V → S up to an isomorphism of the base S. Moreover, an effective $ \mathbb{C}^{ * } $ -action on them, if it does exist, is unique up to conjugation and inversion t $ \mapsto $ t ^?1 of $ \mathbb{C}^{ * } $ . Obviously, uniqueness of $ \mathbb{C}^{ * } $ -actions fails for affine toric surfaces. There is a further interesting family of nontoric Gizatullin surfaces, called the Danilov-Gizatullin surfaces, where there are in general several conjugacy classes of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations, see, e.g., [FKZ1]. In the present paper we obtain a criterion as to when $ \mathbb{A}^{{\text{1}}} $ -fibrations of Gizatullin surfaces are conjugate up to an automorphism of V and the base $ S \cong \mathbb{A}^{{\text{1}}} $ . We exhibit as well large subclasses of Gizatullin $ \mathbb{C}^{ * } $ -surfaces for which a $ \mathbb{C}^{ * } $ -action is essentially unique and for which there are at most two conjugacy classes of $ \mathbb{A}^{{\text{1}}} $ -fibrations over $ \mathbb{A}^{{\text{1}}} $ .     

On the asymptotic behavior of certain solutions of the Dirichlet problem for the equation -\Delta _p u=\lambda |u|^{q-2}u

Let $p>1$ . We study the behavior of certain positive and nodal solutions of the problem $$\begin{aligned} \left\{ \,\, \begin{array}{lll} -\Delta _p u=\lambda |u|^{q-2}u \ \ &{}\mathrm{in} \ \ &{}{\varOmega } \\ u=0 &{}\mathrm{in} \ \ &{}\partial {\varOmega } \end{array}\right. \end{aligned}$$ on varying of the parameters $\lambda >0$ and $q>1$ .     

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.