Minimal Surfaces PDE as a Monge Ampère Type Equation

Σχετικά έγγραφα
Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

EE512: Error Control Coding

Homework 3 Solutions

Second Order Partial Differential Equations

2 Composition. Invertible Mappings

Example Sheet 3 Solutions

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

Matrices and Determinants

Partial Differential Equations in Biology The boundary element method. March 26, 2013

6.1. Dirac Equation. Hamiltonian. Dirac Eq.

Finite Field Problems: Solutions

Congruence Classes of Invertible Matrices of Order 3 over F 2

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

derivation of the Laplacian from rectangular to spherical coordinates

( y) Partial Differential Equations

SCITECH Volume 13, Issue 2 RESEARCH ORGANISATION Published online: March 29, 2018

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

D Alembert s Solution to the Wave Equation

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

Reminders: linear functions

b. Use the parametrization from (a) to compute the area of S a as S a ds. Be sure to substitute for ds!

Statistical Inference I Locally most powerful tests

forms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with

C.S. 430 Assignment 6, Sample Solutions

Areas and Lengths in Polar Coordinates

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.

On a four-dimensional hyperbolic manifold with finite volume

Exercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1.

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013

Space-Time Symmetries

Other Test Constructions: Likelihood Ratio & Bayes Tests

Tridiagonal matrices. Gérard MEURANT. October, 2008

Section 8.3 Trigonometric Equations

Spherical Coordinates

Exercise 1.1. Verify that if we apply GS to the coordinate basis Gauss form ds 2 = E(u, v)du 2 + 2F (u, v)dudv + G(u, v)dv 2

ECE Spring Prof. David R. Jackson ECE Dept. Notes 2

Lecture 13 - Root Space Decomposition II

Areas and Lengths in Polar Coordinates

Concrete Mathematics Exercises from 30 September 2016

Parametrized Surfaces

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1

The k-α-exponential Function

Second Order RLC Filters

Problem Set 9 Solutions. θ + 1. θ 2 + cotθ ( ) sinθ e iφ is an eigenfunction of the ˆ L 2 operator. / θ 2. φ 2. sin 2 θ φ 2. ( ) = e iφ. = e iφ cosθ.

Every set of first-order formulas is equivalent to an independent set

DiracDelta. Notations. Primary definition. Specific values. General characteristics. Traditional name. Traditional notation

Approximation of distance between locations on earth given by latitude and longitude

Generating Set of the Complete Semigroups of Binary Relations

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

Homomorphism in Intuitionistic Fuzzy Automata

4.6 Autoregressive Moving Average Model ARMA(1,1)

w o = R 1 p. (1) R = p =. = 1

6.3 Forecasting ARMA processes

Lecture 10 - Representation Theory III: Theory of Weights

Numerical Analysis FMN011

Appendix to On the stability of a compressible axisymmetric rotating flow in a pipe. By Z. Rusak & J. H. Lee

DIRECT PRODUCT AND WREATH PRODUCT OF TRANSFORMATION SEMIGROUPS

Lecture 15 - Root System Axiomatics

The Negative Neumann Eigenvalues of Second Order Differential Equation with Two Turning Points

The kinetic and potential energies as T = 1 2. (m i η2 i k(η i+1 η i ) 2 ). (3) The Hooke s law F = Y ξ, (6) with a discrete analog

1 String with massive end-points

Strain gauge and rosettes

Homework 8 Model Solution Section

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM

Appendix A. Curvilinear coordinates. A.1 Lamé coefficients. Consider set of equations. ξ i = ξ i (x 1,x 2,x 3 ), i = 1,2,3

MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS

( ) 2 and compare to M.

Section 9.2 Polar Equations and Graphs

The Simply Typed Lambda Calculus

Srednicki Chapter 55

Coefficient Inequalities for a New Subclass of K-uniformly Convex Functions

Solutions to Exercise Sheet 5

J. of Math. (PRC) Banach, , X = N(T ) R(T + ), Y = R(T ) N(T + ). Vol. 37 ( 2017 ) No. 5

