Open Access

Asymptotic stability for a symmetric parabolic problem modeling Ohmic heating

Boundary Value Problems20142014:40

https://doi.org/10.1186/1687-2770-2014-40

Received: 7 January 2014

Accepted: 29 January 2014

Published: 14 February 2014

Abstract

We consider the asymptotic behavior of the solution of the non-local parabolic equation u t = ( κ ( u ) ) r r + ( κ ( u ) ) r r + f ( u ) ( a + 2 π b 0 1 f ( u ) r d r ) 2 , for 0 < r < 1 , t > 0 , with a homogeneous Dirichlet boundary condition. The equation is the so-called Ohmic-heating model, which comes from thermal electricity in this paper, u and f ( u ) represent the temperature of the conductor and the electrical conductivity. The model prescribes the dimensionless temperature when the electric current flows through two axis-symmetric conductors, subject to a fixed electric potential difference. The global existence and uniform boundedness of the solution to the problem indicate that the temperature of the conductor remains uniformly bounded. Furthermore, the asymptotic stability of the global solution is obtained.

MSC:35K20, 35K55, 35K65, 80M35.

Keywords

Ohmic heating modelnonlocal parabolic equationaxis-symmetricsteady stateasymptotic stability

1 Introduction

The original motivation for studying the problem in this paper comes from the plasma Ohmic-heating process. The plasma is an electrical conductor and so it could be heated by passing a current through it. This is called Ohmic heating and it is the same kind of heating that occurs in thermistors.

First, we would like to address the work on the Ohmic-heating model with one conductor, which has been investigated intensively in [16] and references therein. The problem with only one conductor can be formulated in terms of the following problem with different boundary conditions:
u t = Δ ( κ ( u ) ) + λ f ( u ) ( Ω f ( u ) d x ) 2 , for  x Ω , t > 0 ,
(1)

where Ω R 2 is an open, bounded domain, and κ ( u ) is the diffusion function. f ( u ) is the electrical conductivity and the parameter λ is a positive constant, which depends upon the electric current or potential difference and also upon the ‘size’ of the conductor.

For the linear diffusion problem κ ( u ) = u , Lacey etc. have shown that the blow-up cannot take place if f is an increasing function (see [2, 7]). However, if f is a decreasing function, with the aid of the comparison principle, global existence and asymptotic have been obtained for some special function f, such as f ( u ) = e u in [2]. Taking advantage of this fact, Lacey [2, 3] and Tzanetis [4] proved the occurrence of blow-up for a one-dimensional model (1) and for the two-dimensional radially symmetric model (1).

However, to avoid the occurrence of the singularity in finite time, Lacey introduced an Ohmic-heating model with two conductors (see Figure 1). In the electric circuit, the conductor A is in series with another conductor B with constant electrical resistivity. Denote u ( x , t ) and ρ ( u ) = 1 / f ( u ) for the temperature and the electrical resistivity of the conductor A, respectively. The global existence and asymptotic behavior have been shown for decreasing electrical conductivity function f ( u ) in [8] by Du et al.
Figure 1

Electric current flows through two conductors.

Furthermore, the problem with nonlinear diffusion has been investigated in [8] recently and similar results have been obtained. However, most previous results on asymptotic behavior we mentioned before are restricted to the one-dimensional case.

Here, we suppose that the conductor A is a prismatic one, L and S represent its length and cross-sectional area, respectively, and the length of the conductor B is L . Moreover, we assume that the diameter of the cross section D is much less than L and the temperature u ( x , t ) is independent of the variable x 1 . Suppose that the curved surface of the conductor A, Γ 0 is thermal, namely
u = 0 on  Γ 0 .
Based on the derivation in [2] (see also [4]), Du and Fan obtained the result that the temperature u of the material satisfies the following problem with initial boundary-value conditions:
u t Δ ( κ ( u ) ) = f ( u ) ( a + b D f ( u ) d x ) 2 , x D , t > 0 ,
(2)

