Elliptic regularizations for the nonlinear heat equation

The purpose of this paper is to study two elliptic regularizations for the nonlinear heat equation with nonlinear boundary conditions formulated below. Asymptotic expansions of the order zero for the solutions of these elliptic regularizations are established, including some boundary layer corrections. Under some appropriate smoothness and compatibility conditions on the data estimates for the remainder terms with respect to the C([0,T];L²(Ω)) norm are proved in order to validate these expansions.     

Periodic Homogenization of Green and Neumann Functions

For a family of second‐order elliptic operators with rapidly oscillating periodic coefficients, we study the asymptotic behavior of the Green and Neumann functions, using Dirichlet and Neumann correctors. As a result we obtain asymptotic expansions of Poisson kernels and the Dirichlet‐to‐Neumann maps as well as optimal convergence rates in L^p and W^1,p for solutions with Dirichlet or Neumann boundary conditions. © 2014 Wiley Periodicals, Inc.     

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

A priori bounds for semilinear equations and a new class of critical exponents for Lipschitz domains

A priori bounds for positive, very weak solutions of semilinear elliptic boundary value problems −Δu=f(x,u) on a bounded domain Ω⊂Rn with u=0 on ∂Ω are studied, where the nonlinearity 0?f(x,s) grows at most like sp. If Ω is a Lipschitz domain we exhibit two exponents p_* and p^*, which depend on the boundary behavior of the Green function and on the smallest interior opening angle of ∂Ω. We prove that for 1<p<p_* all positive very weak solutions are a priori bounded in L^∞. For p>p^* we construct a nonlinearity f(x,s)=a(x)sp together with a positive very weak solution which does not belong to L^∞. Finally we exhibit a class of domains for which p_*=p^*. For such domains we have found a true critical exponent for very weak solutions. In the case of smooth domains is an exponent which is well known from classical work of Brezis, Turner [H. Brezis, R.E.L. Turner, On a class of superlinear elliptic problems, Comm. Partial Differential Equations 2 (1977) 601-614] and from recent work of Quittner, Souplet [P. Quittner, Ph. Souplet, A priori estimates and existence for elliptic systems via bootstrap in weighted Lebesgue spaces, Arch. Ration. Mech. Anal. 174 (2004) 49-81].     

Homogenization of the variational inequality corresponding to a problem with rapidly varying boundary conditions

In the present paper, we investigate the asymptotic behavior of the solution of a variational inequality with one-sided constraints on ?-periodically located subsets G _ε belonging to the boundary ?Ω of the domain Ω ? ?³. We construct a limit (homogenized) problem and prove the strong (in H ₁(Ω)) convergence of the solutions of the original inequality to the solution the limit nonlinear boundary-value problem as ? → 0 in the so-called critical case.     

The pointwise estimates of solutions for semilinear dissipative wave equation in multi-dimensions

In this paper, we study the global-in-time existence and the pointwise estimates of solutions to the Cauchy problem for the dissipative wave equation in multi-dimensions. Using the fixed point theorem, we obtain the global existence of the solution. In addition, the pointwise estimates of the solution are obtained by the method of the Green function. Furthermore, we obtain the Lp, 1?p?∞, convergence rate of the solution.     

Optimal Control of the Obstacle for a Parabolic Variational Inequality

An optimal control problem for a parabolic obstacle variational inequality is considered. The obstacle in L²(0, T; H²(Ω) ∩ H¹₀(Ω)) with ψ_t ∈ L²(Q) is taken as the control, and the solution to the obstacle problem is taken as the state. The goal is to find the optimal control so that the state is close to the desired profile while the norm of the obstacle is not too large. Existence and necessary conditions for the optimal control are established.     

Lp error estimates and superconvergence for covolume or finite volume element methods

We consider convergence of the covolume or finite volume element solution to linear elliptic and parabolic problems. Error estimates and superconvergence results in the L^p norm, 2 ≤ p ≤ ∞, are derived. We also show second‐order convergence in the L^p norm between the covolume and the corresponding finite element solutions and between their gradients. The main tools used in this article are an extension of the “supercloseness” results in Chou and Li [Math Comp 69(229) (2000), 103–120] to the L^p based spaces, duality arguments, and the discrete Green's function method. © 2003 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 19: 463–486, 2003     

