Math. Model. Nat. Phenom. Vol. 8, No., 23, pp. 93 99 DOI:.5/mmnp/2384 Heat Transfer in a Medium in Which Many Small Particles Are Embedded A. G. Ramm Department of Mathematics Kansas State University, Manhattan, KS 6656-262, USA Abstract. The heat equation is considered in the complex system consisting of many small bodies (particles) embedded in a given material. On the surfaces of the small bodies a Newtontype boundary condition is imposed. An equation for the limiting field is derived when the characteristic size a of the small bodies tends to zero, their total number N(a) tends to infinity at a suitable rate, and the distance d = d(a) between neighboring small bodies tends to zero a << d. No periodicity is assumed about the distribution of the small bodies. Keywords and phrases: heat transfer, many-body problem Mathematics Subject Classification: 35K2, 35J5, 8M4, 8A2. Introduction Let many small bodies (particles) D m, m M, be distributed in a bounded domain D R 3, diamd m = 2a. The small bodies are distributed according to the law N( ) = a 2 κ N(x)dx[+o()],a. (.) Here D is an arbitrary open subdomain of D, κ (,) is a constant, N(x) is a continuous function, and N( ) is the number of the small bodies D m in. Let us assume that the boundaries of the bodies D m are C 2 smooth. The heat equation can be stated as follows: u t = 2 u+f(x) in R 3 \ M D m := Ω, u t= =, (.2) u N = ζ m u on, m M. (.3) Corresponding author. E-mail: ramm@math.ksu.edu c EDP Sciences, 23 Article published by EDP Sciences and available at http://www.mmnp-journal.org or http://dx.doi.org/.5/mmnp/2384
Here N is the outer unit normal to S := continuous function in D. M, ζ m = h(x m) a κ,x m D m, m M, where h(x) is a The aim of this paper is to establish a method for solving both theoretically and numerically the many-body heat transfer problem, and to derive an equation for the effective (self-consistent) field in the medium in which many small bodies (particles) are embedded. There is a large literature on homogenization theory which deals with similar problems, see []-[4] and the literature therein. In most cases it is assumed in the homogenization literature that the coefficients of the equations are periodic, and there is a small parameter in these coefficients, that the related problems in a periodic cell have discrete spectrum and are selfadjoint, that the elliptic estimates, such as Rellich and Poincare inequalities hold, etc. Our method, which was used in [5]-[9], differs in many respects from the homogenization theory methods developed in the literature: periodicity assumption is not used, the spectrum of the related elliptic problems that we use is continuous, the problems may be non-selfadjoint, and our justification of the limiting equation for the effective field is based on a new technique, namely, on convergence results for collocation methods (see, [7]). The published homogenization techniques are not directly applicable to our problem because of the lack of periodicity. The main results of this paper are: ) Derivation of the linear algebraic system (25) for finding the Laplace transform of the solution to problem (2)-(3), 2) Derivation of the equation (29) for the limiting effective field in the medium when the size of the small bodies tends to zero while the total number of these bodies tends to infinity according to the distribution law (), 3) Derivation of the formula (3) for the average temperature in the limiting medium. In Section 2 a derivation of these results is given, and in Section 3 proofs of some lemmas are given. 2. Derivation of the equation for the limiting effective field Denote Then, (.2) - (.3) imply Let U := U(x,) = e t u(x,t)dt. 2 U +U = f(x) in Ω, (2.) U N = ζ m U on, m M. (2.2) x y g(x,y) := g(x,y,) = e 4π x y, g(x,y)f(y)dy = F(x,). (2.3) R 3 Look for the solution to (2.) - (2.2) of the form U(x,) = F(x,)+ g(x,s)σ m (s)ds, U(x,) := U(x) := U, (2.4) where σ m are unknown and should be found from the boundary conditions (2.2). Equation (2.) is satisfied by U of the form (2.4) for any σ m. To satisfy (2.2) one has to solve equation U e (x) N + A mσ m σ m ζ m U e ζ m T m σ m = on, m M. (2.5) 2 Here U e (x) := U e,m (x) := U(x) g(x,s)σ m (s)ds, (2.6) 94
T m σ m = g(s,s )σ m (s )ds g(s,s ), A m σ m = 2 σ m (s )ds, (2.7) N S and the known formula for the outer limiting value on of the normal derivative of a simple layer potential was used. We now apply the ideas and methods for solving many-body scattering problems developed in [5] - [7]. Let us call U e,m the effective (self-consistent) value of U, acting on m-th body. As a, the dependence on m disappears, since g(x,s)σ m (s)ds as a. One has where and J 2 := U(x,) = F(x,)+ g(x,x m )Q m +J 2, x m D m, (2.8) Q m := σ m (s)ds, [g(x,s ) g(x,x m )]σ m (s )ds, J := g(x,x m )Q m. (2.9) We prove (in Section 3) that provided that J 2 << J as a (2.) lim a a =. (2.) d(a) where d(a) = d is the minimal distance between neighboring particles. If (2.) holds, then problem (2.) - (2.2) is solved asymptotically by the formula U(x,) = F(x,)+ g(x,x m )Q m, a, (2.2) provided that asymptotic formulas for Q m, as a, are found. To find formulas for Q m, let us integrate (2.5) over and estimate the order of the terms in the resulting equation as a. We get U e N ds = D m 2 U e dx = O(a 3 ). (2.3) Here we assumed that 2 U e = O(),a. This assumption will be justified in Section 2. A m σ m σ m ds = Q m [+o()], a. (2.4) 2 This relation is justified in Section 2. Furthermore, ζ m U e ds = ζ m U e (x m ) = O(a 2 κ ), a, (2.5) where = O(a 2 ) 95
is the surface area of. Finally, ζ m ds g(s,s S )σ m (s )ds = ζ m ds σ m (s ) dsg(s,s ) m Thus, the main term of the asymptotics of Q m is Formulas (2.7) and (2.2) yield and Denote U(x,) = F(x,) U e (x m,) = F(x m,) and write (2.9) as a linear algebraic system where = Q m O(a κ ), a. (2.6) Q m = ζ m U e (x m ). (2.7) g(x,x m )ζ m U e (x m,), (2.8) m m,m = U e (x m,) := U m, F(x m,) := F m, g(x m,x m ) := g mm, U m = F m a 2 κ m m g(x m,x m )ζ m U e (x m,). (2.9) g mm h m c m U m, m M, (2.2) h m = h(x m ), ζ m = h m a κ, c m := a 2. Consider a partition of the bounded domain D, in which the small bodies are distributed, into a union of P << M small nonintersecting cubes p, p P, of side b >> d, b = b(a) as a. Let x p p, p = volume of p. One has a 2 κ M m =,m m g mm h m c m U m = a 2 κ P p =,p p g pp h p c p U p x m p = = p pg pp h p c p U p N(x p ) p [+o()], a. (2.2) Thus, (2.2) yields We have assumed that P U p = F p g pp h p c p N p U p p, p P (2.22) p p,p = h m = h p [+o()], c m = c p [+o()], U m = U p [+o()], a, (2.23) for x m p. This assumption is justified if the functions h(x),u(x,), c(x) = lim x m x,a a 2, 96
and N(x) are continuous. The function h(x) and N(x) are continuous by the assumption. The continuity of the U(x,) is proved in Section 3, and the continuity of c(x) is assumed. If all the small bodies are identical, then c(x) = c = const. The sum in the right-hand side of (2.22) is the Riemannian sum for the integral lim a P p =,p p g pp h p c p N(x p )U p = D g(x, y)h(y)c(y)n(y)u(y, )dy (2.24) Therefore, linear algebraic system (2.22) is a collocation method for solving integral equation U(x,) = F(x,) g(x, y)h(y)c(y)n(y)u(y, )dy. (2.25) D Convergence of this method for solving equations with weakly singular kernels is proved in [8]. Applying the operator 2 + and then taking the inverse Laplace transform of (2.25) yields u t = u+f(x) q(x)u, q(x) := h(x)c(x)n(x). (2.26) One concludes that the limiting equation for the temperature contains the term q(x)u. Thus, the embedding of many small particles creates a distribution of source and sink terms in the medium, the distribution of which is described by the term q(x)u. If one solves equation (2.25) for U(x,), or linear algebraic system (2.22) for U p (), then one can Laplaceinvert U(x,) for U(x,t). Numerical methods for Laplace inversion from the real axis are discussed in [9] - []. If one is interested only in the average temperature, one can use the relation T lim u(x,t)dt = lim U(x,) := ψ(x). (2.27) T T Relation (2.27) is proved in Section 3, which holds if the limit on one of its sides exists. The limit on the right-hand side of (2.27) can be calculated by the formula ψ(x) = (I +B) ϕ, ϕ = f(y)dy. (2.28) 4π x y Here, B is the operator Bψ := q(y)ψ(y) dy, q(x) := h(x)c(x)n(x). 4π x y From the physical point of view the function h(x) is non-positive because the flux u of the heat flow is proportional to the temperature u and is directed along the outer normal N: u N = h u, where h = h >. Thus, q. It is proved in [] - [2] that zero is not an eigenvalue of the operator 2 +q(x) provided that q(x) and q = O ( x 2+ǫ ) as x,ǫ >. In our case, q(x) = outside D, so the operator (I +B) exists and is bounded in C(D). Let us formulate the basic result we have proved. Theorem 2.. Assume (.), (2.), and h. Then, there exists the limit U(x,) of U e (x,) as a, U(x,) solves equation (2.25), and there exists the limit (2.27), where ψ(x) is given by formula (2.28). 97
3. Proofs of some lemmas Lemma 3.. Assume (2.). Then relation (2.) holds. Proof. One has ( Qm e x x x m ) J,m := g(x,x m )Q = O 4π x x m J 2,m := where x x m 2, and the inequality e Q m x x m, x x m d. (3.) e Sm x xm ( ) ( ) a, 4π x x m max a σ m (s ) ds Qm a O x x m x x m 2, (3.2) max ( e x xm ) e x x m was used. The Q m. In fact, σ m keeps sign on, as follows from equation (2.5) as a. It follows from (3.) - (3.2) that ( ) ( ) J 2,m J,m O a a x x m O <<. (3.3) d From (3.3) by the arguments similar to the given in [3] one obtains (2.). Lemma 3.2. Relation (2.4) holds. Proof. Let us justify relation (2.4). As a, one has It is known (see [5]) that ds e s s N s 4π s s = N s 4π s s + e s s N s 4π s s. (3.4) On the other hand, as a, one has e ds Sm s s 4π s s N s 4π s s σ m(s )ds = σ m (s )ds = Q m. (3.5) σ m (s )ds Q m s s ds Sm e 4π s s = o(q m ). (3.6) The relations (3.5) and (3.6) justify (2.4). Lemma 3.3. Relation (2.27) holds. Proof. Denote Then t t u(t)dt := v(t), ū(σ) := v() = ū(σ) σ dσ e σt u(t)dt. by the properties of the Laplace transform. Assume that the limit v( ) := v exists: lim v(t) = v. (3.7) t 98
Then, Indeed, so and (3.7) is verified. One has v = lim lim lim v() = lim Let us check this: lim = lim σū(σ)dσ where we have used the relation σ2dσ =. Alternatively, let σ = γ. Then, σ 2σū(σ)dσ = / e t v(t)dt = lim v(). e t dt =, e t (v(t) v )dt =, = lim ū(). (3.8) σū(σ)dσ / If, then ω =, and if ψ := γ ū(γ ), then References lim ω ω ω σ2σū(σ)dσ = lim σū(σ), (3.9) σ γū( γ )dγ = ω ω γū( )dγ. (3.) γ ψdγ = ψ( ) = lim γ γ ū(γ ) = lim σ σū(σ). (3.) [] V. Jikov, S. Kozlov, O. Oleinik. Homogenization of differential operators and integral functionals. Springer, Berlin, 994. [2] V. Marchenko, E. Khruslov. Homogenization of partial differential equations. Birkhäuser, Boston, 26. [3] D. Gioranescu, P. Donato. An introduction to homogenization. Oxford Univ. Press, Oxford, 999. [4] A. Bensoussan, J.-L.Lions, G. Papanicolau. Asymptotic analysis for periodic structures. AMS Chelsea Publishing, Providence, RI, 2. [5] A. G. Ramm. Wave scattering by small bodies of arbitrary shapes. World Sci. Publishers, Singapore, 25. [6] A.G.Ramm. Inverse problems. Springer, New York, 25. [7] A.G.Ramm. Wave scattering by many small bodies and creating materials with a desired refraction coefficient. Afrika Matematika, 22, No., (2), 33 55. [8] A.G.Ramm. A collocation method for solving integral equations. Internat. Journ. Comp. Sci and Math., 3, No. 2, (29), 222 228. [9] A.G.Ramm. Inversion of the Laplace transform from the real axis. Inverse problems, 2, (986), L55 59. [] A.G.Ramm, S.Indratno. Inversion of the Laplace transform from the real axis using an adaptive iterative method. Internat. Jour. Math. Math. Sci (IJMMS). Vol. 29, Article 89895, 38 pages. [] A.G.Ramm. Sufficient conditions for zero not to be an eigenvalue of the Schrödinger operator. J. Math. Phys., 28, (987), 34 343. [2] A.G.Ramm. Conditions for zero not to be an eigenvalue of the Schrödinger operator. J. Math. Phys. 29, (988), 43 432. [3] A.G.Ramm. Many-body wave scattering by small bodies and applications. J. Math. Phys., 48, No., (27), 35. [4] A.G.Ramm. Wave scattering by many small particles embedded in a medium. Phys. Lett. A, 372/7, (28), 364 37. [5] A.G.Ramm. A method for creating materials with a desired refraction coefficient. Internat. Journ. Mod. Phys B, 24, No. 27, (2), 526 5268. [6] A.G.Ramm. Materials with a desired refraction coefficient can be created by embedding small particles into a given material. International Journal of Structural Changes in Solids (IJSCS), 2, No. 2, (2), 7 23. [7] A.G.Ramm. Distribution of particles which produces a smart material. Jour. Stat. Phys., 27, No. 5, (27), 95 934. [8] A.G.Ramm. Scattering of scalar waves by many small particles. AIP Advances,, (2), 2235. [9] A.G.Ramm. Scattering of electromagnetic waves by many small cylinders. Results in Physics,, No., (2), 3 6. 99