Concentration and multiplicity of solutions for a fourth-order equation with critical nonlinearity

In this paper, we consider the problem (_Pε)$(P_{\epsilon })$ : Δ²u=u^n+4/n-4+εu,u>0${\mathrm{\Delta }}^{2}u=u^{n+4/n-4}+\epsilon u,u>0$ in Ω,u=Δu=0$\Omega ,u=\mathrm{\Delta }u=0$ on ∂Ω$\mathrm{\partial }\Omega$, where Ω$\Omega$ is a bounded and smooth domain in Rⁿ,n>8${\mathbb{R}}^n,n>8$ and ε>0$\epsilon >0$. We analyze the asymptotic behavior of solutions of (_Pε)$(P_{\epsilon })$ which are minimizing for the Sobolev inequality as ε→0$\epsilon \to 0$ and we prove existence of solutions to (_Pε)$(P_{\epsilon })$ which blow up and concentrate around a critical point of the Robin's function. Finally, we show that for ε$\epsilon$ small, (_Pε)$(P_{\epsilon })$ has at least as many solutions as the Ljusternik–Schnirelman category of Ω$\Omega$.     

A continuum of unusual self-adjoint linear partial differential operators

In an earlier publication a linear operator _THar$T_{\mathrm{Har}}$ was defined as an unusual self-adjoint extension generated by each linear elliptic partial differential expression, satisfying suitable conditions on a bounded region Ω$\Omega$ of some Euclidean space. In this present work the authors define an extensive class of _THar$T_{\mathrm{Har}}$-like self-adjoint operators on the Hilbert function space _L2(Ω);$L_2(\Omega );$ but here for brevity we restrict the development to the classical Laplacian differential expression, with Ω$\Omega$ now the planar unit disk. It is demonstrated that there exists a non-denumerable set of such _THar$T_{\mathrm{Har}}$-like operators (each a self-adjoint extension generated by the Laplacian), each of which has a domain in _L2(Ω)$L_2(\Omega )$ that does not lie within the usual Sobolev Hilbert function space W²(Ω)$W^2(\Omega )$. These _THar$T_{\mathrm{Har}}$-like operators cannot be specified by conventional differential boundary conditions on the boundary of ∂Ω$\mathrm{\partial }\Omega$, and may have non-empty essential spectra.     

A boundary blow-up elliptic problem with an inhomogeneous term

By a perturbation method and constructing comparison functions, we reveal how the inhomogeneous term h$h$ affects the exact asymptotic behaviour of solutions near the boundary to the problem △u=b(x)g(u)+λh(x)$△u=b\left(x\right)g\left(u\right)+\lambda h\left(x\right)$, u>0$u>0$ in Ω$\Omega$, u_|∂Ω=∞$u{|}_{\partial \Omega }=\infty$, where Ω$\Omega$ is a bounded domain with smooth boundary in R^N${\mathbb{R}}^N$, λ>0$\lambda >0$, g∈C¹[0,∞)$g\in C^1[0,\infty )$ is increasing on [0,∞)$[0,\infty )$, g(0)=0$g\left(0\right)=0$, g^′$g^{\prime }$ is regularly varying at infinity with positive index ρ$\rho$, the weight b$b$, which is non-trivial and non-negative in Ω$\Omega$, may be vanishing on the boundary, and the inhomogeneous term h$h$ is non-negative in Ω$\Omega$ and may be singular on the boundary.     

Best constants in a borderline case of second-order Moser type inequalities