Homogenizing the viscoelasticity problem with long-term memory

The system of integro-differential equations describing the small oscillations of an ?-periodic viscoelastic material with long-term memory is considered. Using the two-scale convergencemethod, we construct the systemof homogenized equations and prove the strong convergence as ? → 0 of the solutions of prelimit problems to the solution of the homogenized problem in the norm of the space L ².     

Halbgruppen und semilineare Anfangs-Randwertprobleme

A semilinear parabolic initial-boundary-value problem of order 2m in a possibly unbounded domain Ωx(O,T), Ω?Rⁿ, is considered within the framework of the L_p-and C^α-theory. In the first case a proof is given of the existence of a “strict” solution of the corresponding evolution equation. In the second case one can guarantee a classical solution, provided the homogeneous linear parabolic equation has a unique classical solution. Only local solvability is considered. The nonlinearity is a Hölder-continuous function of the derivatives up to the order 2m-1 of the unknown solution. The principal tool is the semigroup-theory in L_p(Ω) as well as in C^α( \(\bar \Omega \) ). In the latter case the semigroup is not strongly continuous, but it has sufficiently good properties to use it for existence proofs of classical solutions.     

Finite element methods with numerical quadrature for elliptic problems with smooth interfaces

The purpose of this paper is to study the effect of the numerical quadrature on the finite element approximation to the exact solution of elliptic equations with discontinuous coefficients. Due to low global regularity of the solution, it seems difficult to achieve optimal order of convergence with classical finite element methods [Z. Chen, J. Zou, Finite element methods and their convergence for elliptic and parabolic interface problems, Numer. Math. 79 (1998) 175-202]. We derive error estimates in finite element method with quadrature for elliptic interface problems in a two-dimensional convex polygonal domain. Optimal order error estimates in L² and H¹ norms are shown to hold even if the regularity of the solution is low on the whole domain. Finally, numerical experiment for two dimensional test problem is presented in support of our theoretical findings.     

On well-posedness of semilinear parabolic and elliptic problems in the hyperbolic space

We investigate existence and uniqueness of solutions to semilinear parabolic and elliptic equations in bounded domains of the n-dimensional hyperbolic space (n?3). Lp→Lq estimates for the semigroup generated by the Laplace-Beltrami operator are obtained and then used to prove existence and uniqueness results for parabolic problems. Moreover, under proper assumptions on the nonlinear function, we establish uniqueness of positive classical solutions and nonuniqueness of singular solutions of the elliptic problem; furthermore, for the corresponding semilinear parabolic problem, nonuniqueness of weak solutions is stated.     

Noyaux de la chaleur et estimations mixtes Lp — Lq optimales: le cas non autonome

Consider the non-autonomous initial value problem u′(t) + A(t)u(t) = f(t), u(0) = 0, where −A(t) is for each t [0,T], the generator of a bounded analytic semigroup on L²(Ω). We prove maximal L^p — L^q a priori estimates for the solution of the above equation provided the semigroups T_t are associated to kernels which satisfies an upper Gaussian bound and A(t), t [0, T] fulfills a Acquistapace-Terreni commutator condition.     

Convergence of H 1-Galerkin mixed finite element method for parabolic problems with reduced regularity on initial data

We study the convergence of H ¹-Galerkin mixed finite element method for parabolic problems in one space dimension. Both semi-discrete and fully discrete schemes are analyzed assuming less regularity on initial data. More precisely, for the spatially discrete scheme, error estimates of order \(\mathcal{O}\) (h ² t ^?1/2) for positive time are established assuming the initial function p ₀ ∈ H ²(Ω) ∩ H ₀ ¹ (Ω). Further, we use energy technique together with parabolic duality argument to derive error estimates of order \(\mathcal{O}\) (h ² t ^?1) when p ₀ is only in H ₀ ¹ (Ω). A discrete-in-time backward Euler method is analyzed and almost optimal order error bounds are established.     

