Asymptotic expansions for elliptic-like regularizations of semilinear evolution equations

Consider in a real Hilbert space H the Cauchy problem (_P0$P_0$): u^′(t)+Au(t)+Bu(t)=f(t)$u^{\prime }(t)+Au(t)+Bu(t)=f(t)$, 0≤t≤T$0\le t\le T$; u(0)=_u0$u(0)=u_0$, where −A   is the infinitesimal generator of a _C0$C_0$-semigroup of contractions, B is a nonlinear monotone operator, and f is a given H-valued function. Inspired by the excellent book on singular perturbations by J.L. Lions, we associate with problem (_P0$P_0$) the following regularization (_Pε$P_{\epsilon }$): −εu^″(t)+u^′(t)+Au(t)+Bu(t)=f(t)$-\epsilon u^{″}(t)+u^{\prime }(t)+Au(t)+Bu(t)=f(t)$, 0≤t≤T$0\le t\le T$; u(0)=_u0$u(0)=u_0$, u^′(T)=_uT$u^{\prime }(T)=u_T$, where ε>0$\epsilon >0$ is a small parameter. We investigate existence, uniqueness and higher regularity for problem (_Pε$P_{\epsilon }$). Then we establish asymptotic expansions of order zero, and of order one, for the solution of (_Pε$P_{\epsilon }$). Problem (_Pε$P_{\epsilon }$) turns out to be regularly perturbed of order zero, and singularly perturbed of order one, with respect to the norm of C([0,T];H)$C([0,T];H)$. However, the boundary layer of order one is not visible through the norm of L²(0,T;H)$L^2(0,T;H)$.     

On a backward parabolic problem with local Lipschitz source

We consider the regularization of the backward in time problem for a nonlinear parabolic equation in the form _ut+Au(t)=f(u(t),t)$u_t+Au(t)=f(u(t),t)$, u(1)=φ$u(1)=\phi$, where A is a positive self-adjoint unbounded operator and f is a local Lipschitz function. As known, it is ill-posed and occurs in applied mathematics, e.g. in neurophysiological modeling of large nerve cell systems with action potential f   in mathematical biology. A new version of quasi-reversibility method is described. We show that the regularized problem (with a regularization parameter β>0$\beta >0$) is well-posed and that its solution _Uβ(t)$U_{\beta }(t)$ converges on [0,1]$[0,1]$ to the exact solution u(t)$u(t)$ as β→0⁺$\beta \to 0^{+}$. These results extend some earlier works on the nonlinear backward problem.     

Maximum principles and isoperimetric inequalities for some Monge–Ampère-type problems

In this note we derive a maximum principle for an appropriate functional combination of u(x)$u(\mathbf{x})$ and |∇u|²${|\mathrm{\nabla }u|}^2$, where u(x)$u(\mathbf{x})$ is a strictly convex classical solution to a general class of Monge–Ampère equations. This maximum principle is then employed to establish some isoperimetric inequalities of interest in the theory of surfaces of constant Gauss curvature in R^N+1${\mathbb{R}}^{N+1}$.     

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

Multiplicity of positive and nodal solutions for scalar field equations

In this paper the question of finding infinitely many solutions to the problem −Δu+a(x)u=|u|^p−2u$-\mathrm{\Delta }u+a(x)u={|u|}^{p-2}u$, in R^N${\mathbb{R}}^N$, u∈H¹(R^N)$u\in H^1({\mathbb{R}}^N)$, is considered when N≥2$N\ge 2$, p∈(2,2N/(N−2))$p\in (2,2N/(N-2))$, and the potential a(x)$a(x)$ is a positive function which is not required to enjoy symmetry properties. Assuming that a(x)$a(x)$ satisfies a suitable “slow decay at infinity” condition and, moreover, that its graph has some “dips”, we prove that the problem admits either infinitely many nodal solutions or infinitely many constant sign solutions. The proof method is purely variational and allows to describe the shape of the solutions.     

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.     

On Waringʼs problem for systems of skew-symmetric forms

This paper is devoted to a problem of finding the smallest positive integer s(m,n,k)$s(m,n,k)$ such that (m+1)$(m+1)$ generic skew-symmetric (k+1)$(k+1)$-forms in (n+1)$(n+1)$ variables as linear combinations of the same s(m,n,k)$s(m,n,k)$ decomposable skew-symmetric (k+1)$(k+1)$-forms.     

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.     

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.     

The Dirichlet problem for the fractional Laplacian: Regularity up to the boundary

We study the regularity up to the boundary of solutions to the Dirichlet problem for the fractional Laplacian. We prove that if u   is a solution of (−Δ)^su=g${(-\mathrm{\Delta })}^{s}u=g$ in Ω  , u≡0$u\equiv 0$ in Rⁿ\Ω${\mathbb{R}}^n\backslash \Omega$, for some s∈(0,1)$s\in (0,1)$ and g∈L^∞(Ω)$g\in L^{\infty }(\Omega )$, then u   is C^s(Rⁿ)$C^s({\mathbb{R}}^n)$ and u/δ^s_|Ω$u/{\delta }^s{|}_{\Omega }$ is C^α$C^{\alpha }$ up to the boundary ∂Ω   for some α∈(0,1)$\alpha \in (0,1)$, where δ(x)=dist(x,∂Ω)$\delta (x)=\mathrm{dist}(x,\partial \Omega )$. For this, we develop a fractional analog of the Krylov boundary Harnack method.     

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

Existence and separation of positive radial solutions for semilinear elliptic equations

We consider the semilinear elliptic equation Δu+K(|x|)u^p=0$\mathrm{\Delta }u+K(|x|)u^p=0$ in R^N${\mathbf{R}}^N$ for N>2$N>2$ and p>1$p>1$, and study separation phenomena of positive radial solutions. With respect to intersection and separation, we establish a classification of the solution structures, and investigate the structures of intersection, partial separation and separation. As a consequence, we obtain the existence of positive solutions with slow decay when the oscillation of the function r^−?K(r)$r^{-?}K(r)$ with ?>−2$?>-2$ around a positive constant is small near r=∞$r=\infty$ and p   is sufficiently large. Moreover, if the assumptions hold in the whole space, the equation has the structure of separation and possesses a singular solution as the upper limit of regular solutions. We also reveal that the equation changes its nature drastically across a critical exponent _pc$p_c$ which is determined by N   and the order of the behavior of K(r)$K(r)$ as r=|x|→0$r=|x|\to 0$ and ∞. In order to understand how subtle the structure is on K   at p=_pc$p=p_c$, we explain the criticality in a similar way as done by Ding and Ni (1985) [6] for the critical Sobolev exponent p=(N+2)/(N−2)$p=(N+2)/(N-2)$.     

Sur la répartition des puissances modulo 1

For almost all x>1$x>1$, (xⁿ)$(x^n)$(n=1,2,…)$(n=1,2,\dots )$ is equidistributed modulo 1, a classical result. What can be said on the exceptional set? It has Hausdorff dimension one. Much more: given an (b_n)$(b_n)$ in [0,1[$[0,1[$ and ε>0$\epsilon >0$, the x  -set such that |xⁿ−b_n|<ε$|x^n-b_n|<\epsilon$ modulo 1 for n   large enough has dimension 1. However, its intersection with an interval [1,X]$[1,X]$ has a dimension <1, depending on ε and X. Some results are given and a question is proposed.