We study optimal embeddings for the space of functions whose Laplacian Δu   belongs to L¹(Ω)$L^1(\Omega )$, where Ω⊂RN$\Omega \subset {\mathbb{R}}^N$ is a bounded domain. This function space turns out to be strictly larger than the Sobolev space W2,1(Ω)$W^{2,1}(\Omega )$ in which the whole set of second-order derivatives is considered. In particular, in the limiting Sobolev case, when N=2$N=2$, we establish a sharp embedding inequality into the Zygmund space Lexp(Ω)$L_{\mathit{exp}}(\Omega )$. On one hand, this result enables us to improve the Brezis–Merle (Brezis and Merle (1991) [13]) regularity estimate for the Dirichlet problem Δu=f(x)∈L¹(Ω)$\mathrm{\Delta }u=f(x)\in L^1(\Omega )$, u=0$u=0$ on ∂Ω; on the other hand, it represents a borderline case of D.R. Adams' (1988) [1] generalization of Trudinger–Moser type inequalities to the case of higher-order derivatives. Extensions to dimension N?3$N?3$ are also given. Besides, we show how the best constants in the embedding inequalities change under different boundary conditions.     

Regularity of Hölder continuous solutions of the supercritical quasi-geostrophic equation

We present a regularity result for weak solutions of the 2D quasi-geostrophic equation with supercritical (α<1/2$\alpha <1/2$) dissipation α(−Δ)${(-\mathrm{\Delta })}^{\alpha }$: If a Leray–Hopf weak solution is Hölder continuous θ∈Cδ(R²)$\theta \in C^{\delta }({\mathbb{R}}^2)$ with δ>1−2α$\delta >1-2\alpha$ on the time interval [t₀,t]$[t_0,t]$, then it is actually a classical solution on (t₀,t]$(t_0,t]$.     

Regularity for the fractional Gelfand problem up to dimension 7

We study the problem (−Δ)^su=λe^u${(-\mathrm{\Delta })}^{s}u=\lambda e^u$ in a bounded domain Ω⊂Rⁿ$\Omega \subset {\mathbb{R}}^n$, where λ   is a positive parameter. More precisely, we study the regularity of the extremal solution to this problem. Our main result yields the boundedness of the extremal solution in dimensions n≤7$n\le 7$ for all s∈(0,1)$s\in (0,1)$ whenever Ω   is, for every i=1,...,n$i=1,...,n$, convex in the _xi$x_i$-direction and symmetric with respect to {_xi=0}$\{x_i=0\}$. The same holds if n=8$n=8$ and s?0.28206...$s?0.28206...$, or if n=9$n=9$ and s?0.63237...$s?0.63237...$. These results are new even in the unit ball Ω=_B1$\Omega =B_1$.     

An improvement for the Trudinger–Moser inequality and applications

In line with the Concentration–Compactness Principle due to P.-L. Lions [19], we study the lack of compactness of Sobolev embedding of W^1,n(Rⁿ)$W^{1,n}({\mathbb{R}}^n)$, n?2$n?2$, into the Orlicz space _LΦα$L_{{\Phi }_{\alpha }}$ determined by the Young function _Φα(s)${\Phi }_{\alpha }(s)$ behaving like e^{α|s|n/(n−1)}−1$e^{\alpha {|s|}^{n/(n-1)}}-1$ as |s|→+∞$|s|\to +\infty$. In the light of this result we also study existence of ground state solutions for a class of quasilinear elliptic problems involving critical growth of the Trudinger–Moser type in the whole space Rⁿ${\mathbb{R}}^n$.     

Reduced limit for semilinear boundary value problems with measure data

We study boundary value problems for semilinear elliptic equations of the form −Δu+g°u=μ$-\mathrm{\Delta }u+g°u=\mu$ in a smooth bounded domain Ω⊂R^N$\Omega \subset R^N$. Let {_μn}$\{{\mu }_n\}$ and {_νn}$\{{\nu }_n\}$ be sequences of measure in Ω and ∂Ω   respectively. Assume that there exists a solution _un$u_n$ with data (_μn,_νn)$({\mu }_n,{\nu }_n)$, i.e., _un$u_n$ satisfies the equation with μ=_μn$\mu ={\mu }_n$ and has boundary trace _νn${\nu }_n$. Further assume that the sequences of measures converge in a weak sense to μ and ν   respectively while {_un}$\{u_n\}$ converges to u   in L¹(Ω)$L^1(\Omega )$. In general u   is not a solution of the boundary value problem with data (μ,ν)$(\mu ,\nu )$. However there exists a pair of measures (μ^?,ν^?)$({\mu }^{?},{\nu }^{?})$ such that u   is a solution of the boundary value problem with this data. The pair (μ^?,ν^?)$({\mu }^{?},{\nu }^{?})$ is called the reduced limit of the sequence {(_μn,_νn)}$\{({\mu }_n,{\nu }_n)\}$. We investigate the relation between the weak limit and the reduced limit and the dependence of the latter on the sequence. A closely related problem was studied by Marcus and Ponce [3].     