Lecture 26: Circular domains

Lecture 16 - Weyl s Character Formula I: The Weyl Function and the Kostant Partition Function

Inverse trigonometric functions & General Solution of Trigonometric Equations

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

CHAPTER 101 FOURIER SERIES FOR PERIODIC FUNCTIONS OF PERIOD

Problem Set 3: Solutions

Uniform Convergence of Fourier Series Michael Taylor

A summation formula ramified with hypergeometric function and involving recurrence relation

MATH423 String Theory Solutions 4. = 0 τ = f(s). (1) dτ ds = dxµ dτ f (s) (2) dτ 2 [f (s)] 2 + dxµ. dτ f (s) (3)

9.09. # 1. Area inside the oval limaçon r = cos θ. To graph, start with θ = 0 so r = 6. Compute dr

Solution Series 9. i=1 x i and i=1 x i.

Math221: HW# 1 solutions

ST5224: Advanced Statistical Theory II

g-selberg integrals MV Conjecture An A 2 Selberg integral Summary Long Live the King Ole Warnaar Department of Mathematics Long Live the King

5. Choice under Uncertainty

SOME PROPERTIES OF FUZZY REAL NUMBERS

ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω

CRASH COURSE IN PRECALCULUS

Mock Exam 7. 1 Hong Kong Educational Publishing Company. Section A 1. Reference: HKDSE Math M Q2 (a) (1 + kx) n 1M + 1A = (1) =

Cyclic or elementary abelian Covers of K 4

Exercises to Statistics of Material Fatigue No. 5

Tutorial problem set 6,

SPECIAL FUNCTIONS and POLYNOMIALS

Transcript:

Minimal Surfaces PDE as a Monge Ampère Type Equation Dmitri Tseluiko Abstract In the recent Bîlă s paper [1] it was determined the symmetry group of the minimal surfaces PDE (using classical methods). The aim of this paper is to find the Lie algebra of contact symmetries of the minimal surfaces PDE using the correspondence, established by V. V. Lychagin [2], between the second order non-linear differential operators and differential forms which are given on the manifold of 1-jets. Mathematics Subject Classification: 49Q05, 35Q80 Key words: Monge-Ampére operator, minimal surface, 1-jets, symmetry Introduction A surface is called minimal if the mean curvature of this surface is equal to zero. In what follows we show that the minimal surfaces PDE is a Monge Ampère type equation. So, in order to find symmetries of this equation we can use the relation, established by V. V. Lychagin [2], between Monge Ampère equations and differential forms which are given on the manifold of 1-jets. In Sections 1 and 2 we recall basic definitions and constructions and then we investigate symmetries of the minimal surfaces PDE. 1 Monge Ampère Operators and Equations Let M be a smooth manifold, dim M = n. Let also J 1 (M) be the manifold of 1-jets of smooth functions which are given on M and ω Λ 1 (J 1 (M)) the Cartan form on J 1 (M). The Cartan distribution generated by the Cartan form we denote by C. On the manifold J 1 (M) we have the following natural coordinates: ( t 1, t 2,..., t n, u, u 1, u 2,..., u n ), (1) see [7], [8], [9]. Here coordinates (t 1, t 2,..., t n ) correspond to the local coordinates (x 1, x 2,..., x n ) on M, u corresponds to a function given on M and (u 1, u 2,..., u n ) correspond to its first order partial derivatives. Balkan Journal of Geometry and Its Applications, Vol.7, No.1, 2002, pp. 113-120. c Balkan Society of Geometers, Geometry Balkan Press 2002.

