Error estimates for a finite element-finite volume discretization of convection-diffusion equations

We consider a time-dependent linear convection-diffusion equation. This equation is approximated by a combined finite element-finite volume method: the diffusion term is discretized by Crouzeix-Raviart piecewise linear finite elements, and the convection term by upwind barycentric finite volumes on a triangular grid. An implicit Euler approach is used for time discretization. It is shown that the error associated with this scheme, measured by a discrete L^∞-L²- and L²-H¹-norm, respectively, decays linearly with the mesh size and the time step. This result holds without any link between mesh size and time step. The dependence of the corresponding error bound on the diffusion coefficient is completely explicit.     

Jointly ergodic measure-preserving transformations

The notion of ergodicity of a measure-preserving transformation is generalized to finite sets of transformations. The main result is that ifT ₁,T ₂, …,T _s are invertible commuting measure-preserving transformations of a probability space (X, ?, μ) then 1 $$\frac{1}{{N - M}}\sum\limits_{n = M}^{N - 1} {T{}_1^n } f_1 .T_2^n f_2 .....T_s^n f_s \xrightarrow[{N - M \to \propto }]{{I^2 (X)}}(\int_X {f1d\mu )} (\int_X {f2d\mu )...(\int_X {fsd\mu )} } $$ for anyf ₁,f ₂, …,f _s∈L ^x (X, ?, μ) iffT ₁×T ₂×…×T _s and all the transformationsT _iT_j ¹,i≠j, are ergodic. The multiple recurrence theorem for a weakly mixing transformation follows as a special case.     

Weak solutions to the stochastic porous media equation via Kolmogorov equations: The degenerate case

A stochastic version of the porous medium equation with coloured noise is studied. The corresponding Kolmogorov equation is solved in the space L²(H,ν) where ν is an infinitesimally excessive measure. Then a weak solution is constructed.     

Weak Continuity of the Flow Map for the Benjamin-Ono Equation on the Line

In this paper we show that the flow map of the Benjamin-Ono equation on the line is weakly continuous in L ²(?), using “local smoothing” estimates. L ²(?) is believed to be a borderline space for the local well-posedness theory of this equation. In the periodic case, Molinet (Math. Ann. 337, 353–383, 2007) has recently proved that the flow map of the Benjamin-Ono equation is not weakly continuous in $L^{2}(\mathbb{T})In this paper we show that the flow map of the Benjamin-Ono equation on the line is weakly continuous in L ²(ℝ), using “local smoothing” estimates. L ²(ℝ) is believed to be a borderline space for the local well-posedness theory of this equation. In the periodic case, Molinet (Math. Ann. 337, 353–383, 2007) has recently proved that the flow map of the Benjamin-Ono equation is not weakly continuous in L²(\mathbbT)L^{2}(\mathbb{T}). Our results are in line with previous work on the cubic nonlinear Schr?dinger equation, where Goubet and Molinet (Nonlinear Anal. 71, 317–320, 2009) showed weak continuity in L ²(ℝ) and Molinet (Am. J. Math. 130, 635–683, 2008) showed lack of weak continuity in L²(\mathbbT)L^{2}(\mathbb{T}).     

Point control of pseudoparabolic problems

A control problem governed by a pseudoparabolic equation onQ = Ω × (0, T) where Ω is an open bounded set inR² orR³ with a smooth boundary is studied. Here the controls are of the formv(x,t) = v(t) δ(x ? a), a ? Ω. It is observed that ifv ? L²(0, T), then the trace of the corresponding solutiony(., T; v) belongs toL²(Ω). Existence, uniqueness, and regularity results are given for the optimal control as well as continuity results with respect to perturbation of the pointa.     

Some results on non-linear recurrence

We study the behavior of measure-preserving systems with continuous time along sequences of the form {n ^α}n∈#x2115;} where α is a positive real number¹. Let {S ^t } _t∈? be an ergodic continuous measure preserving flow on a probability Lebesgue space (X, β, μ). Among other results we show that:

1. For all but countably many α (in particular, for all α∈???) one can find anL ^∞-functionf for which the averagesA _N (f)(1/N)=Σ _n=1 ^N f(S ^nα x) fail to converge almost everywhere (the convergence in norm holds for any α!).
2. For any non-integer and pairwise distinct numbers α₁, α₂,..., α _k ∈(0, 1) and anyL ^∞-functionsf ₁,f ₂, ...,f _k , one has $$\mathop {lim}\limits_{N \to \infty } \left\| {\frac{1}{N}\sum\limits_{n - 1}^N {\prod\limits_{i - 1}^k {f_i (S^{n^{\alpha _i } } x) - \prod\limits_{i - 1}^k {\int_X {f_i d\mu } } } } } \right\|_{L^2 } = 0$$

We also show that Furstenberg’s correspondence principle fails for ?-actions by demonstrating that for all but a countably many α>0 there exists a setE?? having densityd(E)=1/2 such that, for alln∈?, $$d(E \cap (E - n^\alpha )) = 0$$ .     

Nonlinear diffusions, hypercontractivity and the optimal L-Euclidean logarithmic Sobolev inequality

The equation u_t=Δ_p(u^1/(p−1)) for p>1 is a nonlinear generalization of the heat equation which is also homogeneous, of degree 1. For large time asymptotics, its links with the optimal L^p-Euclidean logarithmic Sobolev inequality have recently been investigated. Here we focus on the existence and the uniqueness of the solutions to the Cauchy problem and on the regularization properties (hypercontractivity and ultracontractivity) of the equation using the L^p-Euclidean logarithmic Sobolev inequality. A large deviation result based on a Hamilton-Jacobi equation and also related to the L^p-Euclidean logarithmic Sobolev inequality is then stated.     

Asymptotic behaviour of nonlocal reaction-diffusion equations

The existence of a global attractor in L²(Ω) is established for a reaction-diffusion equation on a bounded domain Ω in R^d with Dirichlet boundary conditions, where the reaction term contains an operator F:L²(Ω)→L²(Ω) which is nonlocal and possibly nonlinear. Existence of weak solutions is established, but uniqueness is not required. Compactness of the multivalued flow is obtained via estimates obtained from limits of Galerkin approximations. In contrast with the usual situation, these limits apply for all and not just for almost all time instants.     

Uniform quasi-differentiability of semigroup to nonlinear reaction-diffusion equations with supercritical exponent

A new approach is established to show that the semigroup {S(t)}_(t≤0) generated by a reaction-diffusion equation with supercritical exponent is uniformly quasi-differentiable in L~q(?)(2 ≤q ∞) with respect to the initial value. As an application, this proves the upper-bound of fractal dimension for its global attractor in the corresponding space.     

A priori error analysis of a discontinuous Galerkin approximation for a kind of compressible miscible displacement problems

A kind of compressible miscible displacement problems which include molecular diffusion and dispersion in porous media are investigated.A symmetric interior penalty discontinuous Galerkin (SIPG) method is applied to the coupled system of flow and transport.Using the induction hypotheses instead of the cut-off operator and the interpolation projection properties,a priori hp error estimates are presented.The error bounds in L2(H1) norm for concentration and in L∞(L2) norm for velocity are optimal in h and suboptimal in p with a loss of power 1/2.     

Best constant in critical Sobolev inequalities of second-order in the presence of symmetries

Let (M,g) be a smooth compact Riemannian manifold. We first give the value of the best first constant for the critical embedding H²(M)?L^2?(M) for second-order Sobolev spaces of functions invariant by some subgroup of the isometry group of (M,g). We also prove that we can take ?=0 in the corresponding inequality under some geometric assumptions. As an application we give a sufficient condition for the existence of a smooth positive symmetric solution to a critical equation with a symmetric Paneitz-Branson-type operator. A sufficient condition for the existence of a nodal solution to such an equation is also derived. We eventually prove a multiplicity result for such an equation.     