where a = L E , b = ρ 0 E L and f ( u ) = σ ( u ) .

When f is decreasing, they proved that the comparison principle was valid and the solution of the model was always global in time. Furthermore, if f is a decreasing exponential function, they proved that the solution of the problem converges asymptotically to the unique steady state. See also [9] and [10] for some results on the asymptotic behavior of the global solution in the one-dimensional case and axis-symmetry in the two-dimensional case for the linear diffusion problem κ ( u ) = u , respectively.

In this paper, we assume conductor A is axis-symmetric, and we focus on the problem (2) in the radially symmetric case. So, if we assume additionally that the cross section D be a unit disk and the initial data be radially and decreasing, i.e.
u 0 ( x ) = u 0 ( r ) and u 0 ( r ) < 0 ,
where r = | x | ( 0 , 1 ) . Thus, the problem in the axis-symmetric case can be formulated in terms of the following non-local parabolic problem:
{ u t = ( κ ( u ) ) r r + ( κ ( u ) ) r r + f ( u ) ( a + 2 π b 0 1 f ( u ) r d r ) 2 , for  0 < r < 1 , t > 0 , u ( 1 , t ) = u ( 0 , t ) = 0 , for  t > 0 , u ( r , 0 ) = u 0 ( r ) , for  0 r 1 ,
(3)
where f is a continuous, positive, and decreasing function and the initial data u 0 ( r ) is a decreasing smooth positive function. The function κ ( s ) satisfies
κ ( s ) C 2 ( R + ) , κ ( s ) > 0 , κ ( s ) > 0 , κ ( s ) > 0 , for  s > 0 ,
(4)
and
κ ( 0 ) = 0 .
(5)

The boundary condition u ( 1 , t ) = 0 represents the temperature on the boundary Γ 0 is a constant, while u r ( 0 , t ) = 0 comes from the axis-symmetry of conductor A.

Moreover, it is easy to see that the axis-symmetric solution to the problem (3) is radially decreasing (see [11]).

Inspired by the work above, we would like to show the asymptotic stability of the problem (3) with the generally deceasing function f ( u ) .

Theorem 1.1 Assume that f satisfies
s f ( s ) < f ( s ) , s > 0 ,
(6)
the solution of the problem (3), u ( r , t ) , converges asymptotically to the unique steady state ω ( r ) , namely,
u ( r , t ) ω ( r ) , as  t + ,

for 0 < r < 1 .

Remark 1 The condition (6) is equivalent to ( s f ( s ) ) > 0 , which indicates f ( s ) is decreasing lower than 1 s , such as f ( s ) = s p , 0 < p < 1 . The condition (6) is structured to prove the uniqueness of the steady state, which was firstly structured by Tzanetis in [4].

Remark 2 When f ( s ) = e κ ( s ) , Du and Fan [8] have proved that the solution of the problem (3) converges asymptotically to the unique steady state. If κ ( s ) additionally satisfies s κ ( s ) < 1 , then e κ ( s ) is a special function of f ( s ) , which satisfies (6).

Remark 3 The equations in models (1), (2), and (3) are quasi-linear parabolic equations with non-local sources. There are many works focusing on the global existence and blow-up of non-local parabolic equations (see [9, 1215] and the references therein).

The analysis and techniques in this paper are based on the analysis for the ordinary differential equations and on comparison arguments.

2 The asymptotic stability for the problem (3)

We start this section with introducing the comparison principle and the global existence of the solution to (3), which have been proved in [8].

Proposition 1 (Comparison principle)

Suppose that u ¯ ( r , t ) satisfies
{ u ¯ t ( r , t ) ( κ ( u ¯ ( x , t ) ) ) r r + 1 r ( κ ( u ( r , t ) ) ) r + f ( u ¯ ( r , t ) ) ( a + b Ω f ( u ¯ ( r , t ) ) d r ) 2 , 0 < r < 1 , t > 0 , u ¯ ( r , t ) 0 , r = 1 , t > 0 , u ¯ ( r , 0 ) u 0 ( r ) , 0 < r < 1 ,
(7)

and u ̲ ( r , t ) satisfies (7) with the inequalities reversed, where f ( u ) is monotonic decreasing and positive continuous function. Then u ¯ ( r , t ) u ̲ ( r , t ) for 0 < r < 1 .

Proposition 2 If f ( u ) is a decreasing, positive, continuous function, then every nontrivial positive classical solution of (3) exists globally in time for any nontrivial positive bounded initial data. Furthermore, the solution u ( r , t ) of (3) remains uniformly bounded.

First, we consider the steady-state problem corresponding to (3),
{ ( κ ( ω ) ) r r ( r ; μ ) + 1 r ( κ ( ω ) ) r ( r ; μ ) + μ f ( ω ( r ; μ ) ) = 0 , 0 < r < 1 , ω ( 1 ; μ ) = ω r ( 0 ; μ ) = 0 ,
(8)
with the positive parameter
μ = 1 ( a + 2 π b 0 1 f ( ω ( r ; μ ) ) r d r ) 2 ,
(9)

and they give the uniqueness of the solution of the problem (8).

Moreover, under the condition (5), multiplying r and ( κ ( ω ) ) r ( r ; μ ) on both sides of the equation in (8), respectively, and integrating over [ 0 , 1 ] yields
0 1 f ( ω ( r ; μ ) ) r d r = ( κ ( ω ) ( r ; μ ) ) r | r = 1 μ ,
(10)
and
( ( κ ( ω ) ( r ; μ ) ) r | r = 1 ) 2 = 2 μ 0 κ ( M ( μ ) ) f ( κ 1 ( s ) ) d s 2 0 1 ( ( κ ( ω ) ) r ( r ; μ ) ) 2 r d r ,
(11)

where M ( μ ) = ω ( 0 ; μ ) = max r [ 0 , 1 ] ω ( r ; μ ) and κ 1 is the inverse function of κ.

In view of the condition (4) and ω ( r ; μ ) < 0 for any r ( 0 , 1 ) , it thus follows from (11) that
( κ ( ω ) ( r ; μ ) ) r | r = 1 = 2 μ 0 κ ( M ( μ ) ) f ( κ 1 ( s ) ) d s 2 0 1 ( ( κ ( ω ) ) r ( r ; μ ) ) 2 r d r .
(12)
Combining this with (9) and (10) yields
1 = μ ( a + 2 π b 0 1 f ( ω ( r ; μ ) ) r d r ) 2 = a 2 μ + 4 π 2 b 2 ( ( κ ( ω ) ( r ; μ ) ) r | r = 1 ) 2 μ 4 π a b ( κ ( ω ) ( r ; μ ) ) r | r = 1 .
(13)

To show the uniqueness of the initial value problem (8) with (9), it suffices to show that there exists a unique root μ ( 0 , 1 a 2 ) of equation (13).

Define
F ( μ ) : = a 2 μ + 4 π 2 b 2 ( ( κ ( ω ) ( r ; μ ) ) r | r = 1 ) 2 μ 4 π a b ( κ ( ω ) ( r ; μ ) ) r | r = 1 1 , for  μ > 0 .
It is easy to see that the problem (8) does not possess nontrivial solution with the parameter μ = 0 . That is, ω 0 and M = 0 for μ = 0 . Then multiplying 1 μ on both sides of (11) and taking the limit μ 0 + yield
lim μ 0 + ( ( κ ( ω ) ( r ; μ ) ) r | r = 1 ) 2 μ = 0 ,
since
( ( κ ( ω ) ( r ; μ ) ) r | r = 1 ) 2 μ and 0 1 ( ( κ ( ω ) ) r ( r ; μ ) ) 2 r d r
are both positive and
lim μ 0 + 0 κ ( M ( μ ) ) f ( κ 1 ( s ) ) d s = 0 .

Thus, F ( 0 + ) < 0 . In view of F ( 1 / a 2 ) > 0 , there exists at least one root μ ( 0 , 1 / a 2 ) to equation (13).

Due to the condition ω r ( 0 ; μ ) = 0 , we can take an odd extension to the problem (8), and formulate the following problem:
{ ( κ ( ω ) ) r r ( r ; μ ) + 1 r ( κ ( ω ) ) r ( r ; μ ) + μ f ( ω ( r ; μ ) ) = 0 , 1 < r < 1 , ω ( ± 1 ; μ ) = 0 .
(14)
We claim that the steady solution ω ( r ; μ ) is increasing strictly with respect to the parameter μ, and it is always positive, namely, ω μ ( r ; μ ) > 0 , for any 0 r 1 . In fact, differentiating on both sides of equation (14) with respect to the parameter μ gives
( κ ( ω ) ) μ r r ( r ; μ ) 1 r ( κ ( ω ) ) μ r ( r ; μ ) μ f ( ω ( r ; μ ) ) κ ( ω ( r ; μ ) ) ( κ ( ω ) ) μ ( r ; μ ) = f ( ω ( r ; μ ) ) > 0 .
(15)

In view of ( κ ( ω ) ) μ ( ± 1 ; μ ) = 0 , it follows from the standard comparison arguments to equation (15) that we have ( κ ( ω ) ) μ ( r ; μ ) > 0 , for any r [ 1 , 1 ] . Then ( κ ( M ) ) μ ( μ ) = ( κ ( ω ) ) μ ( 0 ; μ ) > 0 , and ω μ ( r ; μ ) > 0 , for any r [ 1 , 1 ] , since κ ( s ) > 0 for all s > 0 .

For convenience, we set
φ ( μ ) : = ( ( κ ( ω ) ( r ; μ ) ) r | r = 1 ) 2 μ = 2 μ 0 κ ( M ( μ ) ) f ( κ 1 ( s ) ) d s 2 0 1 ( ( κ ( ω ) ) r ( r ; μ ) ) 2 r d r μ .
Then, from (12), we have
F ( μ ) = a 2 μ + 4 π 2 b 2 φ ( μ ) + 4 π a b μ φ ( μ ) 1 ,
(16)

where we have used the fact ( κ ( ω ) ( r ; μ ) ) r | r = 1 < 0 .

Denote α = μ , z ( r ; α 2 ) = κ ( ω ) ( r ; μ ) α = κ ( ω ) ( r ; α 2 ) α ; we can rewrite
φ ( μ ) = ( z r ( 1 ; α 2 ) ) 2 .
Thanks to (5) and the boundary conditions of (8), by a direct computation, we have z α ( 1 ; α 2 ) = z α r ( 0 ; α 2 ) = z ( 1 ; α 2 ) = z r ( 0 ; α 2 ) and
z r r ( r ; α 2 ) + z r ( r ; α 2 ) r + α f ( ω ( r ; α 2 ) ) = 0 .
(17)
Differentiating on both sides of (17) with respect to the parameter α, we have
z α r r ( r ; α 2 ) + z α r ( r ; α 2 ) r + α 2 f ( ω ( r ; α 2 ) ) z α ( r ; α 2 ) = f ( ω ( r ; α 2 ) ) f ( ω ( r ; α 2 ) ) ω ( r ; α 2 ) < 0 ,
where we have used the crucial assumption (6). By the maximum principle and Hopf’s boundary lemma, we have
z α ( r ; α 2 ) > 0 and z α r ( 1 ; α 2 ) < 0 .
Thus,
φ ( μ ) = 1 2 α d d α ( z r ( 1 ; α 2 ) ) 2 > 0 ,

since z r ( 1 ; α 2 ) = ( κ ( ω ) ( r ; α 2 ) ) r | r = 1 α < 0 .

As a result of the above, by equation (16), we obtain F ( μ ) > 0 , for any μ ( 0 , 1 / a 2 ) . Furthermore, equation (13) possesses a unique root μ in ( 0 , 1 / a 2 ) , which shows that the problem possesses a unique steady state ω ( r , μ ) .

Next, we will show that the global solution of the problem (3) converges to its steady state. Inspired by the form of the steady state ω ( r ; μ ) , we seek for the upper solution decreasing in time of the form v ¯ ( r , t ) = ω ( r ; μ ¯ ( t ) ) = ω ¯ , where the smooth function μ ¯ ( t ) will be determined later.

A series of computations yields
v ¯ t ( κ ( v ¯ ) ) r r 1 r ( κ ( v ¯ ) ) r f ( v ¯ ) ( a + 2 π b 0 1 r f ( v ¯ ) d r ) 2 = ω ¯ μ ¯ μ ¯ ( t ) ( κ ( ω ¯ ) ) r r 1 r ( κ ( ω ¯ ) ) r f ( ω ¯ ) ( a + 2 π b 0 1 r f ( ω ¯ ) d r ) 2 = ω ¯ μ ¯ μ ¯ ( t ) f ( ω ¯ ) ( a + 2 π b 0 1 r f ( ω ¯ ) d r ) 2 [ 1 μ ¯ ( t ) ( a + 2 π b 0 1 r f ( ω ¯ ) d r ) 2 ] = ω ¯ μ ¯ { μ ¯ ( t ) f ( ω ¯ ) ω ¯ μ ¯ ( a + 2 π b 0 1 r f ( ω ¯ ) d r ) 2 [ 1 μ ¯ ( t ) ( a + 2 π b 0 1 r f ( ω ¯ ) d r ) 2 ] } .
(18)
We will seek a function μ ¯ ( t ) such that the right hand side of (18) is nonnegative for 0 < r < 1 and t > 0 . Since u 0 ( r ) and u 0 ( r ) are bounded in [ 0 , 1 ] , we can choose μ ¯ ( 0 ) , such that
v ¯ ( r , 0 ) = ω ( r , μ ¯ ( 0 ) ) u 0 ( r ) .
Set
g ( μ ¯ ( t ) ) = ( inf r [ 0 , 1 ] f ( ω ¯ ) ω ¯ μ ¯ ) 1 ( a + 2 π b 0 1 r f ( ω ¯ ) d r ) 2 [ μ ¯ ( t ) ( a + 2 π b 0 1 r f ( ω ¯ ) d r ) 2 1 ] .
Note that F ( μ ) is increasing with respect to μ, then g ( μ ¯ ( t ) ) 0 , provided that μ ¯ ( t ) μ , where μ is the unique root of (13). Thus, we can choose a decreasing function μ ¯ ( t ) such that
0 μ ¯ ( t ) g ( μ ¯ ( t ) ) and lim t μ ¯ ( t ) = μ .
Then we have established an upper solution v ¯ ( r , t ) = ω ( r ; μ ¯ ( t ) ) to the problem (3), which converges to the steady state, i.e.
v ¯ ( r , t ) ω ( r ; μ ) = ω ( r ) , as  t .
Similarly, we can choose an increasing function μ ̲ ( t ) , which tends to μ , as t , and we construct a lower solution as v ̲ ( r , t ) = ω ( r ; μ ̲ ( t ) ) . Finally, by the comparison principle, we obtain a pair of upper-lower solutions ( v ¯ ( r , t ) , v ̲ ( r , t ) ) , such that
v ̲ ( r , t ) u ( r , t ) v ¯ ( r , t ) , for  r [ 0 , 1 ]  and  t > 0 ,

and taking the limit t , it completes the proof of Theorem 1.1.

Declarations

Acknowledgements

The authors would like to thank the referees for careful reading. This work is supported in part by an NSFC grant.

Authors’ Affiliations

(1)
College of Mathematics, Southwest Jiaotong University
(2)
School of Mathematics and Computer Engineering, Xihua University
(3)
College of Computer Science, Sichuan University

References

  1. Kavallaris NI, Nadzieja T: On the blow-up of the thermistor problem. Proc. Edinb. Math. Soc. 2007, 50: 389-409. 10.1017/S001309150500101XMathSciNetView ArticleGoogle Scholar
  2. Lacey AA: Thermal runaway in a non-local problem modelling Ohmic heating. Part I: Model derivation and some special cases. Eur. J. Appl. Math. 1995, 6: 127-144.MathSciNetGoogle Scholar
  3. Lacey AA: Thermal runaway in a non-local problem modelling Ohmic heating. Part II: General proof of blow-up and asymptotics of runaway. Eur. J. Appl. Math. 1995, 6: 201-224.MathSciNetGoogle Scholar
  4. Tzanetis DE: Blow-up of radially symmetric solutions of a nonlocal problem modelling Ohmic heating. Electron. J. Differ. Equ. 2002, 2002(11):1-26.MathSciNetGoogle Scholar
  5. Tzanetis DE, Vlamos PM: A nonlocal problem modelling Ohmic heating with variable thermal conductivity. Nonlinear Anal., Real World Appl. 2001, 2(4):443-454. 10.1016/S1468-1218(01)00002-5MathSciNetView ArticleGoogle Scholar
  6. Tzanetis DE, Vlamos PM: Some interesting special cases of a nonlocal problem modelling Ohmic heating with variable thermal conductivity. Proc. Edinb. Math. Soc. 2001, 44: 585-595. 10.1017/S0013091500000109MathSciNetView ArticleGoogle Scholar
  7. Bebernes JW, Lacey AA: Global existence and finite-time blow-up for a class of non-local parabolic problem. Adv. Differ. Equ. 1997, 2: 827-841.MathSciNetGoogle Scholar
  8. Du LL, Fan MS: Thermal runaway for a nonlinear diffusion model in thermal electricity. Discrete Contin. Dyn. Syst., Ser. A 2013, 33: 2349-2368.MathSciNetView ArticleGoogle Scholar
  9. Fan MS, Du LL: Asymptotic behavior for an Ohmic heating model in thermal electricity. Appl. Math. Comput. 2012, 218: 10906-10913. 10.1016/j.amc.2012.04.053MathSciNetView ArticleGoogle Scholar
  10. Xia A, Fan M, Li S: Asymptotic stability for an axis-symmetric Ohmic heating model in thermal electricity. J. Appl. Math. 2013., 2013: Article ID 387565Google Scholar
  11. Gidas B, Ni WM, Nirenberg L: Symmetry and related properties via the maximum principle. Commun. Math. Phys. 1979, 68: 209-243. 10.1007/BF01221125MathSciNetView ArticleGoogle Scholar
  12. Du LL: Blow-up for a degenerate reaction-diffusion system with nonlinear nonlocal sources. J. Comput. Appl. Math. 2007, 202: 237-247. 10.1016/j.cam.2006.02.028MathSciNetView ArticleGoogle Scholar
  13. Du LL, Mu CL, Fan MS: Global existence and non-existence for a quasilinear degenerate parabolic system with non-local source. Dyn. Syst. 2005, 20: 401-412. 10.1080/14689360500238818MathSciNetView ArticleGoogle Scholar
  14. Du LL, Yao ZA: Localization of blow-up points for a nonlinear nonlocal porous medium equation. Commun. Pure Appl. Anal. 2007, 6: 183-190.MathSciNetGoogle Scholar
  15. Fan MS, Mu CL, Du LL: Uniform blow-up profile for a nonlocal degenerate parabolic system. Appl. Math. Sci. 2007, 1: 13-23.MathSciNetGoogle Scholar

Copyright

© Fan et al.; licensee Springer. 2014

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.