arxiv: v1 [math.cv] 5 Nov 2015

Transcription

1 Extremal decomposition problems in the Euclidean space K.A. Gulyaeva 1, S.I. Kalmykov 2, E.G. Prilepkina 3 arxiv: v1 [math.cv] 5 Nov 2015 Abstract Composition principles for reduced moduli are extended to the case of domains in the n-dimensional Euclidean space, n > 2. As a consequence analogues of extremal decomposition theorems of Kufarev, Dubinin and Kirillova in the planer case are obtained. Subject Classification: 31B99 Keywords: reduced modulus, Robin function, Neumann function, nonoverlapping domain, extremal decomposition problem. 1 Introduction and notations Extremal decomposition problems have a rich history and go back to M.A. Lavrentiev s inequality for the product of conformal radii of nonoverlapping domains. There exist two methods of their study: the extremalmetric method and the capacitive method. The first one has been systematically developed in papers by G.V. Kuz mina, E.G. Emel yanov, A.Yu. Solynin, A. Vasil ev, and Ch. Pommerenke [9, 14, 6, 11]. The second approach is developed mainly in works of V.N. Dubinin and his students [4, 5, 2, 3]. In particular, a series of well-known results about extremal decomposition follows one way from composition principles for generalized reduced moduli see [1, p. 56] and [12]. In the present paper we extend the mentioned composition principles to the case of spatial domains. As a consequence we get theorem about extremal decomposition for the harmonic radius [7] obtained earlier in [5]. Throughout the paper, R n denotes the n-dimensional Euclidean space consisting of points x = x 1,..., x n, n 3, and x = x x2 n is the length of a vector x R n. We introduce the following notations: Ba,r = {x R n : a x < r}, Sa,r = {x R n : a x = r}, a R n ; 1 Far Eastern Federal University, Vladivostok, Russia, kgulyayeva@gmail.com 2 Far Eastern Federal University, Vladivostok, Russia, Institute of Applied Mathematics, Far Eastern Branch of the Russian Academy of Sciences, Vladivostok, Russia, sergeykalmykov@inbox.ru 3 Far Eastern Federal University, Vladivostok, Russia, Institute of Applied Mathematics, Far Eastern Branch of the Russian Academy of Sciences, Vladivostok, Russia, prilelena@yandex.ru

2 2 K.A. Gulyaeva, S.I. Kalmykov and E.G. Prilepkina ω n 1 = 2π n/2 /Γn/2 is the area of the unit sphere S0,1; λ n = n 2ω n 1 1. D is a bounded domain inr n, Γ is a closed subset of D. The pair D,Γ is admissible if there exists the Robin function, g Γ z,z 0,D harmonic in D\{z 0 }, continuous in D \{z 0 } and and in a neighborhood of z 0 there is an expansion g Γ = 0 on D\Γ, n 1 g Γ = 0 on Γ, 2 g Γ z,z 0,D = λ n z z0 2 n rd,z 0,Γ 2 n +o1, z z 0, 3 where / n means the inward normal derivative on the boundary. In what follows all such pairs are assumed to be admissible. In the case Γ = we change the condition 1 by the condition g Γ n = 1 µ n 1 D on D, where µ n 1 D is the area of boundary. By analogy with the definition of the Robin radius for plain domains from the paper [3] we will call the constant rd,z 0,Γ the Robin radius of the domain D and the set Γ. Note that in the case of Γ = D we get the harmonic radius [7, 10, 5]. Let = {δ k } m k be a collection of real numbers and Z = {z k} m be points of the domain D. For Γ = we additionally require δ k = 0. Define the potential function for the domain D, the set Γ, the collection of points Z, and numbers : uz = uz;z,d,γ, = δ k g Γ z,z k,d. Note that for Γ = the function g Γ z,z k,d is defined up to an additive constant. Nevertheless, the function uz is defined uniquely and characterized by the condition u = 0 on D. n