114 D. Tseluiko In such local coordinates (which we also denote by (t, u, u )) the Cartan form can be written as ω = du u 1 dt 1 u 2 dt 2 u n dt n (or briefly ω = du u dt). As we can see, any differential n-form θ Λ n (J 1 (M)) defines a second order non-linear differential operator θ : C (M) Λ n (M) which acts on functions as follows: (2) θ (h) = j 1 (h) (θ), h C (M), where j 1 (h) is the 1-jet of the function h, see [2], [3]. In the local coordinates we get that (3) θ (h) = F θ (h)(x)dx 1 dx 2 dx n, where F θ : C (R n ) C (R n ) is a second order non-linear scalar differential operator. Operators θ are called Monge-Ampère operators and corresponding equations are called Monge-Ampère equations. A multivalued (or generalized) solution of the Monge- Ampère equation defined by the n-form θ is an n-dimensional integral manifold L of the Cartan distribution such that θ L = 0, see [2], [3]. Correspondence θ θ is not bijective but Monge-Ampère operators are uniquely determined by the elements of the quotient-modul Λ n (J 1 (M)) / C, where C = { θ Λ n (J 1 (M)) θ = 0 }. At each point x J 1 (M) the restriction of the exterior differential of the Cartan form dω x onto Cartan space C x determines a sympletic structure on C x and it allows to describe the elements of Λ n (J 1 (M)) / C by the effective forms, see [2], [3]. Differential s-forms on J 1 (M) can be expressed in the following way: (4) Λ s (J 1 (M)) = Λ s (C ) ( ω Λ s 1 (C ) ), where by Λ s (C ) are denoted differential s-forms that vanish along X 1 and X 1 is the contact vector field with generating function 1, see [3], [4]. Therefore we can consider the natural projection (5) p : Λ s (J 1 (M)) Λ s (C ), p(θ) = θ ω (X 1 θ) and the operator (6) d p : Λ s (C ) Λ s+1 (C ), d p = p d. Using the Hodge Lepage decomposition we obtain, that any differential s-form θ has the following unique representation: (7) θ = θ ef + ω θ 1 + dω θ 2, where θ 1 Λ s 1 (J 1 (M)), θ 2 Λ s 2 (J 1 (M)) and θ ef Λ s ef (J 1 (M))def=Λ s ef (C ) is an effective s-form, see [3]. Effective differential n-forms can be described as follows: θ is effective iff X 1 θ = 0 and θ dω = 0, see [2]. Example 1.0.1 Let n = 3. Let us consider the following 3-form given on the manifold of 1-jets in the natural coordinates:

Minimal Surfaces PDE as a Monge Ampère Type Equation 115 (8) ( du1 u θ = du 1 dt 3 du 1 u 1 dt 2 + du ) 2 u 2 dt 1. du 2 u 2 du 3 u 3 du 3 u 3 This form as we can see is decomposible. Differential operator, that corresponds to θ, has the following form: h 11 h 12 h 1 h 11 h 13 h 1 h 22 h 23 h 2 θ (h) = h 12 h 22 h 2 + h 13 h 33 h 3 + h 23 h 33 h 3 dx 1 dx 2 dx 3, h 1 h 2 0 h 1 h 3 0 h 2 h 3 0 (9) where h i = h x i, i = 1, 2 and h jk = 2 h x j, j, k = 1, 2, 3. In this case we get: xk (10) F θ (h) = h 11 h 12 h 1 h 12 h 22 h 2 h 1 h 2 0 + h 11 h 13 h 1 h 13 h 33 h 3 h 1 h 3 0 + h 22 h 23 h 2 h 23 h 33 h 3 h 2 h 3 0. If we now consider 3-form (11) θ H = 1 (u 2 1 + u2 2 + u2 3 )3/2 θ, then we get the following operator (12) H(h) = h 11 h 12 h 1 h 12 h 22 h 2 h 1 h 2 0 h 11 h 13 h 1 h 22 h 23 h 2 + h 13 h 33 h 3 + h 23 h 33 h 3 h 1 h 3 0 h 2 h 3 0 (h1 2 + h2 2 + h2 3 )3/2, which corresponds to the mean curvature of the surface given in the space x 1 x 2 x 3 by equation h(x 1, x 2, x 3 ) = const. If the surface is given by equation x 3 = ϕ(x 1, x 2 ), i.e. by h(x 1, x 2, x 3 ) = 0, where h(x 1, x 2, x 3 ) = x 3 ϕ(x 1, x 2 ), then the mean curvature of this surface has the folowing form: (13) H(ϕ) = ϕ 11(1 + ϕ 2 2) + ϕ 22 (1 + ϕ 2 1) 2ϕ 1 ϕ 2 ϕ 12 (ϕ 2 1 + ϕ2 2 + 1)3/2. Corresponding effective 2-form can be expressed as follows: θ H = (1 + u2 1)dt 1 du 2 (1 + u2)dt 2 2 du 1 u 1 u 2 dt 1 du 1 + u 1 u 2 dt 2 du 2 (14) (u 2 1 + u2 2 +. 1)3/2 2 Symmetries of Monge Ampère Operators and Equations Lie group Ct(J 1 (M)) of contact diffeomorphisms acts on Monge Ampère operators in the following way: (15) F ( θ )def= F (θ), F Ct(J 1 (M)).

