DAMPED WAVE EQUATIONS WITH FAST GROWING DISSIPATIVE NONLINEARITIES

Author(s)

Carvalho, A. N. ^[1] ; Cholewa, J. W. ^[2] ; Dlotko, Tomasz ^[2]

Affiliation

^[1] Univ Sao Paulo, Inst Ciencias Matemat & Comp, Dept Matemat, BR-13560970 Sao Carlos, SP - Brazil

^[2] Silesian Univ, Inst Math, PL-40007 Katowice - Poland

• Document type: Journal article
• Source: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS; v. 24, n. 4, p. 1147-1165, AUG 2009.
• Web of Science Citations: 16

Abstract

Let a > 0, Omega subset of R(N) be a bounded smooth domain and - A denotes the Laplace operator with Dirichlet boundary condition in L(2)(Omega). We study the damped wave problem [u(tt) + au(t) + Au - f(u), t > 0, u(0) = u(0) is an element of H(0)(1)(Omega), u(t)(0) = v(0) is an element of L(2)(Omega), where f : R -> R is a continuously differentiable function satisfying the growth condition vertical bar f(s) - f (t)vertical bar <= C vertical bar s - t vertical bar(1 + vertical bar s vertical bar(rho-1) + vertical bar t vertical bar(rho-1)), 1 < rho < (N - 2)/(N + 2), (N >= 3), and the dissipativeness condition limsup(vertical bar s vertical bar ->infinity) s/f(s) < lambda(1) with lambda(1) being the first eigenvalue of A. We construct the global weak solutions of this problem as the limits as eta -> 0(+) of the solutions of wave equations involving the strong damping term 2 eta A(1/2)u with eta > 0. We define a subclass LS subset of C ({[}0, infinity), L(2)(Omega) x H(-1)(Omega)) boolean AND L(infinity)({[}0, infinity), H(0)(1)(Omega) x L(2)(Omega)) of the `limit' solutions such that through each initial condition from H(0)(1)(Omega) x L(2)(Omega) passes at least one solution of the class LS. We show that the class LS has bounded dissipativeness property in H(0)(1)(Omega) x L(2)(Omega) and we construct a closed bounded invariant subset A of H(0)(1)(Omega) x L(2)(Omega), which is weakly compact in H(0)(1)(Omega) x L(2)(Omega) and compact in H([I])(s)(Omega) x H(s-1)(Omega), s is an element of {[}0, 1). Furthermore A attracts bounded subsets of H(0)(1)(Omega) x L(2)(Omega) in H([I])(s)(Omega) x H(s-1)(Omega), for each s is an element of {[}0, 1). For N = 3, 4, 5 we also prove a local uniqueness result for the case of smooth initial data. (AU)

• FAPESP's process: 03/10042-0 - Nonlinear dynamical systems and applications
• Grantee: Alexandre Nolasco de Carvalho
• Support Opportunities: PRONEX Research - Thematic Grants