Riesz potential and Sobolev embeddings on generalized Lebesgue and Sobolev spaces Lp(·) and Wk,p(·)

We study the Riesz potentials I_αf on the generalized Lebesgue spaces L^p(·)(?^d), where 0 < α < d and I_αf(x) ? ∫equation/tex2gif-inf-3.gif |f(y)| |x – y|^{α – d} dy. Under the assumptions that p locally satisfies |p(x) – p(x)| ≤ C/(– ln |x – y|) and is constant outside some large ball, we prove that I_α : L^p(·)(?^d) → L^p?(·)(?^d), where . If p is given only on a bounded domain Ω with Lipschitz boundary we show how to extend p to on ?^d such that there exists a bounded linear extension operator ? : W^1,p(·)(Ω) ? (?^d), while the bounds and the continuity condition of p are preserved. As an application of Riesz potentials we prove the optimal Sobolev embeddings W^k,p(·)(?^d) ?L^p*(·)(R^d) with and W^1,p(·)(Ω) ? L^p*(·)(Ω) for k = 1. We show compactness of the embeddings W^1,p(·)(Ω) ? L^q(·)(Ω), whenever q(x) ≤ p*(x) – ε for some ε > 0. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Regularity of weak solutions to 3D incompressible Navier–Stokes equations

In this paper, we establish some new local and global regularity properties for weak solutions of 3D non-stationary Navier–Stokes equations in the class of L ^r (0, T ; L ³(Ω)) with ${r \in [1, \infty)}In this paper, we establish some new local and global regularity properties for weak solutions of 3D non-stationary Navier–Stokes equations in the class of L ^r (0, T ; L ³(Ω)) with r ? [1, ￥){r \in [1, \infty)} , which are beyond Serrin’s condition.     

Schauder Estimates for the Single Layer Potential in Hydrodynamics

Let Ω be an open set in ?^N(N ? 3), with compact boundary ?Ω of type C^1,α(?(0,1)). We show that the single layer potential Ef, related to the stationary Stokes system on Ω, belongs to C^1,α(?Ω)^N, provided the source density f belongs to C^α(?Ω)^N. In addition, we prove a related estimate of the function E(f)_?Ω and its tangential derivatives.     

Global existence and decay of energy to systems of wave equations with damping and supercritical sources

This paper is concerned with a system of nonlinear wave equations with supercritical interior and boundary sources and subject to interior and boundary damping terms. It is well-known that the presence of a nonlinear boundary source causes significant difficulties since the linear Neumann problem for the single wave equation is not, in general, well-posed in the finite-energy space H ¹(Ω) × L ²(?Ω) with boundary data from L ²(?Ω) (due to the failure of the uniform Lopatinskii condition). Additional challenges stem from the fact that the sources considered in this article are non-dissipative and are not locally Lipschitz from H ¹(Ω) into L ²(Ω) or L ²(?Ω). With some restrictions on the parameters in the system and with careful analysis involving the Nehari Manifold, we obtain global existence of a unique weak solution and establish (depending on the behavior of the dissipation in the system) exponential and algebraic uniform decay rates of energy. Moreover, we prove a blow-up result for weak solutions with nonnegative initial energy.     

On the Robin Boundary Condition for Laplace's Equation in Lipschitz Domains

Abstract

Let Ω be a bounded Lipschitz domain in ? ⁿ , n ≥ 3 with connected boundary. We study the Robin boundary condition ?u/?N + bu = f ∈ L ^p (?Ω) on ?Ω for Laplace's equation Δu = 0 in Ω, where b is a non-negative function on ?Ω. For 1 < p < 2 + ?, under suitable compatibility conditions on b, we obtain existence and uniqueness results with non-tangential maximal function estimate ‖(?u)*‖ _p  ≤ C‖f‖ _p , as well as a pointwise estimate for the associated Robin function. Moreover, the solution u is represented by a single layer potential.     

On a wave equation with supercritical interior and boundary sources and damping terms