116 D. Tseluiko Lie algebra ct(j 1 (M)) of contact vector fields acts similarly: (16) X f ( θ )def= LXf (θ). Here X f ct(j 1 (M)) is the contact vector field with generating function f C (J 1 (M)), see [4], and L Xf is an operator of Lie derivation along X f. A contact transformation F Ct(J 1 (M)) is called a symmetry of Monge Ampère operator θ if F ( θ ) = θ. A contact vector field X f ct(j 1 (M)) is called an infinitesimal symmetry of Monge Ampère operator θ if X f ( θ ) = 0. Finite and infinitesimal symmetries of Monge Ampère equations are defined similarly: A contact transformation F Ct(J 1 (M)) is called a symmetry of Monge Ampère equation defined by θ if F ( θ ) = µ θ for some function µ C (J 1 (M)). A contact vector field X f ct(j 1 (M)) is called an infinitesimal symmetry of Monge Ampère equation defined by θ if X f ( θ ) = λ θ for some function λ C (J 1 (M)). If θ is an effective n-form, then X f is an infinitesimal symmetry of Monge Ampère equation if the following condition holds: (17) p(l Xf (θ)) = λθ for some smooth function λ C (J 1 (M)), see [3]. Moreover, X f is an infinitesimal symmetry if and only if the following Lie equation holds: (18) (i f d p )(θ) + (d p i f )(θ) + fl X1 (θ) = λθ, for some function λ C (J 1 (M)), see [2], [3]. Here i f is an operator of inner multiplication by X f. 3 Minimal Surfaces PDE A surface is called minimal if the mean curvature of this surface is equal to zero. As we can see from (13), the minimal surface PDE of the surface given by equation x 3 = ϕ(x 1, x 2 ) has the following form: (19) ϕ 11 (1 + ϕ 2 2) + ϕ 22 (1 + ϕ 2 1) 2ϕ 1 ϕ 2 ϕ 12 = 0. An effective differential 2-form in the space J 1 (R 2 ), which corresponds to the minimal surfaces PDE is (20) θ = (1 + u 2 1)dt 1 du 2 (1 + u 2 2)dt 2 du 1 u 1 u 2 dt 1 du 1 + u 1 u 2 dt 2 du 2. Further we will study the infinitesimal symmetries of the minimal surfaces PDE using the method described above. The investigation of the infinitesimal symmetries of this PDE by the classical method which is based on regarding the manifold of 2-jets, see [5], [6], can be found in [1]. We will find only symmetries that are prolognations of the vector fields given on J 0 (R 2 ). The generating functions of such symmetries must have the form f(t, u, u ) = ϕ ξu 1 ηu 2, where functions ξ, η and ϕ depend only on t and u. Corresponding contact vector field is

