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

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

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.     

p-Laplacian boundary value problems on exterior regions

This paper treats some variational principles for solutions of inhomogeneous p  -Laplacian boundary value problems on exterior regions U?R^N$U?{\mathbb{R}}^N$ with dimension N?3$N?3$. Existence-uniqueness results when p∈(1,N)$p\in (1,N)$ are provided in a space E^1,p(U)$E^{1,p}(U)$ of functions that contains W^1,p(U)$W^{1,p}(U)$. Functions in E^1,p(U)$E^{1,p}(U)$ are required to decay at infinity in a measure theoretic sense. Various properties of this space are derived, including results about equivalent norms, traces and an L^p$L^p$-imbedding theorem. Also an existence result for a general variational problem of this type is obtained.     

Hardy and uncertainty inequalities on stratified Lie groups

We prove various Hardy-type and uncertainty inequalities on a stratified Lie group G  . In particular, we show that the operators _Tα:f?|⋅|^−αL^−α/2f$T_{\alpha }:f?{|\cdot |}^{-\alpha }{L}^{-\alpha /2}f$, where |⋅|$|\cdot |$ is a homogeneous norm, 0<α<Q/p$0<\alpha <Q/p$, and L   is the sub-Laplacian, are bounded on the Lebesgue space L^p(G)$L^p(G)$. As consequences, we estimate the norms of these operators sufficiently precisely to be able to differentiate and prove a logarithmic uncertainty inequality. We also deduce a general version of the Heisenberg–Pauli–Weyl inequality, relating the L^p$L^p$ norm of a function f   to the L^q$L^q$ norm of |⋅|^βf${|\cdot |}^{\beta }f$ and the L^r$L^r$ norm of L^δ/2f$L^{\delta /2}f$.     

Nonuniform continuity of the solution map to the two component Camassa–Holm system

We prove that the solution map of the two-component Camassa–Holm system is not uniformly continuous as a map from a bounded subset of the Sobolev space H^s(T)×H^r(T)$H^s(\mathbb{T})\times H^r(\mathbb{T})$ to C([0,1],H^s(T)×H^r(T))$C([0,1],H^s(\mathbb{T})\times H^r(\mathbb{T}))$ when s?1$s?1$ and r?0$r?0$. We also demonstrate the nonuniform continuous property in the continuous function space C¹(T)×C¹(T)$C^1(\mathbb{T})\times C^1(\mathbb{T})$.     

Characterizing graphic matroids by a system of linear equations

Given a rank-r   binary matroid we construct a system of O(r³)$O(r^3)$ linear equations in O(r²)$O(r^2)$ variables that has a solution over GF(2)$\mathrm{GF}(2)$ if and only if the matroid is graphic.     

Gaussian bounds for higher-order elliptic differential operators with Kato type potentials

Let P(D)$P(D)$ be a nonnegative homogeneous elliptic operator of order 2m   with real constant coefficients on Rⁿ${\mathbb{R}}^n$ and V   be a suitable real measurable function. In this paper, we are mainly devoted to establish the Gaussian upper bound for Schrödinger type semigroup e^−tH$e^{-tH}$ generated by H=P(D)+V$H=P(D)+V$ with Kato type perturbing potential V  , which naturally generalizes the classical result for Schrödinger semigroup e^−t(Δ+V)$e^{-t(\mathrm{\Delta }+V)}$ as V∈_K2(Rⁿ)$V\in K_2({\mathbb{R}}^n)$, the famous Kato potential class. Our proof significantly depends on the analyticity of the free semigroup e^−tP(D)$e^{-tP(D)}$ on L¹(Rⁿ)$L^1({\mathbb{R}}^n)$. As a consequence of the Gaussian upper bound, the L^p$L^p$-spectral independence of H is concluded.     

A spectral radius type formula for approximation numbers of composition operators

For approximation numbers _an(_Cφ)$a_n(C_{\phi })$ of composition operators _Cφ$C_{\phi }$ on weighted analytic Hilbert spaces, including the Hardy, Bergman and Dirichlet cases, with symbol φ   of uniform norm <1, we prove that _limn→∞?[_an(_Cφ)]^1/n=e^{−1/Cap[φ(D)]}${\lim }_{n\to \infty }?{[a_n(C_{\phi })]}^{1/n}={\mathrm{e}}^{-1/\mathrm{Cap}[\phi (\mathbb{D})]}$, where Cap[φ(D)]$\mathrm{Cap}[\phi (\mathbb{D})]$ is the Green capacity of φ(D)$\phi (\mathbb{D})$ in D$\mathbb{D}$. This formula holds also for H^p$H^p$ with 1≤p<∞$1\le p<\infty$.     

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.     

Invariant tori for a reversible oscillator with a nonlinear damping and periodic forcing term

In this paper, the boundedness of all solutions of the oscillator

x^″+f(x,x^′)+ω²x+?(x)=p(t)$x^{″}+f(x,x^{\prime })+{\omega }^{2}x+?(x)=p(t)$

Continuous weak selections for products

A weak selection on an infinite set X   is a function σ:[X]²→X$\sigma :{[X]}^2\to X$ such that σ({x,y})∈{x,y}$\sigma (\{x,y\})\in \{x,y\}$ for each {x,y}∈[X]²$\{x,y\}\in {[X]}^2$. A weak selection on a space is said to be continuous if it is a continuous function with respect to the Vietoris topology on [X]²${[X]}^2$ and the topology on X  . We study some topological consequences from the existence of a continuous weak selection on the product X×Y$X\times Y$ for the following particular cases:

(i)

Both X and Y are spaces with one non-isolated point.     

Classification of invariant valuations on the quaternionic plane

We describe the orbit space of the action of the group Sp(2)Sp(1)$\mathrm{Sp}(2)\mathrm{Sp}(1)$ on the real Grassmann manifolds _Grk(H²)${\mathrm{Gr}}_k({\mathbb{H}}^2)$ in terms of certain quaternionic matrices of Moore rank not larger than 2. We then give a complete classification of valuations on the quaternionic plane H²${\mathbb{H}}^2$ which are invariant under the action of the group Sp(2)Sp(1)$\mathrm{Sp}(2)\mathrm{Sp}(1)$.