This article addresses nonlinear wave equations with supercritical interior and boundary sources, and subject to interior and boundary damping. The presence of a nonlinear boundary source alone is known to pose a significant difficulty since the linear Neumann problem for the wave equation is not, in general, well‐posed in the finite‐energy space H¹(Ω) × L₂(?Ω) with boundary data in L₂ due to the failure of the uniform Lopatinskii condition. Further challenges stem from the fact that both sources are non‐dissipative and are not locally Lipschitz operators from H¹(Ω) into L₂(Ω), or L₂(?Ω). With some restrictions on the parameters in the model and with careful analysis involving the Nehari Manifold, we obtain global existence of a unique weak solution, and establish exponential and algebraic uniform decay rates of the finite energy (depending on the behavior of the dissipation terms). Moreover, we prove a blow up result for weak solutions with nonnegative initial energy.     

Analyticity on L 1 of the heat semigroup with Wentzell boundary conditions

We show that the semigroup generated by the realization of the Laplace operator with Wentzell boundary conditions in a bounded smooth domain is analytic on ${L^1(\Omega) \oplus L^1(\partial \Omega)}We show that the semigroup generated by the realization of the Laplace operator with Wentzell boundary conditions in a bounded smooth domain is analytic on L¹(W) ?L¹(?W){L^1(\Omega) \oplus L^1(\partial \Omega)} .     

Existence of Insensitizing Controls for a Semilinear Heat Equation with a Superlinear Nonlinearity

Abstract

In this paper we consider a semilinear heat equation (in a bounded domain Ω of ? ^N ) with a nonlinearity that has a superlinear growth at infinity. We prove the existence of a control, with support in an open set ω ? Ω, that insensitizes the L ² ? norm of the observation of the solution in another open subset 𝒪 ? Ω when ω ∩ 𝒪 ≠ ?, under suitable assumptions on the nonlinear term f(y) and the right hand side term ξ of the equation. The proof, involving global Carleman estimates and regularizing properties of the heat equation, relies on the sharp study of a similar linearized problem and an appropriate fixed-point argument. For certain superlinear nonlinearities, we also prove an insensitivity result of a negative nature. The crucial point in this paper is the technique of construction of L ^r -controls (r large enough) starting from insensitizing controls in L ².     

Complex Powers of the Neumann Laplacian in Lipschitz Domains

Let L^q_r(Ω) be the usual scale of Sobolev spaces and let Δ_N be the Neumann Laplacian in an arbitrary Lipschitz domain Ω. We present an interpolation based approach to the following question: for what range of indices does map isomorphically onto L^q_r(Ω)/ℝ?     

Asymptotic analysis for Cahn–Hilliard type phase‐field systems related to tumor growth in general domains

This article considers a limit system by passing to the limit in the following Cahn–Hilliard type phase‐field system related to tumor growth as β↘0: in a bounded or an unbounded domain with smooth‐bounded boundary. Here, , T > 0, α > 0, β > 0, p ≥ 0, B is a maximal monotone graph, and π is a Lipschitz continuous function. In the case that Ω is a bounded domain, p and ?Δ + 1 are replaced with p(φ_β) and ?Δ, respectively, and p is a Lipschitz continuous function; Colli, Gilardi, Rocca, and Sprekels (Discrete Contin Dyn Syst Ser S 2017; 10:37–54) have proved existence of solutions to the limit problem with this approach by applying the Aubin–Lions lemma for the compact embedding H¹(Ω)?L²(Ω) and the continuous embedding L²(Ω)?(H¹(Ω))^?. However, the Aubin–Lions lemma cannot be applied directly when Ω is an unbounded domain. The present work establishes existence of weak solutions to the limit problem along with uniqueness and error estimates in terms of the parameter β↘0. To this end, we construct an applicable theory by noting that the embedding H¹(Ω)?L²(Ω) is not compact in the case that Ω is an unbounded domain.     

The Boundedness for Commutator of Fractional Integral Operator With Rough Variable Kernel

For b?∈?BMO(? ⁿ ) and 0?<?α?≤?1/2, the commutator of the fractional integral operator T _Ω,α with rough variable kernel is defined by $$ [b, T_{\Omega, \alpha}]f(x)= \int_{\mathbb{R}^n} \frac{\Omega(x,x-y)}{|x-y|^{n-\alpha}}(b(x)-b(y))f(y)dy. $$ In this paper the authors prove that the commutator [b, T _Ω,α ] is a bounded operator from $L^{\frac{2n}{n+2\alpha}}(\mathbb{R}^n)$ to L ²(? ⁿ ). The result obtained in this paper is substantial improvement and extension of some known results.     

