Homogenization of hyperbolic equations

Abstract

We consider a self-adjoint matrix elliptic operator A_{ε, ε} > 0, on L₂(R^d;Cⁿ) given by the differential expression b(D)*g(x/ε)b(D). The matrix-valued function g(x) is bounded, positive definite, and periodic with respect to some lattice; b(D) is an (m × n)-matrix first order differential operator such that m ≥ n and the symbol b(ξ) has maximal rank. We study the operator cosine cos(τA_ε^1/2), where τ ∈ R. It is shown that, as ε → 0, the operator cos(τA_ε^1/2) converges to cos(τ(A⁰)^1/2) in the norm of operators acting from the Sobolev space H^s(R^d;Cⁿ) (with a suitable s) to L₂(R^d;Cⁿ). Here A₀ is the effective operator with constant coefficients. Sharp-order error estimates are obtained. The question about the sharpness of the result with respect to the type of the operator norm is studied. Similar results are obtained for more general operators. The results are applied to study the behavior of the solution of the Cauchy problem for the hyperbolic equation ∂_τ²u_ε(x, τ) = −A_εu_ε(x, τ).