3 Extremal decomposition problems in the Euclidean space 3 It is clear from the definition of the potential function that in a neighborhood of z k we have where uz = δ k λ n z z k 2 n +a k +o1, k = 1,...,m, a k = δ k λ n rd,z k,γ 2 n + δ l g Γ z l,z k,d. l k Now if we introduce the following notation g Γ z k,z k,d = λ n rd,z k,γ 2 n, then the constant in the expansion of the potential function in a neighbourhood of z k is a k = δ l g Γ z l,z k,d. 4 A function vz is admissible for D, Z,, and Γ if vz Lip in a neighbourhood of each point of D except maybe finitely many such points, continuous in D \ m {z k}, vz = 0 on Γ, and in neighbourhood of z k there is an expansion vz = δ k λ n z z k 2 n +b k +o1, z z k. 5 The Dirichlet integral is the following If,D = f 2 dµ, where dµ = dx 1...dx n. 2 Main results Lemma 2.1 The asymptotic formula m Iu,D r = λ n r 2 n + δ 2 k D δ k a k +o1, r 0, is true, where u is the potential function and a k, k = 1,...,m are defined in 4 and D r = D \ m Bz k,r. Proof. The Green s identity u 2 dµ = V V u u n ds

4 4 K.A. Gulyaeva, S.I. Kalmykov and E.G. Prilepkina gives Iu,D r = u u m D r n ds = The second equality in 6 holds because u u n Sz k,r u = δ k λ n r 2 n +a k +o1, z z k u u ds. 6 n = 0 on D. Note that in a neighbourhood of z k. We calculate the integral Sz k,r u u ds. Let uz = hz + gz, where n hz = λ n δ k z z k 2 n and gz is a harmonic function. Note that gz k = a k. For z z k = r we have the following correlations r n 1 u u n = rn 1 h h n +h g n +g h n +g g n Therefore = 2 nλ 2 nδ 2 kr 2 n +rλ n δ k g n +2 ngλ nδ k +g g n rn 1 = λ nδ 2 k ω n 1 r 2 n gz kδ k ω n 1 +o1,r 0. Sz k,r u u n ds = u u S0,1 n rn 1 ds = λ n δ 2 k r2 n δ k a k +o1, r 0. Substituting it in 6 we get the lemma. Lemma 2.2 For an admissible function v and the potential function u we have Iv u,d r = Iv,D r Iu,D r 2 δ k b k a k +o1, r 0. Proof. One may observe that Iv u,d r = v 2 + u 2 2 u v dµ D r = v 2 u 2 dµ+2 v u u D r D r n ds = Iv,D r Iu,D r +2 v u u n ds = Iv,D r Iu,D r 2 Sz k,r δ k b k a k +o1, r 0.