Interpolation of operators of weak type (ϕ, ϕ)

Considering the measurable and nonnegative functions ? on the half-axis [0, ∞) such that ?(0) = 0 and ?(t) → ∞ as t → ∞, we study the operators of weak type (?, ?) that map the classes of ?-Lebesgue integrable functions to the space of Lebesgue measurable real functions on ?ⁿ. We prove interpolation theorems for the subadditive operators of weak type (?₀, ?₀) bounded in L _∞(?ⁿ) and subadditive operators of weak types (?₀, ?₀) and (?₁, ?₁) in L _?(? ⁿ ) under some assumptions on the nonnegative and increasing functions ?(x) on [0, ∞). We also obtain some interpolation theorems for the linear operators of weak type (?₀, ?₀) bounded from L _∞(?ⁿ) to BMO(? ⁿ). For the restrictions of these operators to the set of characteristic functions of Lebesgue measurable sets, we establish some estimates for rearrangements of moduli of their values; deriving a consequence, we obtain a theorem on the boundedness of operators in rearrangement-invariant spaces.     

Interior Continuity of Two-Dimensional Weakly Stationary-Harmonic Multiple-Valued Functions

In his big regularity paper, Almgren has proven the regularity theorem for mass-minimizing integral currents. One key step in his paper is to derive the regularity of Dirichlet-minimizing Q _Q (? ⁿ )-valued functions in the Sobolev space \(\mathcal{Y}_{2}(\varOmega, \mathbf{Q}_{Q} (\mathbb{R}^{n}))\) , where the domain Ω is open in ? ^m . In this article, we introduce the class of weakly stationary-harmonic Q _Q (? ⁿ )-valued functions. These functions are the critical points of Dirichlet’s integral under smooth domain-variations and range-variations. We prove that if Ω is a two-dimensional domain in ?² and \(f\in\mathcal{Y}_{2} (\varOmega,\mathbf{Q}_{Q}(\mathbb{R}^{n}) )\) is weakly stationary-harmonic, then f is continuous in the interior of the domain Ω.     

On the solutions of the Moisil–Théodoresco system

A structure theorem is proved for the solutions to the Moisil–Théodoresco system in open subsets of ?³. Furthermore, it is shown that the Cauchy transform maps L₂(?², ?_{0, 2}⁺) isomorphically onto H²(?₊³, ?_{0, 3}⁺), thus proving an elegant generalization to ?² of the classical notion of an analytic signal on the real line. Copyright © 2008 John Wiley & Sons, Ltd.     

Polar factorization and monotone rearrangement of vector-valued functions

Given a probability space (X, μ) and a bounded domain Ω in ?^d equipped with the Lebesgue measure |·| (normalized so that |Ω| = 1), it is shown (under additional technical assumptions on X and Ω) that for every vector-valued function u ∈ L^p (X, μ; ?^d) there is a unique “polar factorization” u = ?Ψs, where Ψ is a convex function defined on Ω and s is a measure-preserving mapping from (X, μ) into (Ω, |·|), provided that u is nondegenerate, in the sense that μ(u^?1(E)) = 0 for each Lebesgue negligible subset E of ?^d. Through this result, the concepts of polar factorization of real matrices, Helmholtz decomposition of vector fields, and nondecreasing rearrangements of real-valued functions are unified. The Monge-Ampère equation is involved in the polar factorization and the proof relies on the study of an appropriate “Monge-Kantorovich” problem.     

Spectral properties for layer potentials associated to the Stokes equation in Lipschitz domains

In this paper, we consider the spectral properties of the double layer potentials K and \({\tilde{K}}\) related to the traction boundary value problem and the slip boundary value problem, respectively, of the Stokes equations in a bounded Lipschitz domain Ω in R ⁿ . We show the invertibility of λI ? K and \({\lambda I - \tilde{K}}\) in L ²(?Ω) for \({\lambda \in {\bf R}{\setminus} [-\frac 12, \frac12]}\). As an application, we study the transmission problems of the Stokes equations.     

