Boundary controllability of a linear semi-discrete 1-D wave equation derived from a mixed finite element method

In this article one discusses the controllability of a semi-discrete system obtained by discretizing in space the linear 1-D wave equation with a boundary control at one extremity. It is known that the semi-discrete models obtained with finite difference or the classical finite element method are not uniformly controllable as the discretization parameter h goes to zero (see [8]). Here we introduce a new semi-discrete model based on a mixed finite element method with two different basis functions for the position and velocity. We show that the controls obtained with these semi-discrete systems can be chosen uniformly bounded in L²(0,T) and in such a way that they converge to the HUM control of the continuous wave equation, i.e. the minimal L²-norm control. We illustrate the mathematical results with several numerical experiments. Supported by Grant BFM 2002-03345 of MCYT (Spain) and the TMR projects of the EU ``Homogenization and Multiple Scales" and ``New materials, adaptive systems and their nonlinearities: modelling, control and numerical simulations". Partially Supported by Grant BFM 2002-03345 of MCYT (Spain), Grant 17 of Egide-Brancusi Program and Grant 80/2005 of CNCSIS (Romania).     

A posteriori error estimates for finite element approximations to the wave equation with discontinuous coefficients

We derive residual‐based a posteriori error estimates of finite element method for linear wave equation with discontinuous coefficients in a two‐dimensional convex polygonal domain. A posteriori error estimates for both the space‐discrete case and for implicit fully discrete scheme are discussed in L^∞(L²) norm. The main ingredients used in deriving a posteriori estimates are new Clément type interpolation estimates in conjunction with appropriate adaption of the elliptic reconstruction technique of continuous and discrete solutions. We use only an energy argument to establish a posteriori error estimates with optimal order convergence in the L^∞(L²) norm.     

Large time behavior for nonlinear higher order convection–diffusion equations

We study the large time asymptotic behavior, in L^p (1p∞), of higher derivatives D^γu(t) of solutions of the nonlinear equation

(1)

where the integers n and θ are bigger than or equal to 1, a is a constant vector in with . The function ψ is a nonlinearity such that and ψ(0)=0, and is a higher order elliptic operator with nonsmooth bounded measurable coefficients on . We also establish faster decay when .     

Uniqueness for the two-dimensional Navier–Stokes equation with a measure as initial vorticity

We show that any solution of the two-dimensional Navier-Stokes equation whose vorticity distribution is uniformly bounded in L¹(R²) for positive times is entirely determined by the trace of the vorticity at t=0, which is a finite measure. When combined with previous existence results by Cottet, by Giga, Miyakawa & Osada, and by Kato, this uniqueness property implies that the Cauchy problem for the vorticity equation in R² is globally well-posed in the space of finite measures. In particular, this provides an example of a situation where the Navier-Stokes equation is well-posed for arbitrary data in a function space that is large enough to contain the initial data of some self-similar solutions.     

Uniformly Gâteaux smooth approximations on

Every Lipschitz mapping from c₀(Γ) into a Banach space Y can be uniformly approximated by Lipschitz mappings that are simultaneously uniformly Gâteaux smooth and C^∞-Fréchet smooth.     

Space-time means and solutions to a class of nonlinear parabolic equations