5 Extremal decomposition problems in the Euclidean space 5 Here we calculated the integral Sz k v u u a similar way as in the proof,r n of lemma 2.1 and used the Green s identity u vdµ = v u D r D r n ds, where n is the inner normal vector. The quantity δ k a k = δ k δ l g Γ z l,z k,d we call the reduced modulus and denote it by MD,Γ,Z,. According to lemma 2.1 n MD,Γ,Z, = lim Iu,D r δk λ 2 n r 2 n. r 0 Theorem 2.3 Let sets D, Γ, collections Z = {z k } m, = {δ k} m, be as in the definition of the reduced modulus M = MD,Γ, Z,, uz be the potential function for D, Γ, Z,, and let D i D be pairwise non-overlapping subdomains of D, Γ i, Z i = {z ij } n i j=1, i = {δ ij } n i j=1, be from the definition of the reduced moduli M i = MB i,γ i, Z i, i, u i z be the potential function for D i, Γ i, Z i, i, i = 1,...,p. Assume that the following conditions are fulfilled: 1D D i Γ i, i = 1,...,p; holds. 2 Γ p Γ i [ R n \ p D i] ; 3Z = p Z i, that is each point z k Z coincides with some point z ij Z i for k = ki,j and vice versa; 4 δ k = δ ij for k = ki,j. Then the inequality M M i + Iu u i,d i Proof. Consider the function { ui z, z D vz = i, 0, z D \ p D i. The condition 1 guarantees that the function vz is continuous in D\ m {z k}. From the conditions 2 and 3 it follows that vz = 0 for z Γ and in a neighbourhood of z k, k = 1,...,m, there is the expansion 5. Applying lemma 2.2, we get Iv u,d = Iv,D r Iu,D r 2 δ k b k a k +o1, r 0, 7 M i

6 6 K.A. Gulyaeva, S.I. Kalmykov and E.G. Prilepkina here a k and b k from 4 and 5 respectively. By lemma 2.1 n i Iv,D r = λ n r 2 n δij 2 + m M i +o1 = λ n r 2 n δk 2 + M i +o1, j=1 Iu,D r = λ n r 2 n m taking into account 3, we have δ 2 k +M +o1, r 0, δ k b k a k = M i M. Substituting the obtained correlations in 7, we see that the inequality Iu u i,d i Iv u,d = M M i +o1, r 0, is true. Theorem is proved. Theorem 2.4 Let sets D, Γ, collections Z = {z k } m, = {δ k} m, be as in the definition of the reduced modulus M := MD,Γ,Z,, uz be the potential function ford, Γ, Z,, andlet D i D, i = 1,...,p, be pairwisenonoverlapping domains, Γ i, Z i = {z ij } n i j=1, i = {δ ij } n i j=1, be from the definition of the reduced moduli M i = MD i,γ i,z i, i, u i z be the potential function for D i, Γ i, Z i, i, i = 1,...,p. Assume that Γ i Γ, i = 1,...,p, Z = m Z i, that is each point z k Z coincides with some point z ij Z i for k = ki,j and vice versa, δ k = δ ij. Then the inequality M i M + Iu u i,d i M holds. Proof. The function u is admissible for D i, i = 1,...,p. Let b k be constants from the expansion of the function u in a neighbourhood of z k, b ij = b k if k = ki,j. Applying lemmata 2.1 and 2.2 with the potential functions u k

7 Extremal decomposition problems in the Euclidean space 7 for D k we get n i n i δ ij 2 r 2 n λ n + δ ij a ij +o1 = Iu i,d i r = j=1 = j=1 n i Iu,D i r 2 δ ij b ij a ij Iu u i,d i r +o1 Iu,D r = j=1 Iu u i,d i r 2 n i δ ij 2 r 2 n λ n + j=1 j=1 It implies that n i δ ij b ij a ij +o1 j=1 n i δ ij b ij 2 n i δ ij b ij a ij j=1 Iu u i,d i r +o1, r 0. n i δ ij b ij j=1 n i δ ij a ij j=1 Iu u i,d i or equivalently Iu u i,d i +MD,Γ,Z, MD i,γ i,z i, i. Here we used the fact that the function u u i has no singularity in D i. Denote by rd l,x l = rd l,x l, D the harmonic radius. Directly from theorem 2.3 we get theorem 2 of the paper [5] Corollary 2.5 For any non-overlapping domains D l R n, n 3, points x l D l and real numbers δ l, l = 1,...,m the inequality δlrd 2 l,x l 2 n δ l δ p x l x p 2 n p l holds true. Proof. The Green s function of the ball B0,ρ is λ n x x 0 2 n x 0 x ρ ρx 0 x 0 2 n.

8 8 K.A. Gulyaeva, S.I. Kalmykov and E.G. Prilepkina Denote by D l ρ the intersection D l B0,ρ. By theorem 2.3 Mρ M l ρ, where Mρ is the modulus of the ball B0,ρ, the collections {x l } m, = {δ l } m, and Γ = B, M l ρ = δ 2 l rd lρ,x l 2 n λ n. It is sufficient to take a limit as ρ. Theorems 2.3 and 2.4 imply for p = 1 monotonicity of the quadratic form δ l δ p g Γ z l,z p,d under extension of a domain. Following [2] we will say that a domain D is obtained by extending a domain D across a part of its boundary γ D if D D and D D lies in γ. Corollary 2.6 If D is obtained by extending D across Γ, Γ Γ R n \D, then for any real numbers δ l and points z l D δ l δ p g Γ z l,z p, D δ l δ p g Γ z l,z p,d+iu ũ,d δ l δ p g Γ z l,z p,d. If D is obtained by extending D across the part of D\Γ, Γ = Γ, then δ l δ p g Γ z l,z p, D δ l δ p g Γ z l,z p,d Iu ũ,d δ l δ p g Γ z l,z p,d, here u and ũ are the potential functions for D, Γ, Z = {z l } m, = {δ l} m and D, Γ, Z = {z l } m, = {δ l} m, respectively. In [3] the notion of the Robin radius rd,z 0,Γ = exp lim z z0 g D z,z 0,Γ+log z z 0

9 Extremal decomposition problems in the Euclidean space 9 was introduced. This quantity generalized the notion of the conformal radius. An analogue of Kufarev s theorem see [8] for non-overlapping domains D 1, D 2 lying in the unit disk U under the condition D k U Γ k D k, a k D k, k = 1,2 is the inequality rd 1,a 1,Γ 1 rd 2,a 2,Γ 2 a 2 a 1 [1 2 a 2 a 1 1 a 1 a 2 2 ] 1 By setting in theorem 2.3 p = 2, Γ =, we obtain in R n the following inequality. Corollary 2.7 Let D 1 and D 2 be non-overlapping and lie in the ball U = B0,1, a k D k, D k U Γ k D k, k = 1,2. Then λ n rd 1,a 1,Γ 1 2 n λ n rd 2,a 2,Γ 2 2 n M U,,{a 1,a 2 },{1, 1}. 8 TocalculateM U,,{a 1,a 2 },{1, 1}weneedtoknowtheNeumannfunction of the unit ball. Note that it is a quite comlicated problem in R n. In particular, for n = 3 see [13] g x,y,u = 1 4π 1 x y + y x y 2 y log 1 x,y+ x y 2 y y. In [13] there is an analytic view of g D,x,y for n = 4,5. So, for n = 3 the inequality 8 has the following form rd 1,a 1,Γ 1 1 rd 2,a 2,Γ a 1 a 2 2 a 2 a 1 a 2 2 a 2 +2log 1 a 1,a 2 + a 1 a 2 2 a 2 a a a 2 2 log41 a a 2 2. Acknowledgements. This work was supported by the Russian Science Foundation under grant References [1] V.N. Dubinin, Condenser capacities and symmetrization in geometric function theory, Birkhäuser/Springer, Basel, [2] V.N. Dubinin and N.V. Eyrikh, Some applications of generalized condensers in the theory of analytic functions, Journal of Mathematical Sciences, ,

10 10 K.A. Gulyaeva, S.I. Kalmykov and E.G. Prilepkina [3] V.N. Dubinin and D.A. Kirillova, On extremal decomposition problems, Journal of Mathematical Sciences, , [4] V.N. Dubinin and L.V. Kovalev, The reduced module of the complex sphere, Journal of Mathematical Sciences, , [5] V.N. Dubinin and E.G. Prilepkina, Extremal decomposition of spatial domains, Journal of Mathematical Sciences, , [6] E.G. Emel yanov, On problems on the extremal decomposition, Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta Imeni V. A. Steklova, , [7] J. Hersch, Transplantation harmonique, transplantation par modules, et théoremes isoperimetriques, Commentarii Mathematici Helvetici, , [8] P.P. Kufarev, On the question of conformal mappings of complementary domains, Dokl. Akad. Nauk SSSR, , [9] G.V. Kuz mina, Methods of geometric function theory. I, II, St. Petersburg Mathematical Journal, , ; , [10] B.E. Levitskii, The reduced p-module and the inner p-harmonic radius, Dokl. Akad. Nauk SSSR, , [11] Ch. Pommerenke and A. Vasil ev, Angular derivatives of bounded univalent functions and extremal partions of the unit disk, Pacific J. Math., , [12] E.G. Prilepkina, On composition principles for reduced moduli, Siberian Mathematical Journal, , [13] M.A. Sadybekov and B.T. Torebek and B.Kh. Turmetov, Representation of Green s function of the Neumann problem for a multi-dimensional ball, Complex Variables and Elliptic Equations, [14] A.Yu. Solynin, Modules and extremal metric problems, St. Petersburg Mathematical Journal, , 165.