Minimal Surfaces PDE as a Monge Ampère Type Equation 117 (21) where X f = ξ t 1 + η t 2 + ϕ u + Φ1 + Φ 2. u 1 u 2 Φ 1 = ϕ t 1 + (ϕ u ξ t 1)u 1 η t 1u 2 ξ u u 2 1 η u u 1 u 2, Φ 2 = ϕ t 2 + (ϕ u η t 2)u 2 ξ t 2u 1 η u u 2 2 ξ u u 1 u 2. Considering that L Xf (t 1 ) = ξ, L Xf (t 2 ) = η, L Xf (u 1 ) = Φ 1, L Xf (u 2 ) = Φ 2, we get: L Xf (θ) = 2u 1 Φ 1 dt 1 du 2 + (1 + u 2 1)dξ du 2 + (1 + u 2 1)dt 1 dφ 2 2u 2 Φ 2 dt 2 du 1 (1 + u 2 2)dη du 1 (1 + u 2 2)dt 2 dφ 1 (Φ 1 u 2 + u 1 Φ 2 )dt 1 du 1 u 1 u 2 dξ du 1 u 1 u 2 dt 1 dφ 1 + +(Φ 1 u 2 + u 1 Φ 2 )dt 2 du 2 + u 1 u 2 dη du 2 + u 1 u 2 dt 2 dφ 2. And further we find: L Xf (θ) = (2ϕ t 1u 1 + 2(ϕ u ξ t 1)u 2 1 2η t 1u 1 u 2 2ξ u u 3 1 2η u u 2 1u 2 )dt 1 du 2 + +(1 + u 2 1)ξ t 1dt 1 du 2 + (1 + u 2 1)ξ t 2dt 2 du 2 + (1 + u 2 1)ξ u du du 2 + +(1 + u 2 1)(ϕ t 2 t 2 + (ϕ t 2 u η t 2 t 2)u 2 ξ t 2 t 2u 1 η t 2 uu 2 2 ξ t 2 uu 1 u 2 )dt 1 dt 2 + +(1 + u 2 1)(ϕ t 2 u + (ϕ uu η t2 u)u 2 ξ t 2 uu 1 η uu u 2 2 ξ uu u 1 u 2 )dt 1 du (1 + u 2 1)(ξ t 2 + ξ u u 2 )dt 1 du 1 + (1 + u 2 1)(ϕ u η t 2 2η u u 2 ξ u u 1 )dt 1 du 2 (2ϕ t 2u 2 + 2(ϕ u η t 2)u 2 2 2ξ t 2u 1 u 2 2η u u 3 2 2ξ u u 1 u 2 2)dt 2 du 1 (1 + u 2 2)η t 1dt 1 du 1 (1 + u 2 2)η t 2dt 2 du 1 (1 + u 2 2)η u du du 1 + +(1 + u 2 2)(ϕ t 1 t 1 + (ϕ t 1 u ξ t 1 t 1)u 1 η t 1 t 1u 2 ξ t1 uu 2 1 η t 1 uu 1 u 2 )dt 1 dt 2 (1 + u 2 2)(ϕ t 1 u + (ϕ uu ξ t 1 u)u 1 η t 1 uu 2 ξ uu u 2 1 η uu u 1 u 2 )dt 1 du (1 + u 2 2)(ϕ u ξ t 1 2ξ u u 1 η u u 2 )dt 1 du 1 + (1 + u 2 2)(η t 1 + η u u 1 )dt 1 du 2 (ϕ t 2u 1 + ϕ t 1u 2 ξ t 2u 2 1 η t 1u 2 2 + (2ϕ u ξ t 1 η t 2)u 1 u 2 2ξ u u 2 1u 2 2η u u 1 u 2 2) dt 1 du 1 u 1 u 2 ξ t 1dt 1 du 1 u 1 u 2 ξ t 2dt 2 du 1 u 1 u 2 ξ u du du 1 u 1 u 2 (ϕ t 1 t 2 + (ϕ t 2 u ξ t 1 t 2)u 1 η t 1 t 2u 2 ξ t 2 uu 2 1 η t 2 uu 1 u 2 )dt 1 dt 2 u 1 u 2 (ϕ t 1 u + (ϕ uu ξ t 1 u)u 1 η t 1 uu 2 ξ uu u 2 1 η uu u 1 u 2 )dt 1 du u 1 u 2 (ϕ u ξ t 1 2ξ u u 1 η u u 2 )dt 1 dt 2 + u 1 u 2 (η t 1 + η t 2 uu 1 )dt 1 dt 2 + +(ϕ t 2u 1 + ϕ t 1u 2 ξ t 2u 2 1 η t 1u 2 2 + (2ϕ u ξ t 1 η t 2)u 1 u 2 2ξ u u 2 1u 2 2η u u 1 u 2 2) dt 2 du 2 + u 1 u 2 η t 1dt 1 du 2 + u 1 u 2 η t 2dt 2 du 2 + u 1 u 2 η u du du 2 u 1 u 2 (ϕ t 1 t 2 + (ϕ t 1 u η t 1 t 2)u 2 ξ t 1 t 2u 1 η t 1 uu 2 2 ξ t 1 uu 1 u 2 )dt 1 dt 2 + +u 1 u 2 (ϕ t2 u + (ϕ uu η t 2 u)u 2 ξ t 2 uu 1 η uu u 2 2 ξ uu u 1 u 2 )dt 2 du u 1 u 2 (ξ t 2 + ξ u u 2 )dt 2 du + u 1 u 2 (ϕ u η t 2 2η u u 2 ξ u u 1 )dt 2 du. Substituting du = ω + u 1 dt 1 + u 2 dt 2 and considering that after the natural projection p : Λ s (J 1 (R 2 )) Λ s (C ) the part which is proportional to ω will eliminate we obtain:

118 D. Tseluiko p(l Xf (θ)) = [ ϕ t 1 t 1 + ϕ t 2 t 2 + (2ϕ t 1 u ξ t 1 t 1 ξ t 2 t 2)u 1 + (2ϕ t 2 u η t 1 t 1 η t 2 t 2)u 2+ +(ϕ t 2 t 2 + ϕ uu 2ξ t 1 u)u 2 1 + (ϕ t 1 t 1 + ϕ uu 2η t 2 u)u 2 2 2(ϕ t 1 t 2 + ξ t 2 u + η t1 u)u 1 u 2 (ξ t 2 t 2 + ξ uu)u 3 1 (η t1 t 1 + η uu)u 3 2+ +(2ξ t 1 t 2 η t 2 t 2 η uu)u 2 1u 2 + (2η t 1 t 2 ξ t 1 t 1 ξ uu)u 1 u 2 2] dt 1 dt 2 + + [ ϕ u + ξ t 1 η t 2 + 2ϕ t 1u 1 2η u u 2 + +(3ϕ u ξ t 1 η t 2)u 2 1 2ξ u u 3 1 2η u u 2 1u 2 ] dt 1 du 2 [ ϕ u ξ t 1 + η t 2 2ξ u u 1 + 2ϕ t 2u 2 + +(3ϕ u ξ t 1 η t 2)u 2 2 2η u u 3 2 2ξ u u 1 u 2 2] dt 2 du 1 [ η t 1 + ξ t 2 + (ϕ t 2 + η u )u 1 + (ϕ t 1 + ξ u )u 2 + +(3ϕ u ξ t 1 η t 2)u 1 u 2 2ξ u u 2 1u 2 2η u u 1 u 2 2] (dt 1 du 1 dt 2 du 2 ). Field X f is an infinitesimal symmetry of the minimal surfaces PDE if the condition (17) (or equivalent condition (18)) holds. In this case this condition can be expressed in the following way: ϕ t1 t 1 + ϕ t 2 t 2 + (2ϕ t 1 u ξ t 1 t 1 ξ t 2 t 2)u 1 + (2ϕ t 2 u η t 1 t 1 η t 2 t 2)u 2+ +(ϕ t 2 t 2 + ϕ uu 2ξ t1 u)u 2 1 + (ϕ t 1 t 1 + ϕ uu 2η t 2 u)u 2 2 2(ϕ t 1 t 2 + ξ t 2 u + η t 1 u)u 1 u 2 (ξ t 2 t 2 + ξ uu)u 3 1 (η t 1 t 1 + η uu)u 3 2+ +(2ξ t 1 t 2 η t 2 t 2 η uu)u 2 1u 2 + (2η t 1 t 2 ξ t 1 t 1 ξ uu)u 1 u 2 2 = 0 ϕ u + ξ t 1 η t 2 + 2ϕ t 1u 1 2η u u 2 + +(3ϕ u ξ t 1 η t 2)u 2 1 2ξ u u 3 1 2η u u 2 1u 2 = λ(1 + u 2 1) ϕ u ξ t 1 + η t 2 2ξ u u 1 + 2ϕ t 2u 2 + +(3ϕ u ξ t 1 η t 2)u 2 2 2η u u 3 2 2ξ u u 1 u 2 2 = λ(1 + u 2 2) η t 1 + ξ t 2 + (ϕ t 2 + η u )u 1 + (ϕ t 1 + ξ u )u 2 + +(3ϕ u ξ t 1 η t 2)u 1 u 2 2ξ u u 2 1u 2 2η u u 1 u 2 2 = λu 1 u 2 Eliminating λ, we get the following system of partial differential equations: ϕ t 1 t 1 + ϕ t 2 t 2 + (2ϕ t 1 u ξ t1 t 1 ξ t 2 t 2)u 1 + (2ϕ t 2 u η t 1 t 1 η t 2 t 2)u 2+ +(ϕ t 2 t 2 + ϕ uu 2ξ t 1 u)u 2 1 + (ϕ t 1 t 1 + ϕ uu 2η t2 u)u 2 2 2(ϕ t 1 t 2 + ξ t 2 u + η t 1 u)u 1 u 2 (ξ t 2 t 2 + ξ uu)u 3 1 (η t1 t 1 + η uu)u 3 2+ +(2ξ t 1 t 2 η t 2 t 2 η uu)u 2 1u 2 + (2η t 1 t 2 ξ t 1 t 1 ξ uu)u 1 u 2 2 = 0 ξ t 2 + η t 1 + (ϕ t 2 + η u )u 1 + (ϕ t 1 + ξ u )u 2 + (ξ t 2 + η t 1)u 2 1+ +2(ϕ u ξ t 1)u 1 u 2 + (ϕ t 2 + η u )u 3 1 (ϕ t 1 + ξ u )u 2 1u 2 = 0 ξ t 2 + η t 1 + (ϕ t 2 + η u )u 1 + (ϕ t 1 + ξ u )u 2 + (ξ t 2 + η t 1)u 2 2+ +2(ϕ u η t 2)u 1 u 2 + (ϕ t 1 + ξ u )u 3 2 (ϕ t 2 + η u )u 1 u 2 2 = 0 Since functions ξ, η and ϕ do not depend on u 1 and u 2, then from the last system it follows that the coefficients of the monomials depending on u 1 and u 2 must be equal to zero. So, we obtain the following system of PDE s:

