TEMA Tend. Mat. Apl. Comput., 6, No. 2 (2005), 273-284. c Uma Publica¸c˜ ao da Sociedade Brasileira de Matem´ atica Aplicada e Computacional. Existence and Uniqueness of Solutions of a Nonlinear Heat Equation M.A. RINCON1, Instituto de Matem´ atica, Universidade Federal do Rio de Janeiro, Rio de Janeiro, RJ, Brazil J. L´IMACO2, Instituto de Matem´ atica, Niteroi, RJ, Brazil Universidade Federal Fluminense, I-SHIH LIU3, Instituto de Matem´ atica, Universidade Federal do Rio de Janeiro, Rio de Janeiro, RJ, Brazil. Abstract. A nonlinear partial differential equation of the following form is considered: u′ − div a(u)∇u + b(u) |∇u|2 = 0, which arises from the heat conduction problems with strong temperature-dependent material parameters, such as mass density, specific heat and heat conductivity. Existence, uniqueness and asymptotic behavior of initial boundary value problems under appropriate assumptions on the material parameters are established. 1. Introduction Metallic materials present a complex behavior during heat treatment processes involving phase changes. In a certain temperature range, change of temperature induces a phase transformation of metallic structure, which alters physical properties of the material. Indeed, measurements of specific heat and conductivity show a strong temperature dependence during processes such as quenching of steel. In this paper, we are interested in a nonlinear heat equation with temperaturedependent material parameters, in contrast to the usual linear heat equation with constant coefficients. Let θ(x, t) be the temperature field, then we can write the conservation of energy in the following form: ρ ε′ + div q = 0, (1.1) where prime denotes the time derivative. 1 [email protected] 2 [email protected] 3 [email protected] 274 Rincon, L´ımaco and Liu The mass density ρ = ρ(θ) > 0 may depend on temperature due to possible change of material structure, while the heat flux q is assumed to be given by the Fourier law with temperature-dependent heat conductivity, q = −κ∇θ, κ = κ(θ) > 0. (1.2) The internal energy density ε = ε(θ) generally depends on the temperature, and the specific heat c is assumed to be positive defined by c(θ) = ∂ε/∂θ > 0, which is not necessarily a constant. We can reformulate the equation (1.1) in terms of the energy ε instead of the temperature θ. Rewriting Fourier law as q = −κ(θ)∇θ = −α(ε)∇ε, (1.3) and observing that ∇ε = ∂ε/∂θ ∇θ = c(θ)∇θ, we have c(θ)α(ε) = κ(θ), and hence α = α(ε) > 0. Now let u be defined as u = ε(θ), then the equation (1.1) becomes ρ(u) u′ − div(α(u)∇u) = 0. Since ρ(u) > 0, dividing the equation by ρ, we obtain u′ − div Since c = ∇ α(u)∇u ρ(u) 1 + ∇ · α(u)∇u = 0. ρ(u) (1.4) du ∂ε = , ∂θ dθ 1 dρ(u) 1 dρ dθ 1 dρ 1 1 =− ∇u = − ∇u = − ∇u. 2 2 ρ(u) ρ(u) du ρ(u) dθ du ρ(u)2 dθ c Substituting into equation (1.4) we obtain u′ − div α(u)∇u ρ(u) − 1 dρ 1 ∇u · α(u)∇u = 0, 2 ρ(u) dθ c which is equivalent to u′ − div a(u)∇u + b(u) |∇u|2 = 0, (1.5) α(u)c(u) k(u) α(u) dρ α(u) = = > 0 and b(u) = − > 0. ρ(u) ρ(u)c(u) ρ(u)c(u) c ρ(u)2 dθ The positiveness of a(u) and b(u) is the consequence of thermodynamic considerations (see [8]), and reasonable physical experiences: the specific heat c > 0, the thermal conductivity κ > 0, the mass density ρ > 0, and the thermal expansion dρ/dθ < 0. In this paper we shall formulate the problem based on the nonlinear heat equation (1.5). where a(u) = Existence and Uniqueness of Solutions of a Heat Equation 1.1. 275 Formulation of the problem Let Ω be a bounded open set of IR, with regular boundary. We represent by Q = Ω × (0, T ) for T > 0, a cylindrical domain, whose lateral boundary we re´present by Σ = Γ × (0, T ). We shall consider the following non-linear problem: u′ − div a(u)∇u + b(u) |∇u|2 = 0 in Q, (1.6) u = 0 on Σ, u(x, 0) = u0 (x) in Ω. Mathematical models of semi-linear and nonlinear parabolic equations under Dirichlet or Neumann boundary conditions has been considered in several papers, among them, let us mention ([1], [2], [3]) and ([4], [5], [9]), respectively. Feireisl et al [6] prove that with non-negative initial data, the function a(u) ≡ 1 and g(u, ∇u) ≤ h(u)(1 + |∇u|2 ), instead of the non-linear term b(u) |∇u|2 in (1.6), there exists an admissible solution positive in some interval [0, Tmax ) and if Tmax < ∞ then lim ku(t, .)k∞ = ∞. t→Tmax For Problem (1.6) we will prove global existence, uniqueness and asymptotic behavior for the one-dimensional case. 2. Existence and Uniqueness Let ((·, ·)), k · k and (·, ·), | · | be respectively the scalar product and the norms in H01 (Ω) and L2 (Ω). Thus, when we write |u| = |u(t)|, kuk = ku(t)k its means the L2 (Ω), H01 (Ω) norm of u(x, t) respectively. To prove the existence and uniqueness of solutions for the one-dimensional case, we need the following hypotheses: H1: a(u) and b(u) belongs to C 1 (IR) and there are positive constants a0 , a1 such that, a0 ≤ a(u) ≤ a1 and b(u)u ≥ 0. da db H2: There is a positive constant M > 0 such that max (s); (s) ≤ M s∈IR du du H3: u0 ∈ H01 (Ω) ∩ H 2 (Ω) such that |∆u0 | < ε, for some constant ε > 0. Remark. From hypothesis (H1), we have that b(u)u ≥ 0, ∀u ∈ IR. Thus from hypothesis (H2), |b(u)| ≤ M |u|. Theorem 2.1. Under the hypotheses (H1), (H2) and (H3), there exist a positive constant ε0 such that, if 0 < ε ≤ ε0 then the problem (1.6) admits a unique solution u : Q → IR, satisfying the following conditions: i. u ∈ L2 (0, T ; H01 (Ω) ∩ H 2 (Ω)), u′ ∈ L2 (0, T ; H01 (Ω)) ii. u′ − div(a(u)∇u) + b(u) |∇u|2 = 0, in L2 (Q), iii. u(0) = u0 . Remark. The positive constant ε0 will be determined later (see (2.14), (2.15), (2.20) and (3.11)). 276 Rincon, L´ımaco and Liu Proof. To prove the theorem, we employ Galerkin method with the Hilbertian basis from H01 (Ω), given by the eigenvectors (wj ) of the spectral problem: ((wj , v)) = λj (wj , v) for all v ∈ V and j = 1, 2, · · ·. We represent by Vm the subspace of V generated by vectors {w1 , w2 , ..., wm }. We propose the following approximate problem: Determine um ∈ Vm , so that (u′m , v) + a(um )∇um , ∇v + b(um ) |∇um |2 , v = 0 ∀ v ∈ Vm , (2.1) um (0) = u0m → u0 in H01 (Ω) ∩ H 2 (Ω). ⊔ ⊓ Existence The system of ordinary differential equations (2.1) has a local solution in the interval (0, Tm ). To extend the local solution to the interval (0, T ) independent of m the following a priori estimates are needed. Estimate I: Taking v = um (t) in the equation (2.1) and integrating over (0, T ), we obtain Z T Z TZ 1 1 2 2 |um | + a0 (2.2) kum k + b(um )um |∇um |2 < |u0 |2 , 2 2 0 0 Ω where we have used hypothesis (H1). Taking a ˆ0 = min{a0 , 12 } > 0, we obtain |um |2 + Z T kum k2 + 0 Z 0 T Z b(um )um |∇um |2 < Ω 1 |u0 |2 . 2ˆ a0 Thus, applying the Gronwall’s inequality in (2.3) yields (um ) is bounded in L∞ 0, T ; L2 (Ω) ∩ L2 0, T ; H01 (Ω) . (2.3) (2.4) Estimate II: Taking v = u′m in the equation (2.1)1 and integrating over (0, T ), we obtain Z Z Z d da 2|u′m |2 + a(um )|∇um |2 = (um )u′m |∇um |2 + 2 b(um )u′m |∇um |2 . dt Ω Ω du Ω (2.5) On the other hand, from hypothesis (H2), we have the following inequality, Z 1 1 da (um )u′m |∇um |2 ≤ M C0 ku′m k kum k2 , (2.6) 2 Ω du 2 and since | · |L∞ (Ω) ≤ C0 k · k and |b(um )| ≤ M |um |, we obtain Z b(um )u′m |∇um |2 ≤ M C02 ku′m kkum k3 , Ω where C0 = C0 (Ω) is a constant depending on Ω. (2.7) 277 Existence and Uniqueness of Solutions of a Heat Equation Substituting (2.6) and (2.7) into Z 1 d |u′m |2 + a(um )|∇um |2 ≤ 2 dt Ω the left hand side of (2.5) we get 1 M C0 ku′m k kum k2 + M C02 ku′m kkum k3 2 (2.8) 1 1 ≤ (M C0 )2 ku′m k2 kum k2 + kum k2 + (M C02 )2 ku′m k2 kum k4 . 4 2 Now taking the derivative of the equation (2.1)1 with respect to t and making v = u′m , we have Z Z Z db 1 d ′ 2 da a(um )|∇u′m |2 = − |um | + (um )|u′m |2 |∇um |2 − (um ) u′m |∇um |2 2 dt Ω du Ω Ω du Z 1 −2 b(um )∇um ∇u′m u′m ≤ M C02 (3 + M )ku′m k2 kum k2 + kum k2 . 2 Ω (2.9) From inequalities (2.8) and (2.9), we have Z a0 d 1 ′ 2 1 a(um )|∇um |2 + |u′m | + ku′m k2 + |um | + dt 2 2 Ω 2 (2.10) na o 0 ′ 2 2 4 2 kum k − α0 kum k − α1 kum k ≤ kum k , 2 where we have defined α0 = (M C02 )2 and α1 = M C0 41 M C0 + 3C0 + 1 . Now, under the condition that the following inequality, α0 kum k4 + α1 kum k2 < a0 4 ∀ t ≥ 0, (2.11) be valid, the coefficients of the term ku′m k in the relation (2.10) is positive and we can integrate it with respect to t, Z t Z t Z ′ 2 2 ′ 2 ku′m k2 ≤ C. (2.12) |um | + a0 a(um )|∇um | + |um | + Ω 0 0 Therefore, applying the Gronwall’s inequality in (2.12), we obtain the following estimate: (u′m ) is bounded in L∞ 0, T ; L2 (Ω) ∩ L2 0, T ; H01 (Ω) . (2.13) Now we want to prove that the inequality (2.11) is valid if the initial data are sufficiently small. Suppose that 2 a0 1 α1 α0 2 2 (2.14) S0 + a1 ku0 k + |u0 | + S0 + a1 ku0 k2 + ku0 k2 < 2 a0 a0 a0 4 and α0 ku0 k4 + α1 ku0 k2 < a0 , 4 (2.15) 2 where we have denoted S0 = M (ku0 k + |∆u0 |2 + ku0 k|∆u0 |2 ) + a1 |∆u0 | . 278 Rincon, L´ımaco and Liu We shall prove by contradiction. Suppose that (2.11) is false, then there such that a0 if 0 < t < t∗ α0 kum (t)k4 + α1 kum (t)k2 < 4 and a0 α0 kum (t∗ )k4 + α1 kum (t∗ )k2 = . 4 ∗ Integrating (2.10) from 0 to t , we obtain Z Z 1 ′ ∗ 2 a(um (0))|∇um (0)|2 a(um )|∇um (t∗ )|2 ≤ |um (t )| + 2 Ω Ω Z t∗ 1 ′ 1 + |um (0)|2 + kum k2 ≤ a1 ku0 k2 + |u0 |2 2 a0 0 2 + M ( ku0 k + |∆u0 |2 + ku0 k|∆u0 |2 ) + a1 |∆u0 |2 , and consequently, kum (t∗ )k2 ≤ we obtain ∗ 4 α0 kum (t )k is a t∗ (2.16) (2.17) (2.18) a1 1 1 S0 + ku0 k2 + 2 |u0 |2 . Using (2.14) and (2.15) a0 a0 a0 2 α0 1 2 2 +α1 kum (t )k ≤ 2 S0 + a1 ku0 k + |u0 | a0 a0 1 a1 1 a0 +α1 S0 + ku0 k2 + ku0 k2 < , a0 a0 a0 4 ∗ 2 (2.19) hence, comparing with (2.17), we have a contradiction. Estimate III: Taking v = −∆um (t) in the equation (2.1)1 , and using hypothesis H1, we obtain Z d a(um )|∆um |2 ≤ a1 kum k |∆um | + b1 |∆um |2 kum k, kum k2 + dt Ω where we have used the following inequality, Z Z 2 b(um )|∇um | |∆um | ≤ b1 |∇um |L∞ |∇um | |∆um | ≤ b1 |∇um |H 1 (Ω) kum k |∆um | Ω Ω ≤ b1 |∆um | kum k |∆um | = b1 kum k |∆um |2 . a0 a0 , ]. Note 4α1 4α1 that, from (2.11), we have |um (t)| ≤ kum (t)k < a0 /4α1 and b1 = b1 + M . In this expression we have denoted b1 = sup |b(s)|, for all s ∈ [− Using hypothesis (H1), we obtain a0 d kum k2 + |∆um |2 ≤ a1 kum k |∆um | + b1 |∆um |2 kum k, dt 2 a d 0 or equivalently, kum k2 + − b1 kum k |∆um |2 ≤ a1 kum k |∆um |. dt 2 279 Existence and Uniqueness of Solutions of a Heat Equation Note that the constant C from (2.12) is given by C = S0 + a1 ku0 k2 + Considering 1 a 1 0 (S0 + a1 ku0 k2 + |u0 |2 )1/2 < a0 2a0 4 a a0 0 and from (2.12) we obtain ≤ − b1 kum k , it implies that 4 2 b1 1 |u0 |2 . 2a0 (2.20) d a0 a0 kum k2 + |∆um |2 ≤ a1 kum k |∆um | ≤ |∆um |2 + Ckum k2 . (2.21) dt 4 8 Z T 2 b |∆um |2 ≤ C. Now, integrating from 0 to t, we obtain the estimate: kum k + 0 Hence, we have (um ) is bounded in L∞ 0, T ; H01 (Ω) ∩ L2 0, T ; H01 (Ω) ∩ H 2 (Ω) . (2.22) Limit of the approximate solutions From the estimates (2.4), (2.13) and (2.22), we can take the limit of the nonlinear system (2.1). In fact, there exists a subsequence of (um )m∈N , which we denote as the original sequence, such that u′m −→ u′ weak in L2 0, T ; H01 (Ω) , (2.23) um −→ u weak in L2 0, T ; H01 (Ω) ∩ H 2 (Ω) . Thus, by compact injection of H01 (Ω×(0, T )) into L2 (Ω×(0, T )) it follows by compactness arguments of Aubin-Lions [7], we can extract a subsequence of (um )m∈N , still represented by (um )m∈N such that um −→ u strong in L2 0, T ; H01 (Ω) , um −→ u a.e. in Q, (2.24) ∇um −→ ∇u strong in L2 (Q), ∇um −→ ∇u a.e. in Q. Let us analyze the nonlinear terms from the approximate system (2.1). From the first term, we know that Z Z 2 |a(um )∇um | ≤ a1 |∇um |2 ≤ a1 C, (2.25) Ω Ω and since that um → u a.e. in Q and that a(x, .) is continuous, we get a(um ) −→ a(u) and ∇um −→ ∇u a.e. in Q. Hence, we also have |a(um )∇um |2 −→ |a(u)∇u|2 a.e. in Q. (2.26) From (2.25) and (2.26), and Lions Lemma, we obtain a(um )∇um −→ a(u)∇u weak in L2 (Q). (2.27) 280 Rincon, L´ımaco and Liu From the second term, we know that Z 0 ≤ T Z Ω b21 C0 |b(um )|∇um |2 |2 ≤ b21 Z Z T 0 |∇um |2L∞ (Ω) T 2 kum k 0 |∇um |2H 1 ≤ b21 C0 kum k2 Z Z |∇um |2 Ω (2.28) T 2 |∆um | ≤ C, 0 where C0 has been defined in (2.7). By the same argument that leads to (2.26), we get |b(um )|∇um |2 |2 −→ |b(u)|∇u|2 |2 a.e. in Q (2.29) weak in L2 (Q). (2.30) Hence, from (2.28) and (2.29), we obtain the convergence b(um )|∇um |2 −→ b(u)|∇u|2 Taking into account (2.23), (2.27) and (2.30) into (2.1)1 , there exists a function u = u(x, t) defined over Ω × [0, T [ with value in IR satisfying (1.6). Moreover, from the convergence results obtained, we have that um (0) = u0m → u0 in H01 (Ω) ∩ H 2 (Ω), and the initial condition is well defined. Hence, we conclude that equation (1.6) holds in the sense of L2 (0, T ; L2 (Ω)). Uniqueness Let w(x, t) = u(x, t) − v(x, t), where u(x, t) and v(x, t) are solutions of Problem (1.6). Then we have ′ w − div a(u)∇w − div(a(u) − a(v))∇v + b(u) |∇u|2 − |∇v|2 + (b(u) − b(v))|∇v|2 = 0 in Q, (2.31) w = 0 on Σ, w(x, 0) = 0 in Ω. Multiplying by w(t), integrating over Ω, we obtain Z Z 1 d da | (b a(u)|∇w|2 ≤ |w|2 + u)| |w| |∇v| |∇w| 2 dt Ω du Ω Z Z ∂b + |b(u)| |∇u| + |∇v| |∇w| |w| + |∇v|2 | | (u)| |w|2 ∂u Ω Ω Z Z |∇w| |w| |∇v| + C0 |∇u| + |∇v| |∇w| |w| ≤M Ω ZΩ +M |∇v|2 |w|2 ≤ M |∇v|L∞ (Ω) kwk |w| + C0 |∇u|L∞ (Ω) + |∇v|L∞ (Ω) kwk |w| Ω +M |∇v|2L∞ (Ω) |w|2 ≤ where we have used a0 kwk2 + C(∆u|2 + |∆v|2 )|w|2 , 2 (2.32) 281 Existence and Uniqueness of Solutions of a Heat Equation (a) The generalized mean-value theorem, i.e., da da u)(u − v) ≤ | (b u)| |w|, u≤u b ≤ v, |a(u) − a(v)| = (b du du (b) b(u) (|∇u|2 − |∇v|2 ) ≤ |b(u)| |∇w| |∇u| + |∇v| , (c) |∇v|L∞ (Ω) ≤ k∇vkH 1 (Ω) ≤ kvkH 2 (Ω) ≤ |∆v|L2 (Ω) . The last inequality is valid only for the one-dimensional case. Integrating (2.32) from 0 to t, we obtain 1 2 a0 |w| + 2 2 Z t 1 kwk ≤ |w(0)|2 + C 2 2 0 Z t (|∆u|2 + |∆v|2 )|w|2 , 0 where C denotes a different positive constant. Since w(0) = u0 − v0 = 0, using the Z t Gronwall’s inequality, we obtain |w|2 + kwk2 = 0, which implies the uniqueness, 0 w(x, t) = u(x, t) − v(x, t) = 0 and the theorem is proved. ⊔ ⊓ 3. Asymptotic Behavior In the following we shall prove that the solution u(x, t) of Problem (1.6) decays exponentially when time t → ∞, using the same procedure developed in Lions [7] and Prodi [10]. Theorem 3.1. Let u(x, t) be the solution of Problem (1.6). Then there exist positive constants sb0 and C = C{ku0 k, |∆u0 |} such that s0 t kuk2 + |u′ |2 ≤ C exp−b . (3.1) Proof. To prove the theorem, complementary estimates are needed. ⊔ ⊓ Estimate I′ : Consider the approximate system (2.1). Using the same argument as Estimate I, i.e, taking v = um (t), we have Z Z d 2 2 |um | + a(um )|∇um | + b(um )um |∇um |2 = 0. (3.2) dt Ω Ω Integrating (3.3) from (0, T ), we obtain 1 |um |2 + a0 2 Z 0 T 2 kum k + Z 0 T Z b(um )um |∇um |2 < Ω 1 |u0 |2 . 2 (3.3) From H1 hypothesis, (3.2) and (3.3) we conclude a0 kum k2 ≤ 2|u′m | |um | ≤ 2|u′m | |u0 |. (3.4) 282 Rincon, L´ımaco and Liu Estimate II′ : Taking derivative of the system (2.1) with respect to t and taking v = u′m , we obtain Z Z d ′ 2 ′ 2 ′ 2 |u | + a0 kum k ≤ C |um | |∇um | + |u′m ||∇um |2 dt m Ω Ω (3.5) Z ′ ′ ′ 2 ′ 2 2 |∇um ||∇um ||um | ≤ C1 kum k kum k + kum k kum k . +C Ω Hence, a d ′ 2 a0 ′ 2 0 |um | + kum k + ku′m k2 − C1 kum k − C1 kum k2 ≤ 0. dt 2 2 (3.6) Using (3.4) then we can write the inequality (3.6) in the form, a d ′ 2 a0 ′ 2 0 |um | + kum k +ku′m k2 −C1 dt 2 2 1/2 2|u0 | ′ |um | ≤ 0. (3.7) a0 Let v = u′m (0) in (2.1). Then, |u′m (0)|2 ≤ Cku0 k + C2 |∆u0 | + |∆u0 )|2 |u′m (0)| and we have 2 . (3.8) |u′m (0)|2 ≤ C ku0 k + |∆u0 | + |∆u0 )|2 + |∆u0 |3 2|u0 | a0 |u′m |1/2 −C1 We define the operator J(u0 ) = 2|u0 | a0 1/2 C ku0 k + |∆u0 | + |∆u0 |2 + |∆u0 |3 2|u0 | C ku0 k + |∆u0 | + |∆u0 |2 + |∆u0 |3 . a0 1/2 Then we can show that 1/2 2|u0 | ′ 2|u0 | |u′m (0)|1/2 + |um (0)| ≤ J(u0 ). a0 a0 (3.9) (3.10) Consider C1 a positive constant and u0 small enough, that is, C1 J(u0 ) < a0 . 4 (3.11) Then the following inequality holds, C1 2|u0 | a0 1/2 |u′m |1/2 + C1 a0 2|u0 | ′ |um | < a0 4 ∀ t ≥ 0. (3.12) Indeed, we can proof it by contradiction. Suppose that there is a t∗ such that C1 2|u | 1/2 2|u0 | ′ ∗ a0 0 |u′m (t∗ )|1/2 + C1 |um (t )| = . a0 a0 4 (3.13) Existence and Uniqueness of Solutions of a Heat Equation Integrating (3.7) from 0 to t∗ , we obtain (3.12), we conclude that C1 283 |u′ (t∗ )|2 ≤ |u′ (0)|2 . From (3.11) and 2|u | 1/2 2|u0 | ′ ∗ 0 |u′m (t∗ )|1/2 + C1 |um (t )| a0 a0 2|u | 1/2 2|u0 | ′ a0 0 ≤ C1 |u′m (0)|1/2 + C1 |um (0)| ≤ C1 J(u0 ) < . a0 a0 4 (3.14) Therefore, we have a contradiction by (3.13). From (3.7), (3.12) and using the Poincar´e inequality, we obtain d ′ 2 |u | + s0 |u′m |2 ≤ 0, where s0 = (a0 c0 )/2 and c0 is a positive constant such dt m o dn that k . kH01 (Ω) ≥ c0 | · |L2 (Ω) . Consequently, we have exps0 t |u′m |2 ≤ 0 and dt hence 2 |u′m |2 ≤ |u′m (0)|2 exp−s0 t ≤ C ku0 k + |∆u0 | + |∆u0 |2 exp−s0 t (3.15) −s0 t e ≤ C ku0 k, |∆u0 | exp . We also have from (3.4) that kum k2 ≤ 2 2 |u0 | |u′m | ≤ C ku0 k, |∆u0 | |u0 | exp−s0 t/2 . a0 a0 (3.16) Defining sb0 = s0 /2 then the result follows from (3.15), (3.16) inequality and of the Banach-Steinhaus theorem. ⊔ ⊓ Resumo A equa¸c˜ ao diferencial parcial n˜ ao linear, u′ − div a(u)∇u + b(u) |∇u|2 = 0, representa o problema de condu¸c˜ ao do calor em que os parˆ ametros, densidade de massa, calor espec´ıfico e condutividade t´ermica s˜ ao fortemente dependentes da temperatura. Nesse trabalho, provamos a existˆencia, unicidade e o comportamento assint´ otico para o problema de valor inicial com apropriadas hip´ oteses sobre os parˆ ametros do material. References [1] N. Alaa and M. Iguername, Weak periodic solution of some quasilinear parabolic equations with data measures, Journal of Inequalities in Pure and Applied Mathematics, 3 (2002), 1-14. [2] H. Amann, Periodic solutions of semilinear parabolic equations, Nonlinear Analysis, (1978), 1-29. [3] L. Boccardo, F. Murat, and J.P. Puel, Existence results for some quasilinear parabolic equations, Nonlinear Analysis, 13 (1989), 373-392. 284 Rincon, L´ımaco and Liu [4] L. Boccardo and T. Gallouet, Nonlinear elliptic and parabolic equations involving measure data, Journal of Functional Analysis, 87 (1989), 149-168. [5] M. Chipot and F.B. Weissler, Some blow up results for a nonlinear parabolic equation with a gradient term, SIAM J. Math. Anal., 20 (1989), 886-907. [6] E. Feireisl, H. Petzeltov´a, and F. Simondon, Admissible solutions for a class of nonlinear parabolic problems with non-negative data, Proceedings of the Royal Society of Edinburgh, Section A - Mathematics, 131, No. 5 (2001), 857-883. [7] J.L. Lions, “Quelques m´ethodes de r´esolution des probl`emes aux limites non lin´eares”, First edition, Dunod-Gauthier Villars, Paris, 1969. [8] I-S. Liu, “Continuum Mechanics”, Spring-Verlag, Berlin-Heidelberg, 2002. [9] M. Nakao, On boundedness periodicity and almost periodicity of solutions of some nonlinear parabolic equations, J. Differential Equations, 19 (1975), 371385. [10] G. Prodi, Un Teorema di unicita per le equazioni di Navier-Stokes, Annali di Mat., 48 (1959), 173-182.
© Copyright 2024