Estimates for the ergodic measure and polynomial stability of plane stochastic curve shortening flow

We establish moment estimates for the invariant measure?μ of a stochastic partial differential equation describing motion by mean curvature flow in (1+1) dimension, leading to polynomial stability of the associated Markov semigroup. We also prove maximal dissipativity on L ¹(μ) for the related Kolmogorov operator.     

A priori error estimates of finite volume element method for hyperbolic optimal control problems

In this paper,optimize-then-discretize,variational discretization and the finite volume method are applied to solve the distributed optimal control problems governed by a second order hyperbolic equation.A semi-discrete optimal system is obtained.We prove the existence and uniqueness of the solution to the semidiscrete optimal system and obtain the optimal order error estimates in L ∞(J;L 2)-and L ∞(J;H 1)-norm.Numerical experiments are presented to test these theoretical results.     

Homogenization with an oscillating drift: from L 2-bounded to unbounded drifts, 2D compactness results, and 3D nonlocal effects

This paper extends results obtained by Tartar (1977, 1986) and revisited in Briane and Gérard (Ann Scuola Norm Sup Pisa, to appear), on the homogenization of a Stokes equation perturbed by an oscillating drift. First, a N-dimensional scalar equation, for N ≥ 3, and a tridimensional Stokes equation are considered in the periodic framework only assuming the L ²-boundedness of the drift and so relaxing the equi-integrability condition of Briane and Gérard (Ann Scuola Norm Sup Pisa, to appear). Then, it is proved that the L ²-boundedness can be removed in dimension two, provided that the divergence of the drift has a sign. On the contrary, nonlocal effects are derived in dimension three with a free divergence drift that is only bounded in L ¹.     

Cutting and stacking,interval exchanges and geometric models

Every aperiodic measure-preserving transformation can be obtained by a cutting and stacking construction. It follows that all such transformations are infinite interval exchanges. This in turn is used to represent any ergodic measure-preserving flow as aC ^∞-flow on an open 2-manifold. Several additional applications of the basic theorems are also given. Partial support for this work was given by the National Science Foundation under grant number MCS81-07092.     

Large time behavior and L−L estimate of solutions of 2-dimensional nonlinear damped wave equations

We show the asymptotic behavior of the solution to the Cauchy problem of the two-dimensional damped wave equation. It is shown that the solution of the linear damped wave equation asymptotically decompose into a solution of the heat and wave equations and the difference of those solutions satisfies the L^p−L^q type estimate. This is a two-dimensional generalization of the three-dimensional result due to Nishihara (Math. Z. 244 (2003) 631). To show this, we use the Fourier transform and observe that the evolution operators of the damped wave equation can be approximated by the solutions of the heat and wave equations. By using the L^p−L^q estimate, we also discuss the asymptotic behavior of the semilinear problem of the damped wave equation with the power nonlinearity |u|^αu. Our result covers the whole super critical case α>1, where the α=1 is well known as the Fujita exponent when n=2.     

Eigenvalue estimates and L 1 energy on closed manifolds

In this paper, we study Lichnerowicz type estimate for eigenvalues of drifting Laplacian operator and the decay rates of L1 and L2 energy for drifting heat equation on closed Riemannian manifolds with weighted measure.     

The energy functional on the Virasoro–Bott group with the L 2-metric has no local minima

The geodesic equation for the right invariant L ²-metric (which is a weak Riemannian metric) on each Virasoro–Bott group is equivalent to the KdV-equation. We prove that the corresponding energy functional, when restricted to paths with fixed endpoints, has no local minima. In particular, solutions of KdV do not define locally length-minimizing paths.     

Diffusion vanishing limit of the nonlinear pipe Magnetohydrodynamic flow with fixed viscosity

We establish magnetic diffusion vanishing limit of the nonlinear pipe Magnetohydrodynamic flow by the mathematical validity of the Prandtl boundary layer theory with fixed viscosity. The convergence is verified under various Sobolev norms, including the L~∞(L~2)and L~∞(H~1) norm.