The pointwise estimates of solutions for a nonlinear convection diffusion reaction equation

This paper studies the time asymptotic behavior of solutions for a nonlinear convection diffusion reaction equation in one dimension.First,the pointwise estimates of solutions are obtained,furthermore,we obtain the optimal L~p,1≤ p ≤ +∞,convergence rate of solutions for small initial data.Then we establish the local existence of solutions,the blow up criterion and the sufficient condition to ensure the nonnegativity of solutions for large initial data.Our approach is based on the detailed analysis of the Green function of the linearized equation and some energy estimates.     

Cauchy integrals,Calderón projectors,and Toeplitz operators on uniformly rectifiable domains

We develop properties of Cauchy integrals associated to a general class of first-order elliptic systems of differential operators D on a bounded, uniformly rectifiable (UR) domain Ω in a Riemannian manifold M. We show that associated to such Cauchy integrals are analogues of Hardy spaces of functions on Ω annihilated by D  , and we produce projections, of Calderón type, onto subspaces of L^p(∂Ω)$L^p(\partial \Omega )$ consisting of boundary values of elements of such Hardy spaces. We consider Toeplitz operators associated to such projections and study their index properties. Of particular interest is a “cobordism argument,” which often enables one to identify the index of a Toeplitz operator on a rough UR domain with that of one on a smoothly bounded domain.     

A Lattice Scheme for Stochastic Partial Differential Equations of Elliptic Type in Dimension d ≥ 4

We study a stochastic boundary value problem on (0,1)^d of elliptic type in dimension d ≥ 4, driven by a coloured noise. An approximation scheme based on a suitable discretization of the Laplacian on a lattice of (0,1)^d is presented; we also give the rate of convergence to the original stochastic partial differential equation in the L^p(ΩL²(D))-norm, for some values of p.     

Convex hypersurfaces and L estimates for Schrödinger equations

This paper is concerned with Schrödinger equations whose principal operators are homogeneous elliptic. When the corresponding level hypersurface is convex, we show the L^p-L^q estimate of the solution operator in the free case. This estimate, combined with the results of fractionally integrated groups, allows us to further obtain the L^p estimate of solutions for the initial data belonging to a dense subset of L^p in the case of integrable potentials.     

The Perturbed Problem on the Boussinesq System of Rayleigh-Bénard Convection

In this paper,the infinite Prandtl number limit of Rayleigh-B′enard convection is studied.For well prepared initial data,the convergence of solutions in L∞(0,t;H2(G)) is rigorously justified by analysis of asymptotic expansions.     

Conical square function estimates and functional calculi for perturbed Hodge-Dirac operators in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">P</Emphasis></Superscript>

Perturbed Hodge-Dirac operators and their holomorphic functional calculi, as investigated in the papers by Axelsson, Keith and the second author, provided insight into the solution of the Kato square-root problem for elliptic operators in L² spaces and allowed for an extension of these estimates to other systems with applications to non-smooth boundary value problems. In this paper, we determine conditions under which such operators satisfy conical square function estimates in a range of L ^p spaces, thus allowing us to apply the theory of Hardy spaces associated with an operator to prove that they have a bounded holomorphic functional calculus in those L ^p spaces. We also obtain functional calculus results for restrictions to certain subspaces, for a larger range of p. This provides a framework for obtaining L ^p results on perturbed Hodge Laplacians, generalising known Riesz transform bounds for an elliptic operator L with bounded measurable coefficients, one Sobolev exponent below the Hodge exponent, and L ^p bounds on the square-root of L by the gradient, two Sobolev exponents below the Hodge exponent. Our proof shows that the heart of the harmonic analysis in L² extends to L ^p for all p ∈ (1,∞), while the restrictions in p come from the operator-theoretic part of the L² proof. In the course of our work, we obtain some results of independent interest about singular integral operators on tent spaces and about the relationship between conical and vertical square functions.