Dynamics of non-autonomous parabolic problems with subcritical and critical nonlinearities

This is a subsequent work of our previous one in [25]. Let the nonlinear terms of non-autonomous parabolic problems with singular initial data satisfy subcritical and critical growth conditions. We first establish the existence of uniform attractors in W^1,r(Ω)$W^{1,r}(\Omega )$, 1<r<N$1<r<N$, for the family of processes corresponding to the equations with external forces being translation bounded but not translation compact. Then, we prove the existence of pullback attractors in L^r(Ω)$L^r(\Omega )$ and W^1,r(Ω)$W^{1,r}(\Omega )$, respectively, for the process corresponding to the equation with the weaker assumption on the external force than previous one. Finally, we investigate the robust of attractors and establish the existence of pullback exponential attractors for the process acting in L^r(Ω)$L^r(\Omega )$ and W^1,r(Ω)$W^{1,r}(\Omega )$, respectively.     

The Complexity of Definite Elliptic Problems with Noisy Data

We study the complexity of 2mth order definite elliptic problemsLu=f(with homogeneous Dirichlet boundary conditions) over ad-dimensional domain Ω, error being measured in theH^m(Ω)-norm. The problem elementsfbelong to the unit ball ofW^r,p(Ω), wherep∈ [2, ∞] andr>d/p. Information consists of (possibly adaptive) noisy evaluations offor the coefficients ofL. The absolute error in each noisy evaluation is at most δ. We find that thenth minimal radius for this problem is proportional ton^−r/d+ δ, and that a noisy finite element method with quadrature (FEMQ), which uses only function values, and not derivatives, is a minimal error algorithm. This noisy FEMQ can be efficiently implemented using multigrid techniques. Using these results, we find tight bounds on the ?-complexity (minimal cost of calculating an ?-approximation) for this problem, said bounds depending on the costc(δ) of calculating a δ-noisy information value. As an example, if the cost of a δ-noisy evaluation isc(δ) = δ^−s(fors> 0), then the complexity is proportional to (1/?)^d/r+s.     

Higher moments for kinetic equations: The Vlasov–Poisson and Fokker–Planck cases

Let us consider a solution f(x,v,t)?L¹(?^2N × [0,T]) of the kinetic equation where |v|^α+1 f_o,|v|^α ?L¹ (?2N × [0, T]) for some α< 0. We prove that f has a higher moment than what is expected. Namely, for any bounded set K_x, we have We use this result to improve the regularity of the local density ρ(x,t) = ∫?dν for the Vlasov–Poisson equation, which corresponds to g = E?, where E is the force field created by the repartition ? itself. We also apply this to the Bhatnagar-Gross-;Krook model with an external force, and we prove that the solution of the Fokker-Pianck equation with a source term in L² belongs to L²([0, T]; H^1/2(?)).     

Regularity of hyperbolic equations underL 2(0,T; L 2 (Γ))-Dirichlet boundary terms

With Ω an open bounded domain inR ⁿ with boundary Γ, letf(t; f ₀,f ₁;u) be the solution to a second order linear hyperbolic equation defined on Ω, under the action of the forcing termu(t) applied in the Dirichlet B.C., and with initial dataf ₀ ∈L ₂ (Ω) andf ₁ ∈H ^?1 (Ω). In a previous paper [6], we proved (among other things) that the mapu → f ? f _t , from the Dirichlet input into the solution is continuous fromL ₂(0,T; L ₂ (Γ)) intoL ₂(0,T; L ₂(Ω))?L₂ (0, T; H ^?1 (Ω)). Here, we make crucial use of this result to present the following marked improvement: the mapu → f ?f _t is continuous fromL ₂ (0, T; L ₂ (Γ)) intoC([0, T]; L ₂ (Ω))?C([0, T]; H ^?1 (Ω)). Our approach uses the cosine operator model introduced in [6], along with crucial relevant fact from cosine operator theory. A new trace theory result, on which we base our proof here, plays also a decisive role in the corresponding quadratic optimal control problem [7]. Whenu, instead, acts in the Neumann B. C. and Ω is either a sphere or a parallelepiped, the same approach leads to the same improvement over results obtained in [6] to the regularity int of the solution (i.e., fromL ₂ (0, T) toC[0, T]).