A semilinear elliptic problem on unbounded domains with reverse penalty

In the well-known work of P.-L. Lions [The concentration–compactness principle in the calculus of variations, The locally compact case, part 1. Ann. Inst. H. Poincaré, Analyse Non Linéaire 1 (1984) 109–1453] existence of positive solutions to the equation -Δu+u=b(x)u^p-1$-\mathrm{\Delta }u+u=b(x)u^{p-1}$, u>0$u>0$, u∈H¹(R^N)$u\in H^1({\mathbb{R}}^N)$, p∈(2,2N/(N-2))$p\in (2,2N/(N-2))$ was proved under assumption b(x)?_b∞?_lim|x|→∞b(x)$b(x)?b_{\infty }?{\lim }_{\left|x\right|\to \infty }b(x)$. In this paper we prove the existence for certain functions b   satisfying the reverse inequality b(x)<_b∞$b(x)<b_{\infty }$. For any periodic lattice L   in R^N${\mathbb{R}}^N$ and for any b∈C(R^N)$b\in C({\mathbb{R}}^N)$ satisfying b(x)<_b∞$b(x)<b_{\infty }$, _b∞>0$b_{\infty }>0$, there is a finite set Y⊂L$Y\subset L$ and a convex combination b^Y$b^Y$ of b(·-y)$b(·-y)$, y∈Y$y\in Y$, such that the problem -Δu+u=b^Y(x)u^p-1$-\mathrm{\Delta }u+u=b^Y(x)u^{p-1}$ has a positive solution u∈H¹(R^N)$u\in H^1({\mathbb{R}}^N)$.     

Regularity properties of the solutions to the 3D Maxwell–Landau–Lifshitz system in weighted Sobolev spaces

This paper is concerned with special regularity properties of the solutions to the Maxwell–Landau–Lifshitz (MLL) system describing ferromagnetic medium. Besides the classical results on the boundedness of _∂tm,_∂tE${\mathrm{\partial }}_t\mathbf{m},{\mathrm{\partial }}_t\mathbf{E}$ and _∂tH${\mathrm{\partial }}_t\mathbf{H}$ in the spaces L^∞(I,L²(Ω))$L^{\infty }(I,L^2(\Omega ))$ and L²(I,W^1,2(Ω))$L^2(I,W^{1,2}(\Omega ))$ we derive also estimates in weighted Sobolev spaces. This kind of estimates can be used to control the Taylor remainder when estimating the error of a numerical scheme.     

Critical exponents for non-simultaneous blow-up in a localized parabolic system

The paper deals with the radially symmetric solutions of _ut=Δu+u^m(x,t)vⁿ(0,t)$u_t=\Delta u+u^m(x,t)v^n(0,t)$, _vt=Δv+u^p(0,t)v^q(x,t)$v_t=\Delta v+u^p(0,t)v^q(x,t)$, subject to null Dirichlet boundary conditions. For the blow-up classical solutions, we propose the critical exponents for non-simultaneous blow-up by determining the complete and optimal classification for all the non-negative exponents: (i) There exist initial data such that u$u$ (v$v$) blows up alone if and only if m>p+1$m>p+1$ (q>n+1$q>n+1$), which means that any blow-up is simultaneous if and only if m≤p+1$m\le p+1$, q≤n+1$q\le n+1$. (ii) Any blow-up is u$u$ (v$v$) blowing up with v$v$ (u$u$) remaining bounded if and only if m>p+1$m>p+1$, q≤n+1$q\le n+1$ (m≤p+1$m\le p+1$, q>n+1$q>n+1$). (iii) Both non-simultaneous and simultaneous blow-up may occur if and only if m>p+1$m>p+1$, q>n+1$q>n+1$. Moreover, we consider the blow-up rate and set estimates which were not obtained in the previously known work for the same model.     