Minimal Surfaces PDE as a Monge Ampère Type Equation 119 ϕ t 1 t 1 + ϕ t 2 t 2 = 0 ξ t 1 t 1 + ξ t 2 t 2 = 2ϕ t 1 u η t 1 t 1 + η t 2 t 2 = 2ϕ t 2 u ϕ t 2 t 2 + ϕ uu = 2ξ t 1 u ϕ t 1 t 1 + ϕ uu = 2η t2 u ϕ t1 t 2 + ξ t 2 u + η t 1 u = 0 ξ t2 t 2 + ξ uu = 0 η t 1 t 1 + η uu = 0 η t 2 t 2 + η uu = 2ξ t 1 t 2 ξ t 1 t 1 + ξ uu = 2η t 1 t 2 ξ t 2 + η t 1 = 0 ϕ t 2 + η u = 0 ϕ t 1 + ξ u = 0 ϕ u ξ t 1 = 0 ϕ u η t 2 = 0 Solutions of this system have the following form: for any C 1, C 2,..., C 7 R. We get the following theorem: Theorem 3.0.1 The functions ξ(t 1, t 2, u) = C 1 + C 7 t 1 + C 4 t 2 + C 6 u η(t 1, t 2, u) = C 2 C 4 t 1 + C 7 t 2 + C 5 u ϕ(t 1, t 2, u) = C 3 C 6 t 1 C 5 t 2 + C 7 u f 1 = u 1, f 2 = u 2, f 3 = 1, f 4 = t 1 u 2 t 2 u 1, f 5 = t 1 uu 1, f 6 = t 2 uu 2, f 7 = u t 1 u 1 t 2 u 2 form a basis of the Lie algebra of generating functions of the minimal surfaces PDE (19) which have the form f = ϕ ξu 1 ηu 2. Corresponding vector fields X f1 = t 1, X f 2 = t 2, X f 3 = u, X f4 = t 2 t 1 t1 t 2 + u 2 u 1, u 1 u 2 X f5 = u t 1 t1 u (1 + u2 1) u 1 u 2, u 1 u 2 X f6 = u t 2 t2 u u 1u 2 (1 + u 2 u 2), 1 u 2 X f7 = t 1 t 1 + t2 t 2 + u u, form a basis of the Lie algebra of symmetries of the minimal surfaces PDE (19) which are prolognations of the vector fields given on J 0 (R 2 ). Similar result obtained by the classical method can be found in the [1]. We note that the method described above allows to find more general symmetries, not only the prolognations of the vector fields given on J 0 (R 2 ). References [1] N. Bîlă, Lie Groups Applications to Minimal Surfaces PDE, Proceedings of the Workshop on Global Analysis, Differential Geometry and Lie Algebras, BSG Proceedings 3, Geometry Balkan Press, 1999, pp. 196-204.

