Homogenization of the Neumann-Fourier Problem in a Thick Two-Level Junction of Type 3:2:1

We consider a mixed boundary-value problem for the Poisson equation in a two-level junction " which is the union of a domain Ω₀ and a large number of thin cylinders with cross-section of order O(ε²): The thin cylinders are divided into two levels depending on their lengths. In addition, the t...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2006
Автори: Mel'nyk, T.A., Vashchuk, P.S.
Формат: Стаття
Мова:English
Опубліковано: Фізико-технічний інститут низьких температур ім. Б.І. Вєркіна НАН України 2006
Назва видання:Журнал математической физики, анализа, геометрии
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/106622
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Homogenization of the Neumann-Fourier Problem in a Thick Two-Level Junction of Type 3:2:1 / T.A. Mel`nyk, P.S. Vashchuk // Журнал математической физики, анализа, геометрии. — 2006. — Т. 2, № 3. — С. 318-337. — Бібліогр.: 37 назв. — англ.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-106622
record_format dspace
spelling irk-123456789-1066222016-10-06T00:24:50Z Homogenization of the Neumann-Fourier Problem in a Thick Two-Level Junction of Type 3:2:1 Mel'nyk, T.A. Vashchuk, P.S. We consider a mixed boundary-value problem for the Poisson equation in a two-level junction " which is the union of a domain Ω₀ and a large number of thin cylinders with cross-section of order O(ε²): The thin cylinders are divided into two levels depending on their lengths. In addition, the thin cylinders from each level are ε-periodically alternated. The nonuniform Neumann conditions are given on the lateral sides of the thin cylinders from the rst level and the uniform Fourier conditions are given on the lateral sides of the thin cylinders from the second level. We study the asymptotic behavior of the solution as ε → 0: The convergence theorem and the convergence of the energy integral are proved. 2006 Article Homogenization of the Neumann-Fourier Problem in a Thick Two-Level Junction of Type 3:2:1 / T.A. Mel`nyk, P.S. Vashchuk // Журнал математической физики, анализа, геометрии. — 2006. — Т. 2, № 3. — С. 318-337. — Бібліогр.: 37 назв. — англ. 1812-9471 http://dspace.nbuv.gov.ua/handle/123456789/106622 en Журнал математической физики, анализа, геометрии Фізико-технічний інститут низьких температур ім. Б.І. Вєркіна НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language English
description We consider a mixed boundary-value problem for the Poisson equation in a two-level junction " which is the union of a domain Ω₀ and a large number of thin cylinders with cross-section of order O(ε²): The thin cylinders are divided into two levels depending on their lengths. In addition, the thin cylinders from each level are ε-periodically alternated. The nonuniform Neumann conditions are given on the lateral sides of the thin cylinders from the rst level and the uniform Fourier conditions are given on the lateral sides of the thin cylinders from the second level. We study the asymptotic behavior of the solution as ε → 0: The convergence theorem and the convergence of the energy integral are proved.
format Article
author Mel'nyk, T.A.
Vashchuk, P.S.
spellingShingle Mel'nyk, T.A.
Vashchuk, P.S.
Homogenization of the Neumann-Fourier Problem in a Thick Two-Level Junction of Type 3:2:1
Журнал математической физики, анализа, геометрии
author_facet Mel'nyk, T.A.
Vashchuk, P.S.
author_sort Mel'nyk, T.A.
title Homogenization of the Neumann-Fourier Problem in a Thick Two-Level Junction of Type 3:2:1
title_short Homogenization of the Neumann-Fourier Problem in a Thick Two-Level Junction of Type 3:2:1
title_full Homogenization of the Neumann-Fourier Problem in a Thick Two-Level Junction of Type 3:2:1
title_fullStr Homogenization of the Neumann-Fourier Problem in a Thick Two-Level Junction of Type 3:2:1
title_full_unstemmed Homogenization of the Neumann-Fourier Problem in a Thick Two-Level Junction of Type 3:2:1
title_sort homogenization of the neumann-fourier problem in a thick two-level junction of type 3:2:1
publisher Фізико-технічний інститут низьких температур ім. Б.І. Вєркіна НАН України
publishDate 2006
url http://dspace.nbuv.gov.ua/handle/123456789/106622
citation_txt Homogenization of the Neumann-Fourier Problem in a Thick Two-Level Junction of Type 3:2:1 / T.A. Mel`nyk, P.S. Vashchuk // Журнал математической физики, анализа, геометрии. — 2006. — Т. 2, № 3. — С. 318-337. — Бібліогр.: 37 назв. — англ.
series Журнал математической физики, анализа, геометрии
work_keys_str_mv AT melnykta homogenizationoftheneumannfourierprobleminathicktwoleveljunctionoftype321
AT vashchukps homogenizationoftheneumannfourierprobleminathicktwoleveljunctionoftype321
first_indexed 2025-07-07T18:47:16Z
last_indexed 2025-07-07T18:47:16Z
_version_ 1837015015095271424
fulltext Journal of Mathematical Physics, Analysis, Geometry 2006, vol. 2, No. 3, pp. 318�337 Homogenization of the Neumann�Fourier Problem in a Thick Two-Level Junction of Type 3:2:1 T.A. Mel'nyk, P.S. Vashchuk Faculty of Mathematics and Mechanics, Taras Shevchenko Kyiv National University 64 Volodymyrska Str., Kyiv, 01033, Ukraine E-mail:melnyk@imath.kiev.ua; pavel_vaschuk@ukr.net Received November 18, 2005 We consider a mixed boundary-value problem for the Poisson equation in a two-level junction " which is the union of a domain 0 and a large num- ber of thin cylinders with cross-section of order O("2): The thin cylinders are divided into two levels depending on their lengths. In addition, the thin cylinders from each level are "-periodically alternated. The nonuniform Neu- mann conditions are given on the lateral sides of the thin cylinders from the �rst level and the uniform Fourier conditions are given on the lateral sides of the thin cylinders from the second level. We study the asymptotic behavior of the solution as " ! 0: The convergence theorem and the convergence of the energy integral are proved. Key words: homogenization, multi-level junctions, asymptotic behavior of solutions. Mathematics Subject Classi�cation 2000: 35B27, 35J25, 35C20, 35B25. 1. Introduction and Statement of the Main Result Asymptotic methods for the investigation of boundary-value problems in do- mains with complex dependence on a small parameter (perforated domains, par- tially perforated domains, skeleton structures, and thin domains) were considered in numerous papers (see, e.g., [1]�[14]) and the references therein). Boundary- value problems in thick singularly degenerating junctions (the number of compo- nents of such junctions increases in�nitely if the perturbation parameter " tends to zero) have speci�c di�culties and deserve special attention. As shown in [15], boundary-value problems in thick singularly degenerating junctions lose coerci- tivity as "! 0, that essentially complicates asymptotic researches. It is necessary to note that boundary-value problems in domains with quickly oscillating boundaries, when ratio of the amplitude to the period of the oscillation c T.A. Mel'nyk, P.S. Vashchuk, 2006 Homogenization of the Neumann�Fourier Problem is bounded or in�nitesimal quantity as the period of the oscillation tends to zero, have no such asymptotic di�culties and properties (see, e.g., [13, 16]). For thick junctions this ratio tends to in�nity. The �rst works in this direction were papers [17]�[19] in which the asymptotic behavior of the Green function of the Neumann problem for the Helmholtz equa- tion in an unbounded thick junction was studied. In [20]�[30] thick singularly degenerating junctions were classi�ed, asymptotic methods for the investigation of the main boundary-value problems of mathematical physics in thick junctions of di�erent types were developed, the convergence theorems were proved, the �rst terms of asymptotic expansions were constructed, the corresponding estimates were proved, and the in�uence of boundary conditions given at the boundaries of thick junctions and the geometric con�guration of thick junctions on the asymp- totic behavior of solutions was investigated. A thick junction " of type k : p : d is a domain in Rn which consists of some domain 0 and a large number of "-periodically situated thin domains along some manifold on the boundary of 0: This manifold is called the joint zone and the domain 0 is called the junction's body. Here " is a small parameter which characterizes the distance between the neighboring thin domains and their thicknesses. In general, the junction's body and the joint zone can depend on " as well. The type k : p : d of a thick junction refers to the limiting dimensions of the body, the joint zone, and each of the attached thin domains respectively. These thick junctions are the prototypes of widely used engineering construc- tions, industrial installations, spaceship grids as well as of other physical and biological systems with very distinct characteristic scales. The aim of researches is to develop rigorous asymptotic methods for boundary- value problems in thick junctions as the parameter " goes to 0; i.e., when the number of the attached thin domains in�nitely increases and their thicknesses tend to zero. In the present paper we consider a new kind of thick junctions, namely, thick multi-level junctions. A thick multi-level junction is a thick junction in which the thin domains are divided into �nitely many levels depending on their lengths. In addition the thin domains from each level are "-periodically alternated along the joint zone. For the �st time the problem in a plane two-level junction was considered in [31] where the asymptotic behavior of eigenvalues and eigenfunctions of the spec- tral problem was studied (the full proofs were published in [32]). In [33], with the help of special extension operators, a convergence theorem was proved for a so- lution to the Poisson equation in a plane two-level junction with homogeneous Fourier boundary conditions at the boundaries of thin rods. In [34] the authors proved the convergence theorem and the convergence of the energy integral for a solution to the Poisson equation in a plane two-level junction with "-periodically Journal of Mathematical Physics, Analysis, Geometry, 2006, vol. 2, No. 3 319 T.A. Mel'nyk, P.S. Vashchuk alternated boundary Neumann and Dirichlet conditions at the boundaries of thin rods from the �rst and the second levels respectively. In [35], with the method of matched asymptotic expansions being used, the �rst terms of the asymptotic expansion of a solution to a boundary-value problem with minimum smoothness conditions imposed on the right-hand side were constructed and asymptotic esti- mates in the Sobolev space H1( ") as " ! 0 were proved. It should be noted that these plain thick multi-level junctions have type 2 : 1 : 1 according to the classi�cation given in [20]�[30]. In the present paper we study the asymptotic behavior of a solution to a mixed boundary-value problem in the three-dimensional thick two-level junction of type 3 : 2 : 1 and investigate the in�uence of boundary conditions on the asymptotic behavior. In particular, the inhomogeneous Neumann boundary conditions are given on the lateral sides of the thin cylinders from the �rst level and the ho- mogeneous Fourier boundary conditions are given on the lateral sides of the thin cylinders from the second level. Besides, the thin cylinders from the �rst and from the second levels have both more dense packing on the cell of the joining. Thus, except special perturbation of the domain, the boundary conditions are "-periodically changed in the problem. 1.1. Statement of the Problem Let B be the �nite union of smooth plane domains which are not crossed and touched. In addition, the set B is strongly situated in the square f(�1; �2) : 0 < �1 < 1; 0 < �2 < 1g: Let us divide B into two classes: B(1) = K1S k=1 B (1) k and B (2) = K2S k=1 B (2) k (see. Fig. 1). x 1 2 0 11 x B B (2) (1) Figure 1. 320 Journal of Mathematical Physics, Analysis, Geometry, 2006, vol. 2, No. 3 Homogenization of the Neumann�Fourier Problem A model thick two-level junction " consists of the junction's body 0 = fx 2 R3 : x0 = (x1; x2) 2 Q; 0 < x3 < (x0)g; where Q = (0; a) � (0; a); 2 C 1(Q); min x02Q (x0) = 0 > 0; and a large number of the thin cylinders G (1) " = N�1[ i;j=0 K1[ k=1 n x : ("�1x1 � i; " �1 x2 � j) 2 B(1) k ; x3 2 (�d1; 0] o! ; G (2) " = N�1[ i;j=0 K2[ k=1 n x : ("�1x1 � i; " �1 x2 � j) 2 B(2) k ; x3 2 (�d2; 0] o! : Here N is a large natural number, " = a=N is a small discrete parameter that characterizes the distance between nearby thin cylinders and their thicknesses; 0 < d2 � d1: Thus, " = 0 S G (1) " S G (2) " : The thin cylinders are divided into two levels G (1) " and G (2) " depending on their lengths, and they are "-periodically alternated along the Ox1-direction and Ox2-direction and they are joined with 0 over the "-homothetic images "(i+j+B (1) k ); i; j = 0; 1; : : : ; N�1; k = 1; : : : ;K1; and "(i + j +B (2) k ); i; j = 0; 1; : : : ; N � 1; k = 1; : : : ;K2; of the classes B (1) and B (2) respectively. The cell of alternation is shown on Fig. 2. x x x 1 2 3 � � Figure 2. Journal of Mathematical Physics, Analysis, Geometry, 2006, vol. 2, No. 3 321 T.A. Mel'nyk, P.S. Vashchuk In " we consider the following problem ��u"(x) = f"(x); x 2 "; @�u"(x) = "g"(x); x 2 S(1)" ; @�u"(x) = �"k0u"(x); x 2 S(2)" ; @�u"(x) = 0; x 2 @ "n(S(1)" [ S(2)" ); (1) where @� = @=@� is the outward normal derivative, S (i) " ; i = 1; 2 are the unions of the lateral surfaces of the thin cylinders from the level G (i) " . Without loss of generality, we can assume that f" 2 L 2( 1) where 1 = 0 [ D1, D1 = Q � (�d1; 0): Analogously we de�ne D2 = Q � (�d2; 0) and 2 = 0 [D2: Assume that f" �! f0 in L 2( 1) as "! 0: (2) We also suppose that the function g" and its generalized derivatives with respect to x1 and x2 belong to L2(D1) and 9 C0 > 0 8 " > 0 k@xmg"kL2(D1) � C0; m = 1; 2; g" �! g0 in L 2(D1) as "! 0: (3) The function u" 2 H1( ") is called a generalized solution to problem (1) if it satis�es the integral identityZ " ru" �r'dx+ "k0 Z S (2) " u"'d�x = Z " f"'dx+ " Z S (1) " g"'d�x 8' 2 H1( "): (4) It follows from the fundamental statements of the theory of boundary-value problems that for every �xed value " > 0 there exists a unique generalized solution to problem (1). The aim of the present paper is to study the asymptotic behavior of the solution to problem (1) as " ! 0; i.e., as the number of thin cylinders increases in�nitely and their thicknesses tend to zero, and to investigate the in�uence of the alternation of the boundary Neumann and the Fourier conditions on the asymp- totic behavior of the solution. 1.2. Features of Investigation and Formulation of the Main Result For Neumann boundary-value problems in perturbed domains E.Ya. Khruslov introduced the notion of strongly connected domains D� depending on a small parameter �: This means that we suppose the existence of an extension operator 322 Journal of Mathematical Physics, Analysis, Geometry, 2006, vol. 2, No. 3 Homogenization of the Neumann�Fourier Problem from H 1(D�) into H 1(Rn) uniformly bounded with respect to �: Later, D. Cio- ranescu, J. Saint Jean Paulin, O.A. Oleinik, G.A. Iosif'yan, and A.S. Shamaev (see, e.g., [4, 10]) proved the existence of the extension operators and proposed a procedure for their construction in perforated domains of an �-periodic structure. Uniformly bounded extension operators play a very important role in the investi- gation of boundary-value problems in the domains with complex dependence on a small parameter. However, as it was shown in [20]�[29], thick junctions do not belong to the class of strongly connected (as well as weakly connected) domains, i.e., for these domains there are no extension operators that would be bounded uniformly with respect to the parameter " in the corresponding Sobolev spaces. This is one of the main speci�c features of investigation of boundary-value problems in thick junc- tions. In [20]�[29] the procedures were developed for the construction of special extension operators preserving the class of a space for solutions of boundary-value problems in thick junctions of di�erent types and with the help of these operators the asymptotic behavior of solutions was studied and convergence theorems were proved. Later, in [36] where the homogeneous Neumann boundary-value problem in a thick one-level junction was studied, it was shown that if the boundaries of thin cylinders are rectilinear along the Ox3-axis, then the solution of the boundary- value problem can be extended by zero to prove the convergence theorem. This is explained by the fact that due to the rectilinearity of the boundaries of cylinders this extension preserves the generalized derivative with respect to x3: We use this fact in the present paper. However, for thick two-level junctions it is necessary to construct two special operators of zero extension into two di�erent domains. In the case, when the thin cylinders of a thick two-level junction are of variable thickness, it is necessary to construct special extension operators (for the thick plane two-level junctions it was made in [33]). To formulate the main result we introduce the following operations of extension by zero for functions from the space H1( "): ey"(1)(x) = ( y"; x 2 0 [G(1) " ; 0; x 2 D1 nG(1) " ; ey"(2)(x) = ( y"; x 2 0 [G(2) " ; 0; x 2 D2 nG(2) " ; (5) where D1 = Q� (�d1; 0) and D2 = Q� (�d2; 0) are parallelepipeds �lled up with thin cylinders of the �rst and the second levels respectively in the limit passage as "! 0. It is obvious that ey"(1) and ey"(2) belong to the anisotropic Sobolev spaces W 0;1(Di) = � v 2 L2(Di) : there exists a generalized derivative @x3v 2 L2(Di) , i = 1; 2. Journal of Mathematical Physics, Analysis, Geometry, 2006, vol. 2, No. 3 323 T.A. Mel'nyk, P.S. Vashchuk Theorem 1. The solution u" to problem (1) satis�es the following relations u" w�! v + 0 in H 1( 0);eu"(1) w�! jB(1)j v(1;�)0 in W 0;1(D1);eu"(2) w�! jB(2)j v(2;�)0 in W 0;1(D2); 9>=>; as "! 0; where v0(x) = 8><>: v + 0 (x); x 2 0; v (1;�) 0 (x); x 2 D1; v (2;�) 0 (x); x 2 D2; (6) is a solution of the following problem ��v+0 (x) = f0(x); x 2 0; @�v + 0 (x) = 0; x 2 @ 0nQ; �jB(1)j @2 x3 v (1;�) 0 (x) = jB(1)j f0(x) + l (1) g0(x); x 2 D1; @x3v (1;�) 0 (x0;�d1) = 0; x 0 2 Q: �jB(2)j @2 x3 v (2;�) 0 (x) + k0l (2)jB(2)jv(2;�)0 (x) = jB(2)j f0(x); x 2 D2; @x3v (2;�) 0 (x0;�d2) = 0; x 0 2 Q: v (1;�) 0 (x0; 0) = v (2;�) 0 (x0; 0) = v + 0 (x 0 ; 0); x 0 2 Q: jB(1)j@x3v (1;�) 0 (x0; 0) + jB(2)j@x3v (2;�) 0 (x0; 0) = @x3v + 0 (x 0 ; 0); x 0 2 Q: (7) Here jB(i)j = KiP k=1 jB(i) k j; l(i) = KiP k=1 l (i) k ; where jB(i) k j; l(i) k are the area and the perime- ter of the plane domain B (i) k respectively, i = 1; 2. 2. Auxiliary Asymptotic Estimates Investigation of the boundary-value problems in thick junctions with inhomo- geneous Neumann, Fourier, or Steklov boundary conditions on the boundaries of the attached thin domains encounters special di�culties. In [37, 26, 27, 28] for the homogenization of these boundary-value problems there was suggested a new approach with the special integral identities being used. For problem (1) this will be integral identities (9). Analogously as in [26], for the 1-periodic extensions with respect to �1 and �2 of solutions Y (i) k ; k = 1; : : : ;Ki 324 Journal of Mathematical Physics, Analysis, Geometry, 2006, vol. 2, No. 3 Homogenization of the Neumann�Fourier Problem of the following problems ��Y (i) k (�) = l (i) k jB(i) k j�1; � = (�1; �2) 2 B(i) k ; @�(�)Y (i) k (�) = 1; � 2 @B(i) k ;R B (i) k Y (i) k (�)d� = 0; (8) we prove " Z S (i) " v d�x = KiX k=1 l (i) k jB(i) k j 0Z �di Z N�1S i;j=0 "(i+j+B (i) k ) v dx 0 dx3 + " KiX k=1 0Z �di Z N�1S i;j=0 "(i+j+B (i) k ) r�Y (i) k j �=x0 " � rx0 v dx 0 dx3 8 v 2 H1 � G (i) " � ; i = 1; 2: (9) From (9) it follows that for any function v2 2 H1 � G (i) " � c Z G (i) " v 2 dx � " Z S (i) " v 2 d�x + " KiX k=1 0Z �di Z N�1S i;j=0 "(i+j+B (i) k ) jr�Y (i) k j � jrx0 (v 2)j dx0dx3; where c = minfl(i) k =jB(i) k jg: Taking into account that sup �2B (i) k jr�Y (i) k j � ck; we obtain the following identities Z G (i) " v 2 dx � C0" 0B@ Z S (i) " v 2 d�x + Z G (i) " jrx0(v 2)j dx 1CA ; i = 1; 2: (10) In the Sobolev space H1 along with the norm kukH1( ") = �R " (jruj2 + u 2)dx � 1 2 ; we introduce a new norm k � k" generated by the scalar product (u; v)" = Z " ru � rv dx+ "k0 Z S (2) " uv d�x 8u; v 2 H1( "): Journal of Mathematical Physics, Analysis, Geometry, 2006, vol. 2, No. 3 325 T.A. Mel'nyk, P.S. Vashchuk Lemma 1. The norms k � k" and k � kH1( ") are uniformly equivalent, i.e., there exist constants C1 > 0; C2 > 0 and "0 > 0 such that for any " 2 (0; "0) and u 2 H1( ") the following relations hold C1kukH1( ") � kuk" � C2kukH1( "): (11) P r o o f. The right inequality in (11) follows from the inequality " Z S (i) " v 2 d�x � C3 � Z G (i) " v 2 dx+ " 2 Z G (i) " jrvj2 dx � 8 v 2 H1 � G (i) " � ; i = 1; 2; (12) which was proved in [26]. Let us prove the left inequality in (11). Using (9) and (10) we get kuk2 H1( ") = Z 0 jruj2 dx+ Z 0[G (1) " u 2 dx+ Z G (2) " u 2 dx � Z 0 jruj2 dx+ Z 0[G (1) " u 2 dx + "C0 Z S (2) " u 2 d�x + "C0 Z G (i) " j2urx0 uj dx0dx3; whence kuk2 H1( ") � c1kuk2" + Z 0[G (1) " u 2 dx: (13) Now let us show that there exists a positive constant c2 such that for " small enough Z 0[G (1) " u 2 dx � c2kuk2" 8u 2 H1( "): (14) We argue by contradiction. If not, then there exist sequences f"n : n 2 Ng and fv"ng 2 H1( "n) such that lim n!1 "n = 0;Z 0[G (1) "n v 2 "n dx = 1; (15) kv"nk2"n = Z "n jrv"n j2 dx+ "k0 Z S (2) "n v 2 "n d�x < 1 n 8n 2 N: (16) 326 Journal of Mathematical Physics, Analysis, Geometry, 2006, vol. 2, No. 3 Homogenization of the Neumann�Fourier Problem Since the sequence fv"ng is bounded inH1( 0); there exists a subsequence that is fundamental in L2( 0): Denote this subsequence again by fv"ng: Furthermore, kv"n � v"mk2H1( 0) � kv"n � v"mk2L2( 0) + 2krv"nk2L2( 0) + 2krv"mk2L2( 0) � kv"n � v"mk2L2( 0) + 2 n + 2 m ! 0 as n;m!1: Hence fv"ng is fundamental in H1( 0) and therefore it converges to an element v0 2 H 1( 0): Using relation (16) we get R 0 jrv0j2 dx = 0; which implies that v0 = const in H1( 0): Taking into account properties of the trace operator, we conclude that v"n �� x3=0 s�! v0 � const in L 2(Q) as n!1: (17) From (16) and (10) it follows that Z B (2) "n v 2 "n (x0; 0) dx0 � c6 0BB@ Z G (2) "n jrv"n j2 dx+ Z G (2) "n v 2 "n dx 1CCA �! 0; n!1; (18) where B (2) "n = N�1S i;j=0 � K2S k=1 "n(i+ j +B (2) k ) � : Consider 1-periodic function �2(�); � 2 R2 which is de�ned in the square [0; 1]2 as follows: �2(�) = ( 1; � 2 B(2) ; 0; � 2 [0; 1]2 nB(2) : It is easy to verify that �2 � x 0 " � w�! jB(2)j in L 2([0; 1]2) as "! 0; (19) where jB(2)j denotes the Lebesgue measure of B(2) : Using relations (17) and (19) we obtainZ B (2) "n v 2 "n (x0; 0) dx0 = Z Q �2 � x 0 "n � v 2 "n (x0; 0) dx0 �! jB(2)j Z Q v 2 0 dx 0 ; n!1: On the other hand, according to (18) we have jB(2)j Z Q v 2 0 dx 0 = 0: (20) Journal of Mathematical Physics, Analysis, Geometry, 2006, vol. 2, No. 3 327 T.A. Mel'nyk, P.S. Vashchuk Since v0 � const in 0; it follows from (20) that v0 � 0 almost everywhere in 0: Let us �nd the limit of R G (1) "n v 2 "n (x) dx as n ! 1. According to (17) and (20) we getZ B (1) "n v 2 "n (x0; 0) dx0 = Z Q �1 � x 0 "n � v 2 "n (x0; 0) dx0 �! 0 as n!1; (21) where B (1) "n = N�1S i;j=0 � K1S k=1 "n(i+ j +B (1) k ) � and �1(�); � 2 R2 ; is 1-periodic function which is de�ned in the square [0; 1]2 as follows �1(�) = ( 1; � 2 B(1) ; 0; � 2 [0; 1]2 n B(1) : The inequalityZ G (1) "n v 2 "n (x) dx � 2d21 Z G (1) "n jrv"n j2 dx+ 2d1 Z B (1) "n v 2 "n (x0; 0) dx0 and relations (16) , (21) yield that kv"nk2 L2 � G (1) "n � �! 0 as n!1: Thus kv"nk2 L2 � 0[G (1) "n � �! 0 as n !1: However, this is at variance with (15). This contradiction establishes estimate (14). Now, by virtue of (13) and (14), we obtain the left inequality in (11). The lemma is proved. R e m a r k 1. Here and in what follows, all constants ci and Ci in inequalities are independent of ": Let us prove uniform estimates for the solution of problem (1). Setting ' = u" in the integral identity (4) and using (12) we obtain ku"k2" � C4 � kf"kL2( ") + p "kg"k L2 � S (1) " �� ku"kH1( "): Taking Lemma 1 into account we get ku"kH1( ") � C5 � kf"kL2( ") + p "kg"k L2 � S (1) " �� : (22) Assuming (3) and using the integral identity (9) we deduce the following inequality p "kg"k L2 � S (1) " � � C6: (23) Thus, taking into account this inequality and relation (2) we conclude from (22) that there exist constant C7 > 0 and "0 > 0 such that for all " 2 (0; "0) ku"kH1( ") � C7: (24) 328 Journal of Mathematical Physics, Analysis, Geometry, 2006, vol. 2, No. 3 Homogenization of the Neumann�Fourier Problem 3. Proof of the Convergence Theorem 1. We extend the solution u" by zero (see (5)). Since the boundaries of the thin cylinders are rectilinear, we get eu"(1) 2 W 0;1(D1) and eu"(2) 2 W 0;1(D2). Furthermore, @x3 � eu"(1)� = @̂x3u" (1) ; @x3 � eu"(2)� = @̂x3u" (2) : (25) Let us �nd the limits of the extensions for the solution u": Using relation (24) we conclude that the quantities ku"kH1( 0); k eu"(1)kW 0;1(D1); k eu"(2)kW 0;1(D2) are uniformly bounded with respect to ": Hence, there exists a subsequence f"0g � f"g; again denoted by " such that u" w�! v + 0 in H 1( 0);eu"(1) w�! jB(1)jv(1;�)0 in W 0;1(D1);eu"(2) w�! jB(2)jv(2;�)0 in W 0;1(D2); @̂xmu" (1) w�! (1) m in L 2(D1); m = 1; 2; 3; @̂xmu" (2) w�! (2) m in L 2(D2); m = 1; 2; 3; 9>>>>>>>=>>>>>>>; as "! 0; (26) where v+0 ; v (i;�) 0 ; (i) m ; i = 1; 2, m = 1; 2; 3, are certain functions which will be determined in what follows. Let us determine (i) 3 ; i = 1; 2: Consider an arbitrary function 2 C 1 0 (Di): Using (25) we getZ Di @̂x3u" (i) dx = Z Di @x3 eu"(i) dx = � Z Di eu"(i) @x3 dx 8 2 C10 (Di); i = 1; 2: Passing to the limit as "! 0 in this equality we obtainZ Di (i) 3 dx = �jB(i)j Z Di v (i;�) 0 @x3 dx 8 2 C10 (Di); (27) which implies that (i) 3 = jB(i)j@x3v (i;�) 0 almost everywhere in Di; i = 1; 2: Let us determine (i) m ; i = 1; 2; m = 1; 2: Let (b (i) 1 (k); b (i) 2 (k)) be the geometric center of gravity of the domain B (i) k (k = 1; : : : Ki): Consider the functions Z (i) m;k (�m) = ��m + b (i) m (k) + [�m]; k = 1; : : : Ki; i = 1; 2; m = 1; 2; where [t] is the integer part of t: With the help of this functions we determine the following test function �(1) m (x) = ( 0; x 2 0 S G (2) " ; "Z (1) m;k � xm " � (x); x 2 G(1) " (k); k = 1; : : : ;K1; m = 1; 2; Journal of Mathematical Physics, Analysis, Geometry, 2006, vol. 2, No. 3 329 T.A. Mel'nyk, P.S. Vashchuk 8 2 C10 (D1); �(2) m (x) = ( 0; x 2 0 S G (1) " ; "Z (2) m;k � xm " � (x); x 2 G(2) " (k); k = 1; : : : ;K2; m = 1; 2; 8 2 C10 (D2); where G (i) " (k) = N�1S i;j=0 � fx : ("�1x1 � i; " �1 x1 � j) 2 B(i) k ; x3 2 (�di; 0]g � : It is easy to see that � (i) m (x) 2 H1( ") and r� (i) 1 = � � + "Z (i) 1;k � x1 " � @x1 ; "Z (i) 1;k � x1 " � @x2 ; "Z (i) 1;k � x1 " � @x3 � ; r� (i) 2 = � "Z (i) 2;k � x2 " � @x1 ; � + "Z (i) 2;k � x2 " � @x2 ; "Z (i) 2;k � x2 " � @x3 � ; x 2 G(i) " (k); k = 1; : : : Ki; i = 1; 2: Substituting the functions � (1) 1 and � (1) 2 into the integral identity (4) we get K1X k=1 Z G (1) " (k) � � @u" @xm + "Z (1) m;k @u" @x1 @ @x1 + "Z (1) m;k @u" @x2 @ @x2 + "Z (1) m;k @u" @x3 @ @x3 � dx = K1X k=1 0BB@ Z G (1) " (k) "f"Z (1) m;k dx+ " 2 Z S (1) " (k) Z (1) m;k g" d�x 1CCA ; m = 1; 2: Then, using relations (2), (3),(23) and (24) we have������� Z G (1) " @u" @xm dx ������� � " K1X k=1 0BB@ Z G (1) " (k) ��Z(1) m;k (ru" � r � f" ) ��dx+ " Z S (1) " (k) ��Z(1) m;k ��jg" j d�x 1CCA � "c1 � kru"k L2 � G (1) " �kr k L2 � G (1) " � + kf"k L2 � G (1) " �k k L2 � G (1) " � + p "kg"k L2 � S (1) " �p"k k L2 � S (1) " � � � "c1 � c2k k H1 � G (1) " � + c3k k H1 � G (1) " � + c4k k H1 � G (1) " � � � "c5k kH1(D1); m = 1; 2: 330 Journal of Mathematical Physics, Analysis, Geometry, 2006, vol. 2, No. 3 Homogenization of the Neumann�Fourier Problem Passing to the limit as "! 0 in these inequalities we obtainZ D1 (1) m dx = 0 8 2 C10 (D1); m = 1; 2; (28) i.e., (1) 1 = (1) 2 = 0 almost everywhere in D1: Substituting the functions � (2) 1 and � (2) 2 into the integral identity (4) we get K2X k=1 Z G (2) " (k) � � @u" @xm + "Z (2) m;k @u" @x1 @ @x1 + "Z (2) m;k @u" @x2 @ @x2 + "Z (2) m;k @u" @x3 @ @x3 � dx + " 2 k0 K2X k=1 Z S (2) " (k) Z (2) m;k u" d�x = K2X k=1 Z G (2) " (k) "f"Z (2) m;k dx; m = 1; 2: Analogously we obtain that (2) 1 = (2) 2 = 0 almost everywhere in D2: 2. It remains to determine the functions v+0 ; v (1;�) 0 and v (2;�) 0 : First, we �nd the traces of these functions on Q: By virtue of the compactness of the trace operator in the anisotropic spaces W 0;1 and the �rst three relations in (26) we have v"(x 0 ; 0) s�! v + 0 (x 0 ; 0) in L 2(Q) as "! 0;ev"(1)(x0; 0) s�! jB(1)jv(1;�)0 (x0; 0) in L 2(Q) as "! 0;ev"(2)(x0; 0) s�! jB(2)jv(2;�)0 (x0; 0) in L 2(Q) as "! 0: (29) Since ev"(1)(x0; 0) = �1 �x0 " � v"(x 0 ; 0); ev"(2)(x0; 0) = �2 �x0 " � v"(x 0 ; 0); x 0 2 Q; (30) then, passing to the limit as "! 0 in(30) and using relation (29), we obtain v + 0 (x 0 ; 0) = v (1;�) 0 (x0; 0) = v (2;�) 0 (x0; 0); x 0 2 Q: Using the extension operators (5) and the integral identities (9) we rewrite Journal of Mathematical Physics, Analysis, Geometry, 2006, vol. 2, No. 3 331 T.A. Mel'nyk, P.S. Vashchuk the integral identity (4) in the following wayZ 0 ru" � r' dx+ Z D1 � @̂x1u" (1) @x1'+ @̂x2u" (1) @x2'+ @̂x3u" (1) @x3' � dx + Z D2 � @̂x1u" (2) @x1'+ @̂x2u" (2) @x2'+ @̂x3u" (2) @x3' � dx + k0 K2X k=1 l (2) k jB(2) k j 0Z �d2 Z N�1S i;j=0 "(i+j+B (2) k ) u"' dx 0 dx3 + "k0 K2X k=1 0Z �d2 Z N�1S i;j=0 "(i+j+B (2) k ) r�Y (2) k � rx0 (u"') dx 0 dx3 = Z 0 f"'dx+ Z D1 �1 � x 0 " � f"'dx+ Z D2 �2 � x 0 " � f"'dx + K1X k=1 l (1) k jB(1) k j 0Z �d1 Z N�1S i;j=0 "(i+j+B (1) k ) g"' dx 0 dx3 + " K1X k=1 0Z �d1 Z N�1S i;j=0 "(i+j+B (1) k ) r�Y (1) k � rx0 (g"') dx 0 dx3 8' 2 H1( 1): (31) Then, passing to the limit as "! 0 in (31) and taking into account relations (2), (3), (19), (26)�(28) and the fact that the last terms both in the left-hand side and in the right-hand side tend to zero, we obtainZ 0 rv+0 � r' dx+ jB(1)j Z D1 @v0 @x3 (1;�) @' @x3 dx+ jB(2)j Z D2 @v0 @x3 (2;�) @' @x3 dx + k0jB(2)j l(2) Z D2 v (2;�) 0 ' dx = Z 0 f0' dx+ jB(1)j Z D1 f0' dx + jB(2)j Z D2 f0' dx+ l (1) Z D1 g0' dx 8' 2 H1( 1): (32) Identity (32) is the corresponding integral identity for problem (7) in the 332 Journal of Mathematical Physics, Analysis, Geometry, 2006, vol. 2, No. 3 Homogenization of the Neumann�Fourier Problem following anisotropic Sobolev vector-space H = fu = (u0; u1; u2) 2 V := L 2( 0)� L 2(D1)� L 2(D2) �� u0 2 H1( 0); 9 @x3u1 2 L2(D1); 9 @x3u2 2 L2(D2); u0(x 0 ; 0) = u1(x 0 ; 0) = u2(x 0 ; 0); x0 2 Qg with the scalar product (u;v)H = Z 0 ru0 � rv0 dx+ 2X i=1 jB(i)j Z Di @x3ui @x3vi dx+ k0jB(2)j l(2) Z D2 u v dx: Obviously, the space H continuously embeds in V: By using standard Hilbert space methods, we can state that there exists a unique weak solution v0 2 H to problem (7), which is called the limit problem for problem (1). Due to the uniqueness of the solution to problem (7), the above reasoning holds for any subsequence of f"g chosen at the beginning of the proof. Therefore, the theorem is proved. The fact that extensions of solutions to boundary-value problems in perforated domains converge weakly in the spaces H1 enables to prove the convergence of the energy integrals (see, i.g., [5, 10]). Theorem 1 gives this possibility as well. We introduce the following notation E"(u") := Z " jru"j2 dx+ " Z S (2) " u 2 " d�x = (u"; u")"; E0(v0) = (v0;v0)H := Z 0 jrv+0 j2 dx+ jB(1)j Z D1 j@x3v (1;�) 0 j2 dx + jB(2)j Z D2 j@x3v (2;�) 0 j2 dx+ k0jB(2)j l(2) Z D2 (v (2;�) 0 )2 dx: The quantities E"(u") and E0(v0) determine the energy of the systems simulated by problems (1) and (7) respectively. It is easy to see that E"(u") = Z " f"u" dx+ " Z S (1) " g"u" d�x: Journal of Mathematical Physics, Analysis, Geometry, 2006, vol. 2, No. 3 333 T.A. Mel'nyk, P.S. Vashchuk Passing to the limit as " ! 0 in this equality and taking into account relations (2), (3) and (26), as in Theorem 1 we obtain lim "!0 E"(u") = Z 0 f0v + 0 dx+ jB(1)j Z D1 f0v (1;�) 0 dx + jB(2)j Z D2 f0v (2;�) 0 dx+ l (1) Z D1 g0v (1;�) 0 dx = (v0;v0)H: Corollary 1. lim"!0E"(u") = E0(v0): Conclusions In the present paper we have studied the in�uence of boundary conditions on the asymptotic behavior of the solution to problem (1). We have shown that the limit boundary-value problem (7) consists of three boundary value problems joined together into one limit problem by certain conjugation conditions in the joint zone. The inhomogeneity in the Neumann boundary conditions on the lateral sides of the cylinders from the �rst level results in the appearance of a new term in the right-hand side of the homogenized boundary-value problem in the parallelepiped D1. This fact was noted in [37] where the homogenization of elliptic equations that describe processes in strongly inhomogeneous thin perforated domains with rapidly varying thickness was made. Furthermore,in the di�erential equations of problem (7) there appear the coe�cients jB(i)j=l(i), i = 1; 2 which characterize "density of the packing" of the thin cylinders from the �rst and second levels. It was noted in [5] that for functionals, that are de�ned on re�exive spaces and grow faster than the norm, there is, in fact, only one natural de�nition of homogenization of such functionals, namely, the de�nition in terms of the con- vergence of energies. For this reason, Corollary 1 is a very important result that enables to investigate variational problems in thick multi-level junctions. References [1] N.S. Bakhvalov and G.P. Panasenko, Homogenization: Averaging Processes in Pe- riodic Media. Kluwer Acad. Publ., Ser. Math. and its Appl., 1989. (Russian Ed.: Nauka, Moscow, 1984.) [2] A. Bensoussan, J. Lions, and G. Papanicolau, Asymptotic Analysis for Periodic Structure. North Holland, Amsterdam, 1978. [3] P.G. Ciarlet, Plates and Junctions in Elastic Multi-Structures. Masson, Paris, 1990. 334 Journal of Mathematical Physics, Analysis, Geometry, 2006, vol. 2, No. 3 Homogenization of the Neumann�Fourier Problem [4] D. Cioranescu and J. Saint Jean Paulin, Homogenization of Reticulated Structures. Springer�Verlag, Ser. Appl. Math. Sci. 136 (1999). [5] V.V. Zhikov, S.M. Kozlov, and O.A. Oleinik, Homogenization of Di�erential Oper- ators and Integral Functionals. Springer, Berlin�Heidelberg, 1994. [6] A.A. Kovalevskij, Averaging of the Neumann Problems for Nonlinear Elliptic Equa- tions in Domains with Accumulators. � Ukr. Mat. Zh. 47 (1995), No. 2, 194�212. (Russian) [7] V.A. Kozlov, V.G. Maz'ya, and A.B. Movchan, Asymptotic Representation of an Elastic Field in a Multi-Structure. � Asymp. Anal. 11 (1995), 343�415. [8] V.A. Marchenko and E.Ya. Khruslov, Boundary-Value Problems in Domains with Finegrained Boundary. Naukova Dumka, Kiev, 1974. (Russian) [9] S.A. Nazarov, Asymptotic Analysis of the Thin Plates and Rods. Vol. 1. Novosi- birsk, 2002. (Russian) [10] O.A. Oleinik, G.A. Yosifyan and A.S. Shamaev, Mathematical Problems to Theories Powerfully Lumpy Springy Ambiences. Izd-vo MGU, Moscow, 1990. (Russian) [11] O.A. Oleinik and T.A. Shaposhnikova, On the One Method of Approach in the Problem of the Averaging in Partly Perforated Domains. � Di�. Eq. 30 (1994), No. 11, 1994�2000. (Russian) [12] O.A. Oleinik and T.A. Shaposhnikova, On the Aaveraging of the Poisson Equation in the Partly Perforated Domains with the Mixed Type of Conditions on Boundary of the Cavities for all their Concentration. � Rendiconti Lincei: Matematica e Applicazioni 7 (1996), 129�146. [13] J. Sanchez-Hubert and E. Sanchez-Palencia, Vibration and Coupling of Continuous Systems. Springer�Verlag, Berlin, Heidelberg, 1989. [14] I.V. Skrypnyk, The Methods of the Investigation of the Nonlinear Elliptical Boundary-Value Problems. Nauka, Moscow, 1990. (Russian) [15] F. Fleury and E. Sanchez�Palencia, Asymptotic and Spectral Properties of the Acoustic Vibrations of Body Perforated by Narrow Channels. � Bull. Sci. Math. 2 (1986), No. 110, 149�176. [16] G.A. Chechkin, A. Friedman, and A. Piatnitski, The Boundary-Value Problem in Domains with Very Rapidly Oscillating Boundary. � J. Math. Anal. Appl. 231 (1999), 213�234. [17] V.P. Kotliarov and E.Ya. Khruslov, On a Limit Boundary Condition of Some Neu- mann Problem. � Teor. Funkts., Funkts. Anal. i Prilozh. (1970), No. 10, 83�96. (Russian) [18] G.V. Suzikov and E.Ya. Khruslov, On Advancing Sound Waves Through Narrow Channels in a Re�acting Layer. � Teor. Funkts., Funkts. Anal. i Prilozh. (1976), No. 5, 35�49. (Russian) [19] E.Ya. Khruslov, On the Resonance Phenomenas in One Problem of Di�raction. � Teor. Funkts., Funkts. Anal. i Prilozh. 10 (1968), 113�120. (Russian) Journal of Mathematical Physics, Analysis, Geometry, 2006, vol. 2, No. 3 335 T.A. Mel'nyk, P.S. Vashchuk [20] T.A. Mel'nyk and S.A. Nazarov, Asymptotic Structure of the Spectrum of the Neumann Problem in a Thin Comb-Like Domain. � C.R. Acad. Sci. Paris, Ser. 1. 319 (1994), 1343-1348. [21] T.A. Mel'nyk and S.A. Nazarov, On the Asymptotics of Eigenvalues of the Neumann Problem in a Domain of "Thick Comb". � Dokl. Russian Akad. Nauk 342 (1995), No. 1, 23�25. (Russian) [22] T.A. Mel'nyk and S.A. Nazarov, Asymptotics of the Neumann Spectral Problem Solution in a Domain of "Thick Comb". � Tr. Sem. im. I.G. Petrovskogo 19 (1996), 138�174 (Russian); Engl. transl. � In: J. Math. Sci. 85 (1997), No. 6, 2326�2346. [23] T.A. Mel'nyk, Homogenization of the Poisson Equation in a Thick Periodic Junction. � Zeitschrift f�ur Analysis und ihre Anwendungen 18 (1999), No. 4, 953�975. [24] T.A. Mel'nyk, Asymptotic Analysis of a Spectral Problem in a Periodic Thick Junction of Type 3:2:1. � Math. Meth. Appl. Sci. 23 (2000), No. 4, 321�346. [25] T.A. Mel'nyk and S.A. Nazarov, Asymptotic Analysis of the Neumann Problem of the Junction of a Body and Thin Heavy Rods. � Algebra i Analiz 12 (2000), No. 2, 188�238. (Russian); Engl. transl. � In: St.-Petersburg Math. J. 12 (2001), No. 2, 317�351. [26] T.A. Mel'nyk, Homogenization of a Singularly Perturbed Parabolic Problem in a Thick Periodic Junction of Type 3:2:1. � Ukr. Mat. Zh. 52 (2000), No. 11, 1524� 1534. (Russian); Engl. transl. � In: Ukr. Math. J. 52 (2000), No. 11, 1737�1749. [27] T.A. Mel'nyk, Asymptotic Behavior of Eigenvalues and Eigenfunctions of the Steklov Problem in a Thick Periodic Junction. � Nonlinear Oscillations 4 (2001), No. 1, 91�105. [28] T.A. Mel'nyk, Asymptotic Behavior of Eigenvalues and Eigenfunctions of the Fourier Problem in a Thick Periodic Junction of Type 3:2:1. � Grouped and Anal. Meth. Math. Physics, Akad. Nauk Ukr., Kiev 36 (2001), 187�196. [29] T.A. Mel'nyk, Vibrations of a Thick Periodic Junction with Concentrated Masses. � Math. Models, Methods Appl. Sci. 11 (2001), No. 6, 1001�1029. [30] S.A. Nazarov, Junctions of Singularly Degenerating Domains with Di�erent Limit Demension. � Tr. Sem. im. I.G. Petrovskogo 18 (1995), 1�78 (P. I); Tr. Sem. im. I.G. Petrovskogo 20 (2000), 155�196 (P. II). (Russian) [31] T.A. Mel'nyk, Eigenmodes and Pseudo-Eigenmodes of Thick Multi-Level Junctions. � Proc. Int. Conf. "Days on Di�raction-2004" 11 (2004), 51�52. [32] T.A. Mel'nyk, Asymptotic Behavior of Eigenvalues and Eigenfunctions of the Fourier Problem in a Thick Multi-Level Junction. � Ukr. Math. J. 58 (2006), No. 2, 195� 216. [33] U. De Maio, T.A. Mel'nyk, and C. Perugia, Homogenization of the Robin Problem in a Thick Multi-Level Junction. � Nonlinear Oscillations 7 (2004), No. 3, 336�356. 336 Journal of Mathematical Physics, Analysis, Geometry, 2006, vol. 2, No. 3 Homogenization of the Neumann�Fourier Problem [34] T.A. Mel'nyk and P.S. Vashchuk, Homogenization of the Boundary-Value Problem with Varying Type of Boundary Conditions in a Thick Multi-Level Junction. � Nonlinear Oscillations 8 (2005), No. 2, 241�257. [35] U. De Maio, T. Durante, and T.A. Mel'nyk, Asymptotic Approximation for the Solution to the Robin Problem in a Thick Multi-Level Junction. � Math. Models, Methods Appl. Sci. 15 (2005), No. 12, 1897�1921. [36] R. Brizzi and J.P. Chalot, Boundary Homogenization and Neumann Boundary Value Problem. � Ricerche di Matimatica 46 (1997), 341�387. [37] T.A. Mel'nyk, Averaging of Elliptic Equations Describing the Processes in Strongly Non-Uniform Thin Perforated Domains with Rapidly Varying Thickness. � Dokl. Akad. Nauk UkrSSR (1991), No. 10, 15�19. (Russian) Journal of Mathematical Physics, Analysis, Geometry, 2006, vol. 2, No. 3 337