Selections and their absolutely continuous invariant measures

Let I=[0,1]$I=[0,1]$ and let P be a partition of I   into a finite number of intervals. Let _τ1${\tau }_1$, _τ2${\tau }_2$; I→I$I\to I$ be two piecewise expanding maps on P  . Let G⊂I×I$G\subset I\times I$ be the region between the boundaries of the graphs of _τ1${\tau }_1$ and _τ2${\tau }_2$. Any map τ:I→I$\tau :I\to I$ that takes values in G is called a selection of the multivalued map defined by G  . There are many results devoted to the study of the existence of selections with specified topological properties. However, there are no results concerning the existence of selection with measure-theoretic properties. In this paper we prove the existence of selections which have absolutely continuous invariant measures (acim). By our assumptions we know that _τ1${\tau }_1$ and _τ2${\tau }_2$ possess acims preserving the distribution functions F⁽¹⁾$F^{(1)}$ and F⁽²⁾$F^{(2)}$. The main result shows that for any convex combination F   of F⁽¹⁾$F^{(1)}$ and F⁽²⁾$F^{(2)}$ we can find a map η   with values between the graphs of _τ1${\tau }_1$ and _τ2${\tau }_2$ (that is, a selection) such that F is the η-invariant distribution function. Examples are presented. We also study the relationship of the dynamics of our multivalued maps to random maps.     

An approximation method for strictly pseudocontractive mappings

Let K$K$ be a closed convex subset of a q$q$-uniformly smooth separable Banach space, T:K→K$T:K\to K$ a strictly pseudocontractive mapping, and f:K→K$f:K\to K$ an L$L$-Lispschitzian strongly pseudocontractive mapping. For any t∈(0,1)$t\in (0,1)$, let _xt$x_t$ be the unique fixed point of tf+(1-t)T$\mathit{tf}+(1-t)T$. We prove that if T$T$ has a fixed point, then {_xt}$\{x_t\}$ converges to a fixed point of T$T$ as t$t$ approaches to 0.     

Regularity in the obstacle problem for parabolic non-divergence operators of Hörmander type

In this paper we continue the study initiated in [15] concerning the obstacle problem for a class of parabolic non-divergence operators structured on a set of vector fields X={_X1,…,_Xq}$X=\{X_1,\dots ,X_q\}$ in Rⁿ${\mathbf{R}}^n$ with C^∞$C^{\infty }$-coefficients satisfying Hörmander?s finite rank condition, i.e., the rank of Lie[_X1,…,_Xq]$\mathrm{Lie}[X_1,\dots ,X_q]$ equals n   at every point in Rⁿ${\mathbf{R}}^n$. In [15] we proved, under appropriate assumptions on the operator and the obstacle, the existence and uniqueness of strong solutions to a general obstacle problem. The main result of this paper is that we establish further regularity, in the interior as well as at the initial state, of strong solutions. Compared to [15] we in this paper assume, in addition, that there exists a homogeneous Lie group G=(Rⁿ,°,_δλ)$\mathbf{G}=({\mathbf{R}}^n,°,{\delta }_{\lambda })$ such that _X1,…,_Xq$X_1,\dots ,X_q$ are left translation invariant on G and such that _X1,…,_Xq$X_1,\dots ,X_q$ are _δλ${\delta }_{\lambda }$-homogeneous of degree one.