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$.     

Singular solutions of Hessian elliptic equations in five dimensions

We show that for any δ∈[0,1)$\delta \in [0,1)$ there exists a homogeneous order 2−δ$2-\delta$ analytic outside zero solution to a uniformly elliptic Hessian equation in R⁵${\mathbb{R}}^5$.     

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)$.     

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$.     

Global solutions with shock waves to the generalized Riemann problem for a class of quasilinear hyperbolic systems of balance laws

It is proven that the generalized Riemann problem for a class of quasilinear hyperbolic systems of balance laws admits a unique global piecewise C¹$C^1$ solution u=u(t,x)$u=u(t,x)$ containing only n$n$ shock waves with small amplitude on t?0$t?0$ and this solution possesses a global structure similar to that of the similarity solution u=U(x/t)$u=U(x/t)$ of the corresponding homogeneous Riemann problem. As an application of our result, we prove the existence of global shock solutions, piecewise continuous and piecewise smooth solution with shock discontinuities, of the flow equations of a model class of fluids with viscosity induced by fading memory with a single jump initial data.     

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.     

Description of extended eigenvalues and extended eigenvectors of integration operators on the Wiener algebra

In the present paper we consider the Volterra integration operator V   on the Wiener algebra W(D)$W(\mathbb{D})$ of analytic functions on the unit disc D$\mathbb{D}$ of the complex plane C$\mathbb{C}$. A complex number λ$\lambda$ is called an extended eigenvalue of V if there exists a nonzero operator A   satisfying the equation AV=λVA$\mathit{AV}=\lambda \mathit{VA}$. We prove that the set of all extended eigenvalues of V   is precisely the set C?{0}$\mathbb{C}?\{0\}$, and describe in terms of Duhamel operators and composition operators the set of corresponding extended eigenvectors of V$V$. The similar result for some weighted shift operator on _?p${?}_p$ spaces is also obtained.     

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.     

On the radius of spatial analyticity for semilinear symmetric hyperbolic systems

We study the problem of propagation of analytic regularity for semi-linear symmetric hyperbolic systems. We adopt a global perspective and we prove that if the initial datum extends to a holomorphic function in a strip of radius (= width) _ε0${\epsilon }_0$, the same happens for the solution u(t,⋅)$u(t,\cdot )$ for a certain radius ε(t)$\epsilon (t)$, as long as the solution exists. Our focus is on precise lower bounds on the spatial radius of analyticity ε(t)$\epsilon (t)$ as t grows.     

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]$.     

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].     

Triangularizing matrix polynomials

For an algebraically closed field F$\mathbb{F}$, we show that any matrix polynomial P(λ)∈F[λ]^n×m$P(\lambda )\in \mathbb{F}{[\lambda ]}^{n\times m}$, n?m$n?m$, can be reduced to triangular form, preserving the degree and the finite and infinite elementary divisors. We also characterize the real matrix polynomials that are triangularizable over the real numbers and show that those that are not triangularizable are quasi-triangularizable with diagonal blocks of sizes 1×1$1\times 1$ and 2×2$2\times 2$. The proofs we present solve the structured inverse problem of building up triangular matrix polynomials starting from lists of elementary divisors.     

A converse of Loewner–Heinz inequality and applications to operator means

Let f(t)$f(t)$ be an operator monotone function. Then A?B$A?B$ implies f(A)?f(B)$f(A)?f(B)$, but the converse implication is not true. Let A?B$A?B$ be the geometric mean of A,B?0$A,B?0$. If A?B$A?B$, then B⁻¹?A?I$B^{-1}?A?I$; the converse implication is not true either. We will show that if f(λB+I)⁻¹?f(λA+I)?I$f{(\lambda B+I)}^{-1}?f(\lambda A+I)?I$ for all sufficiently small λ>0$\lambda >0$, then f(λA+I)?f(λB+I)$f(\lambda A+I)?f(\lambda B+I)$ and A?B$A?B$. Moreover, we extend it to multi-variable matrices means.     

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.     

Test ideals of non-principal ideals: Computations,jumping numbers,alterations and division theorems

Given an ideal a⊆R$\mathfrak{a}\subseteq R$ in a (log) Q$\mathbb{Q}$-Gorenstein F  -finite ring of characteristic p>0$p>0$, we study and provide a new perspective on the test ideal τ(R,a^t)$\tau (R,{\mathfrak{a}}^t)$ for a real number t>0$t>0$. Generalizing a number of known results from the principal case, we show how to effectively compute the test ideal and also describe τ(R,a^t)$\tau (R,{\mathfrak{a}}^t)$ using (regular) alterations with a formula analogous to that of multiplier ideals in characteristic zero. We further prove that the F  -jumping numbers of τ(R,a^t)$\tau (R,{\mathfrak{a}}^t)$ as t varies are rational and have no limit points, including the important case where R is a formal power series ring. Additionally, we obtain a global division theorem for test ideals related to results of Ein and Lazarsfeld from characteristic zero, and also recover a new proof of Skoda's theorem for test ideals which directly mimics the proof for multiplier ideals.