DIFFERENT FUNCTION AND REGULARIZATION FOR POLYHARMONIC FUNCTIONS FOR SOME REGIONS IN .πΉπ
Sotimboeva Zarifakhon
Senior Lecturer of the Department of Higher Mathematics at Namangan State University
ANNOTATION
In this work, some properties and regulation of the Carlemann function are studied to determine the integral formula of n-th order polygarmonic functions (D ^ n u (y) = 0) and their properties that satisfy the condition 2nβ₯m in certain unbounded areas of real m-dimensional Euclidean space.
Keywords: real m-dimensional Euclidean, region lying in a layer.
Based on these studies, M.M. Lavrentyev introduced an important concept- the Carleman function and with its help built a regularization of the problem. With the help of the method of M.M. Lavrentyev, Sh. Yarmukhamedov obtained the regularization and solvability of the Cauchy problem for the Laplace equation in bounded areas [3]. In 2009, Juraeva N (second author) of the article obtained the regularization and solvability of the Cauchy problem for polyharmonic equations of order in some unlimited regions (with arbitrary odd odd regions).
and even when ) [4] - [8]. πππ 2π < π
Let's assume that the solution of the problem (1) - (2) exists and is continuously differentiable, up to the end points of the boundary and satisfies a certain growth condition (correctness class), which ensures the uniqueness of the solution.π’(π¦)2π β 1
Having solved the problem (1),(2) with the help of its solution we obtain theorems of the Fragman-Lindelof type. Fragman-Lindelof type theorems were the subject of research on the works of M.A. Evgrafov, I.A. Chegis and A.F. Lavrentyev,I.S. Arshon and others.
In 1960, M.A. Evgrafov and I.A. Chegis in the article - Generalization of the Fragman-Lindelof type theorem for analytic functions to harmonic functions in space - (DAN USSR, volume 134, number 2, 252-262) proved
Theorem 1. Let be the harmonic function in the cylinder , , . If the conditions are met π’(π, π, π₯)0 β€ π β€ Π°0 β€ π < 2π β β < Ρ < β
π’(Π°, π, Ρ ) = 0,
, ) , ,
(a x c
r
u οΌ
οΆ
οΆ οͺ
πππ₯(π,π)β|π’(π, π, π₯)| < π ππ₯π π
π|π₯|
2(π+π), π > 0 then π’(π, π, Ρ ) β‘ 0
Theorem 2. Let the harmonic function in the cone , ,. If the conditions are met π’(π, π, π)0 < π <
β0 β€ π < 2π0 β€ π β€ π0 < π π’(π, π0, π) = 0, (r, 0, ) c,
u οΌ
οΆ
οΆ ο± οͺ
ο± πππ₯
(π,π)β|π’(π, π, π)| < π ππ₯π( π +1
π)
π 2π0βπ
, π > 0 then π’(π, π, π) β‘ 0
In 1961, I.A. Chegis in the article - The theorem of the Fragman-Lindelof type for harmonic functions in a rectangular cylinder - (Dokl. AS USSR, volume 136, number 3, 556-9) proved
Theorem 1. - Harmonic function in a cylinder over a rectangle , ; . If the conditions are met π’(π₯, π¦, π‘)0 β€ Ρ β€ Π°0 β€ Ρ β€ π β β β€ π‘ β€ β
π’(π₯, π¦, π‘)|Π= 0, where is the G-surface of the cylinder;
|ππ’(π₯,0,π‘)
ππ¦ | < π, |ππ’(π₯,π,π‘)
ππ¦ | < π , πππ₯
(π₯,π¦)βπ’(π₯, π¦, π‘) < π ππ₯π ππ|π‘|βπ+π, π > 0 then.π’(π₯, π¦, π‘) β‘ 0
It should be noted that the theorem uses the condition of bounding the normal derivativeof tolk 'o on two opposite faces of a rectangular cylinder. For an infinite layer, i.e., a region of view, the statement of the theorem remains valid.ββ < π₯ < β, 0 β€ π¦ β€ π, ββ < π‘ < β
E.M. Landis in the book -Equations of the second order of elliptical and parabolic types.
Moscow, 1971 g.55 p.) - set the problem in the form - Let the cylinder contain an area that goes to infinity (in one or both directions - all the same) in the boundary of G of this region as smooth as you like 0 β€ βπβ1π=0Ρ π2 < 1
Let the solution and equation be defined in the region as smooth as possible up to the boundary and . Does it follow from this that unlimited (exponentially grows when going to infinity).)
π₯π₯π’ = 0π’|Π= 0, ππ’
ππ|
Π= 0
Defining the functions and the following equals: ππ(π¦, π₯) π·π(π¦, π₯)(π > 0, π β₯ 0, π β ΡΠ°Π·ΠΌΠ΅ΡΠ½ΠΎΡΡΡ ΠΏΡΠΎΡΡΡΠ°Π½ΡΡΠ²ΠΎ)
if π = 2π + 1, π = 2,3, . ..
ππ(π¦, π₯) = π1ππ ππβ1πβ1β« πΌπ π(πβπ +π’2+π¦π)
πβπ +π’2+π¦πβπ₯π ππ’
βπ’2+π
β
0 ,β (3)
if then π = 2π, π = 2,3, . ..
ππ(π¦, π₯) = π1ππ ππβ2πβ2πΌπ ( π(πβπ +π¦π)
βπ (πβπ +π¦πβπ₯π),β) (4)
Where isπ(π) = ππ₯π(ππ2β ππβππ1(π β β 2β ) β ππβππ0(π β β 2β )), π1 = π0ππ₯π (βππ₯π2 + ππβππ1(π₯πββ
2) + ππβππ0(π₯πββ
2)) , π > π0(πππ π0β 2 )
β1
For all odd , as well as even with the condition we assume π β₯ 3π2π < π ,
) , ( )
,
(y x Cn,mr2(n 1) ο³ y x
ο³ = β οͺ
ο πΆπ,π = (β1)π2β1(Π(π βπ
2 + 1)22πβ1ππ2Π(π))β1 (5)
And for even with the condition defining the function at , : π2π β₯ πΠ€π(π¦, π₯)π > 0, π β₯ 0, π β₯ 02π β₯ π
Π€π(π¦, π₯) = πΆπ,πβ« πΌπ [ππ₯π(ππ€+π€
2)βππβππ1(π€ββ2)
] (π’2β π )πβπππ’
β
βπ , βπ = ππ’ + π¦1 (6)
π·π(π¦, π₯) = {πΆπ,ππ2πβπππ π + πΊπ(π¦, π₯), 2π β₯ π, π β ΡΡΡΠ½ΠΎΠ΅ ΡΠΈΡΠ»ΠΎ, πΆπ,ππ2πβπ+ πΊπ(π¦, π₯), Π² ΠΎΡΡΠ°Π»ΡΠ½ΡΡ ΡΠ»ΡΡΠ°ΡΡ , Where is
πΆπ,π = (β1)π2β1(Π(π βπ
2 + 1)22πβ1ππ2Π(π))
β1
where regular by variable y and continuously differentiated by .πΊπ(π¦, π₯)π· βͺ ππ· = π·
Theorem 2. The function , defined by formula (3) is a polyharmonic function of order n po at π·π(π¦, π₯)π¦s > 0.
Theorem 3. With a fixed function, satisfiesπ₯ β π·π·π(π¦, π₯)
β β« [|π₯ππ·π(π¦, π₯)| β |ππ₯ππ·π(π¦, π₯)
ππ |]
ππ·\π πβ1
π=0
ππ π¦ β€ πΆ(π₯)π(π),
where the constant depends on πΆ(π₯)x and the -external normal k when .πΜππ·π(π) β 0π β β Consequence 3. The function , defined by formula (3) is a Carlemann function for the point and part of .π·π(π¦, π₯)π₯ β π·ππ·\π
Theorem 4. Let the solution of problems and , having continuous partial derivatives of order up to the end points of the boundary. If the growth condition is met for anyone π’(π₯)(1) β (2)2π β 1ππ·π¦ β π·
β|π₯ππ’(π¦)|
πβ1
π=0
+ |πππππ₯πβπβ1π’(π¦)| β€ π0ππ₯π(ππ₯π(π1|π¦β²|)) and for any fulfilled the condition of growthπ¦ β ππ·
β |π₯ππ’(π¦)| + |π
πππ₯πβπβ1π’(π¦)| β€ π0ππ₯π (π πππ π2(π¦1ββ
2) ππ₯π(π2|π¦β²|))
πβ1π=0 Where is π1 < π2 <
π3 < π
Then for anyone the integral representation is true.π₯ β π· π’(π₯) = β β« [π₯ππ·π(π¦, π₯)ππ₯πβπβ1π’(π¦)
ππ β π₯πβπβ1π’(π¦)ππ₯ππ·π(π¦, π₯)
ππ ]
ππ· πβ1
π=0
ππ . π₯ β π·
Theorem 5. Let the solution of the problem , having continuous partial derivatives of order up to the end points of the boundary . If the growth condition is met for any π’(π₯)(1) β (2)2π β 1ππ·π¦ β π·
β|π₯ππ’(π¦)|
πβ1
π=0
+ |πππππ₯πβπβ1π’(π¦)| β€ π0ππ₯π(ππ₯π(π1|π¦β²|))
and if the growth condition is metο’yοοΆD
where .
Then the integral representation is true.
Theorem 6. Let the solution of the problem , having continuous partial derivatives of order up to the end points of the boundary . If the growth condition is met for any π’(π₯)(1) β (2)2π β 1ππ·π¦ β π·
β|π₯ππ’(π¦)|
πβ1
π=0
+ |πππππ₯πβπβ1π’(π¦)| β€ π0ππ₯π(ππ₯π(π1|π¦β²|))
And if the growth condition is met
where .
then the integral representation is fair
Consequence. Let the solution of the problem , having continuous partial derivatives of order up to the end points of the boundary . If the growth condition is met for any π’(π₯)(1) β (2)2π β 1ππ·π¦ β π·
β|π₯ππ’(π¦)|
πβ1
π=0
+ |πππππ₯πβπβ1π’(π¦)| β€ π0ππ₯π(ππ₯π(π1|π¦β²|)) If the growth condition is met
βπβ1π=0|π₯ππ’(π¦)|+ |ππ₯πβπβ1π’(π¦)
ππ¦ | β€ Ρ0 where . Π’ΠΎΠ³Π΄Π° ΡΠΏΡΠ°Π²Π΅Π΄Π»ΠΈΠ²ΠΎ in (x)=0
Consequence. Let the solution of the problem , having continuous partial derivatives of order up to the end points of the boundary . If the growth condition is met for anyπ’(π₯)(1) β (2)2π β 1ππ·π¦ β π·
β|π₯ππ’(π¦)|
πβ1
π=0
+ |πππππ₯πβπβ1π’(π¦)| β€ π0ππ₯π(ππ₯π(π1|π¦β²|)) If the growth condition is met
( )
(
β ο’)
οΌο₯οΆ ο
ο
οΆ
ο₯
ο’ οΌ
β
ο
ο
ο₯
ο₯ ο²
β
=
β
= οΆ
ds n y
u
ds y u
n
k k n
k Π
k
2 1
0 1
0
2
exp
, exp
ο²
ο²
ο²
ο²
ο²2 οΌ 1οΌ
D xο
ο’
( ) ( ) ( ) ( ) ( )
, . ,
1
0
1 1
n ds x y y
n u y x u
y x
u
n
k
k k
n k
n k
D
ο₯ ο²
=β β β β βοΆ
οΊο»
οͺ οΉ
ο«
ο©
οΆ
ο
ο
ο οΆ
οΆ β
ο
ο οΆ
ο
= ο³ ο³
D yοοΆ
ο’
ο ο
( )
, ,exp
, ,
1 , 0 ,
0
2 1
0
D y ds
n y u
D y n
k u
n
k k k
οΆ
ο
ο’
ο₯
ο’ οΌ
β
οΆ ο
ο
οΆ
οΆ
ο
ο’
β
ο
ο’
=
ο
ο₯
β=
ο² ο²2 οΌ ο²1οΌο²
D xο
ο’
( ) ( ) ( )
. ,
1
0
1 ds
n y x u
y x
u
n
k D
k k
ο₯ ο²
β n= οΆ
β
β
οΆ
ο
ο οΆ
ο
= ο³
D yοοΆ
ο’
ο²
ο²
ο²2 οΌ 1οΌ D
xο
ο’
D yοοΆ
ο’
ο ο
Then u(x)=0 is true
These results are in a sense a response to the problems posed by E.M. Landis for polyharmonic functions of order . π
Theorem 7. Let be a solution to the problem having continuous partial derivatives of order up to the endpoints of the boundary . If the growth condition is met for anyone π’(π₯)(1) β (2)2π β 1ππ·π¦ β π·
β|π₯ππ’(π¦)|
πβ1
π=0
+ |πππππ₯πβπβ1π’(π¦) β€ π0ππ₯π(ππ₯π(π1|π¦β²|))|
and
βπ¦ β ππ·\π |ππ₯πβ1βππ’(π¦)
ππ | + |π₯πβ1βππ’(π¦)| β€ 1 , then fair
|π’(π₯) β π’π(π₯)| β€ ππΆ(π) ππ₯π(βππ₯π) , π β₯ π0 > 0, π₯ β π·.
Where is π’π(π₯) = β β« [πΊπβπβ1(π¦)π₯ππ·π(π¦, π₯) β πΉπβπβ1(π¦)ππ₯ππ·π(π¦,π₯)
ππ ]
π
πβ1π=0 ππ
πΆ(π)- A polygamy with well-defined coefficients.
REFERENCES
1. Sobolev S.L. Introduction to the theory of cubatureformulas. M. Nauka 1974. ct 514-673.
2. Lavrentyev M.M.. About some incorrect problems of mathematical physics. Novosibirsk, 1962, p. 243.
3. Sh. Yarmukhamedov. Cauchy's problem for a polyharmonic equation. Reports of the Russian Academy of Sciences 2003 Volume 388 Of Articles 162-165.
D xο
ο’