120 D. Tseluiko [2] V. V. Lychagin, Contact Geometry and Non-Linear Second-Order Differential Equations, Uspekhi Mat. Nauk, Vol. 34, No. 1, 1979, pp. 137-165 (in Russian); English Transl., Russian Math. Surveys, Vol. 34, No. 1, 1979, pp. 149-180. [3] V. V. Lychagin, Lectures on Geometry of Differential Equations, Ciclo di conferenze tenute presso il Dipartimento di Metodi e Modelli Matematici per le Scienze Applicate Università La Sapienza, Roma, 1992, 135 p. [4] V. V. Lychagin, Local Classification of Non-Linear First-Order Partial Differential Equations, Uspekhi Mat. Nauk, Vol. 30, No. 1, 1975, pp. 101-171 (in Russian); English Transl., Russian Math. Surveys, Vol. 30, No. 1, 1975, pp. 105-176. [5] P. J. Olver, Applications of Lie Groups to Differential Equations, Springer-Verlag, New York, 1993, 591 p. [6] L. V. Ovsiannikov, Group Analysis of Differential Equations, Academic Press, New York, 1982. [7] M. Rahula, New Problems in Differential Geometry, World Scientific Publishing, 1993, 172 p. [8] M. Rahula, Exponential Law in the Lie-Cartan Calculus, Rendiconti del Seminario Matematico di Messina, Atti del Congresso Internazionale in Onore di Pasquale Calapso, Messina, 1998, pp. 267-291. [9] M. Rahula, Loi exponentielle dans le fibré des jets, symmétries des équations différentielles et rèpere mobile de Cartan, Balkan Journal of Geometry and its Applications, Vol. 5, No. 1, 2000, pp. 133-140. Institute of Pure Mathematics Department of Mathematics and Informatics University of Tartu Vanemuise 46, 51014 Tartu, Estonia email: tdmitri@ut.ee

2025 © DocPlayer.gr Πολιτική Απορρήτου | Όροι Χρήσης | Σχόλια