Cauchy problem and initial boundary value problem for nonlinear parabolic equation inCB([0,T):L ^p ) orL ^q (0,T; L ^p ) type space are considered. Similar to wave equation and dispersive wave equation, the space-time means for linear parabolic equation are shown and a series of nonlinear estimates for some nonlinear functions are obtained by space-time means. By Banach fixed point principle and usual iterative technique a local mild solution of Cauchy problem or IBV problem is constructed for a class of nonlinear parabolic equations inCB([0,T);L ^p orL ^q (0,T; L ^p ) with ϕ(x)∈L ^r . In critical nonlinear case it is also proved thatT can be taken as infinity provided that ||ϕ(x)||_r is sufficiently small, where (p,q,r) is an admissible triple. Project supported by the National Natural Science Foundation of China (Grant No. 19601005).     

Analysis on the minimal representation of O(p,q): III. Ultrahyperbolic equations on

For the group O(p,q) we give a new construction of its minimal unitary representation via Euclidean Fourier analysis. This is an extension of the q=2 case, where the representation is the mass zero, spin zero representation realized in a Hilbert space of solutions to the wave equation. The group O(p,q) acts as the Möbius group of conformal transformations on , and preserves a space of solutions of the ultrahyperbolic Laplace equation on . We construct in an intrinsic and natural way a Hilbert space of solutions so that O(p,q) becomes a continuous irreducible unitary representation in this Hilbert space. We also prove that this representation is unitarily equivalent to the representation on L²(C), where C is the conical subvariety of the nilradical of a maximal parabolic subalgebra obtained by intersecting with the minimal nilpotent orbit in the Lie algebra of O(p,q).     

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.     

Uniqueness of Solutions of Some Nonlocal Boundary-Value Problems for Operator-Differential Equations on a Finite Segment

For the equation L ₀ x(t) + L ₁ x ⁽¹⁾(t) + ... + L _n x ⁽ⁿ⁾(t) = 0, where L _k, k = 0, 1, ... , n, are operators acting in a Banach space, we formulate conditions under which a solution x(t) that satisfies some nonlocal homogeneous boundary conditions is equal to zero.     

Null spaces and ranges for the classical and spherical Radon transforms

Let R be the classical Radon transform that integrates a function over hyperplanes in Rⁿ and let SM be the transform that integrates a function over spheres containing the origin in Rⁿ. We prove continuity results for both transforms and explicitly give the null space of R for a class of square integrable functions on the exterior of a ball in Rⁿ as well as the null space of SM for square integrable functions on a ball. We show SM: L²(Rⁿ) → L²(Rⁿ) is one-one, and we characterize the range of SM on classes of smooth functions and square integrable functions by certain moment conditions. If g(x) is a Schwartz function on Rⁿ that is zero to infinite order at x = 0, we prove moment conditions sufficient for g to be in the range of SM(C^∞(Rⁿ)). We apply our results on SM to existence and uniqueness theorems for solutions to a characteristic initial value problem for the Darboux partial differential equation.     

Completeness of Integer Translates in Function Spaces on

We show that each of the Banach spacesC₀( ) andL^p( ), 2<p<∞, contains a function whose integer translates are complete. This function can also be chosen so that one of the following additional conditions hold: (1) Its non-negative integer translates are already complete. (2) Its integer translates form an orthonormal system inL²( ). (3) Its integer translates form a minimal system. A similar result holds for the corresponding Sobolev space, for certain weightedL²spaces, and in the multivariate setting. We also prove some results in the opposite direction.     

Analysis of a combined mixed finite element and discontinuous Galerkin method for incompressible two‐phase flow in porous media

We analyze a combined method consisting of the mixed finite element method for pressure equation and the discontinuous Galerkin method for saturation equation for the coupled system of incompressible two‐phase flow in porous media. The existence and uniqueness of numerical solutions are established under proper conditions by using a constructive approach. Optimal error estimates in L²(H¹) for saturation and in L ^∞ (H(div)) for velocity are derived. Copyright © 2013 John Wiley & Sons, Ltd.     

Best approximation in L(μ, X), II

The object of this paper is to prove the following theorem: If Y is a closed subspace of the Banach space X, then L¹(μ, Y) is proximinal in L¹(μ, X) if and only if L^p(μ, Y) is proximinal in L^p(μ, Y) for every p, 1 < p < ∞. As an application of this result we prove that if Y is either reflexive or Y is a separable proximinal dual space, then L¹(μ, Y) is proximinal in L¹(μ, X).     

Space Semi-Discretisations for a Stochastic Wave Equation

We study an approximation scheme for a nonlinear stochastic wave equation in one-dimensional space, driven by a spacetime white noise. The sequence of approximations is obtained by discretisation of the Laplacian operator. We prove L ^p -convergence to the solution of the equation and determine the rate of convergence. As a corollary, almost sure convergence, uniformly in time and space, is also obtained. Finally, the speed of convergence is tested numerically.⋆Supported by the grant BMF 2003-01345 from the Dirección General de Investigación, Ministerio de Ciencia y Tecnología, Spain.     

Strong convergence towards homogeneous cooling states for dissipative Maxwell models

We show the propagation of regularity, uniformly in time, for the scaled solutions of the inelastic Maxwell model for small inelasticity. This result together with the weak convergence towards the homogeneous cooling state present in the literature implies the strong convergence in Sobolev norms and in the L¹ norm towards it depending on the regularity of the initial data. The strategy of the proof is based on a precise control of the growth of the Fisher information for the inelastic Boltzmann equation. Moreover, as an application we obtain a bound in the L¹ distance between the homogeneous cooling state and the corresponding Maxwellian distribution vanishing as the inelasticity goes to zero.     

Functional inequalities on arbitrary Riemannian manifolds

For any connected (not necessarily complete) Riemannian manifold, we construct a probability measure of type , where dx is the Riemannian volume measure and V is a function C^∞-smooth outside a closed set of zero volume, satisfying Poincaré–Sobolev type functional inequalities. In particular, V is C^∞-smooth on the whole manifold when the Poincaré and the super-Poincaré inequalities are considered. The Sobolev inequality for infinite measures are also studied.     

On the existence and uniqueness of solutions to an asymptotic equation of a variational wave equation

We prove the global existence and uniqueness of admissible weak solutions to an asymptotic equation of a nonlinear hyperbolic variational wave equation with nonnegative L ²(ℝ) initial data. The work of Ping Zhang is supported by the Chinese postdoctor’s foundation, and that of Yuxi Zheng is supported in part by NSF DMS-9703711 and the Alfred P. Sloan Research Fellows award.     

Global regular solutions for Landau-Lifshitz equation

In this note, we prove that there exists a unique global regular solution for multidimensional Landau-Lifshitz equation if the gradient of solutions can be bounded in space L ²(0, T; L ^∞). Moreover, for the two-dimensional radial symmetric Landau-Lifshitz equation with Neumann boundary condition in the exterior domain, this hypothesis in space L ²(0, T; L ^∞) can be cancelled.     

Fréchet Algebra Techniques for Boundary Value Problems on Noncompact Manifolds: Fredholm Criteria and Functional Calculus via Spectral Invariance

A Boutet de Monvel type calculus is developed for boundary value problems on (possibly) noncompact manifolds. It is based on a class of weighted symbols and Sobolev spaces. If the underlying manifold is compact, one recovers the standard calculus. The following is proven:

• 1 The algebra G of Green operators of order and type zero is a spectrally invariant Fréchet subalgebra of L(H), H a suitable Hilbert space, i. e.,
• 2 Focusing on the elements of order and type zero is no restriction since there are order reducing operators within the calculus.
• 3 There is a necessary and sufficient criterion for the Fredholm property of boundary value problems, based on the invertibility of symbols modulo lower order symbols, and
• 4 There is a holomorphic functional calculus for the elements of G in several complex variables.

     

The sharp Strichartz and Sobolev–Strichartz inequalities for the fourth‐order Schrödinger equation

In this paper, we will obtain that there exists a maximizer for the non‐endpoint Strichartz inequalities for the fourth‐order Schrödinger equation with initial data in the L²( R ^d) space in all dimensions, and then we obtain a maximizer also for the non‐endpoint Sobolev–Strichartz inequality for the fourth‐order Schrödinger equation with initial data in the homogeneous Sobolev space. Our analysis derived from the linear profile decomposition. Copyright © 2014 John Wiley & Sons, Ltd.