Бонне теоремаси - Геометрия - Рефераты

Бонне теоремаси

Загружено в:

20.09.2019

Скачано:

0

Размер:

491.5 KB

Бонне теоремаси Б ерилган иккита квадратик формалар учун сиртнинг мавжудлиги ва фазодаги ҳаракатга нисбатан унинг ягоналиги ҳақидаги теоремаларни исботлаймиз. Теорема-16 (Мавжудлик). Текисликдаги G соҳада аниқланган g q ij ij , дифференциалланувчи функциялар берилган бўлиб, g g q q ij ji ij ji   , муносабатлар бажарилган ва   gij матрицанинг детерминанти нолдан катта бўлсин. Бундан ташқари бу функциялар учун Гаусс ва Петерсон-Кодацци тенгламалари бажарилган бўлсин. Шунда ҳар бир   u v G 0 0,  учун бу нуқтанинг G V  атрофи ва V v u v u r r   ) , (), , (  тенглама билан аниқланган регуляр Ф сирт мавжуд бўлиб, унинг биринчи ва иккинчи квадратик формаларининг матрицалари мос равишда   gij ва   qij матрицалар билан устма-уст тушади. Исбот. Берилган   gij матрицага тескари матрица элементларини gjk билан белгилаймиз ва ) ( 2 1 , il j ij l l i jk jk jil kil g u g u g u g g j            бўйича ijk функцияларни топамиз. Энди қуйидаги N X X , , 2 1 вектор функцияларга нисбатан қуйидаги хусусий ҳосилали дифференциал тенгламалар системасини қарайлик.           k jk ij u ij k kij i uj X g q N N q X X i  (1). Бу ерда u u u v 1 2   , белгилашлардан фойдаланди. Шуни ҳисобга олиб (1) системани ҳар бир индекс учун ёзсак, у

2 22 1 12 2 21 1 11 22 2 222 1 122 2 21 2 221 1 121 2 12 2 212 1 112 1 11 2 211 1 111 1 X a X a v N X a X a u N N q X X Xv N q X X X u N q X X Xv N q X X X u                             (2) кўринишга келади. Энди бу хусусий ҳосилали дифференциал тенгламалар системасининг ечими мавжудлик шартларини ёзамиз: i j j i j k i k j i u u N u u N u u X u u X               , (3). Бу мавжудлик шартлари Гаусс ва Петерсон-Кодацци тенгламала рига эквивалент эканлигини олдинги параграфда кўрсатдик. Демак бизнинг (1) системамиз учун G соҳанинг ҳар бир нуқтасида ечимнинг мавжудлик шартлари бажарилган. Демак, бирорта ( , ) u v G 0 0  нуқта олсак, шу нуқтанинг бирорта V атрофида (1) система ( , ) u v 0 0 нуқтада берилган бошланғич шартларни қаноатлантирувчи ягона ечимга эга яúни V соҳада аниқланган вектор функциялар ) , ( ), , ( ), , ( 2 1 v u N v u X v u X мавжуд ва (1) системани қаноатлантиради. Бошланғич шартларни қуйида гича танлаймиз: ,0 )) , ( ), , ( ( )) , ( ), , ( (,1 | ||) , ( | 0 0 0 0 2 0 0 0 0 1 0 0 0     v u N v u X v u N v u X N v u N ) , ( ), , ( ( ) , ( 0 0 0 0 0 0 v u X v u X v u g j i ij  ва ) , ( ), , ( ), , ( 0 0 0 0 2 0 0 1 v u N v u X v u X

векторлар ўнг системани ташкил қилади. Бу бошланғич шартларни қаноатлантирувчи векторлар мавжудлиги { ( , )} g u v ij 0 0 матрицанинг мусбат аниқланганлигидан келиб чиқади. Энди   r r u v  ( , ) вектор функция учун    2 1 , X r X r v u  системасини қараймиз. Бу система учун ечимнинг мавжудлик шарти   r r uv vu  тенгликдан иборатдир. Лекин g g ij ji  бўлганлиги учун Г Г ijk jik  ундан ташқари q q ij ji  муносабат ҳам бор. Демак, 2 1 X u Xv      муносабат ва ru uv r r    тенглик ўринлидир. Шундай қилиб, агар ( , ) u v V 0 0 нуқта учун (4) системани a v u r   ) , ( 0 0 бошланғич шарт билан қарасак. ( u v 0 0 , ) нуқтанинг бирорта V V 0 атрофида аниқланган r u v ( , ) ечим мавжуд. Энди 0 ), ( ),, ( V v u v ur r     тенглама билан аниқланган Ф сиртнинг биринчи ва иккинчи квадратик формалари коэффициентларини ҳисоблаймиз. Бунинг учун 2 ), , (), , ( N N X X X i j i функцияларни дифференциаллаш ёрдамида                 ) , ( 2 ) , ( ) , ( ) , ( ) , ( ) , ( ) , ( ) , ( ) , ( ) , ( 2 N X g q N N u N q N X X X g q X N u X N q X N q X X X X X X u k lk il i ij l lij j k lk il j i i jk j ik i l ljk j l lik j i k  (5) хусусий ҳосилали дифференциал тенгламалар системасини ҳосил қиламиз. Бу тенгламалар системаси учун (4)

1 ) , (,0 ) , (, ) , ( 2    N N N N X q X X j ij j iфункциялар ечим бўлади. Охирги тенглама учун бу фактни бевосита 0 ) , (,1 2   N X N j ифодаларни тенгламага қўйиб текшириш мумкин. Иккинчи тенглама учун текширамиз 0      ij ij ij lj il ij kj lk il q q q q q g g q  . Биринчи тенгламани текшириш учун Г g u g u g u g ikl lm i km k im m ik      1 2       тенгликни ljg га кўпайтириб, индекс l бўйича йиғамиз. Натижада Г g u g u g u g ikl lj i kj k ij j ik          1 2       тенгликни ҳосил қиламиз. Худди шундай Г g u g u g u g jkl li j ki k ji i jk        1 2       тенглик ҳам ўринли. Бундан Г g Г g u g ikl lj jkl li k ij     муносабат келиб чиқади. Бу муносабат ўз навбатида 0 ) , (, ) , (   N X g X X i ij j i функциялар 1-тенглама учун ечим эканлигини кўрсатади. Бу ечимлар учун бошланғич шартларга кўра 0 )) , ( ) , ( (), , ( ) , )( , ( 0 0 0 0 0 0 0 0   v u N v u X v u g v u X X i ij j i

1 ) , ( | 0 0 2  v u Nмуносабатлар ўринли ва  0 0 0 0 2 0 0 1 , ( ), , ( ), , ( v u N v u X v u X векторлар ўнг системани ташкил этади. Бундан эса, (5) системанинг ечими ягоналигига кўра 1 ,0 ) , (), , ( 2   N N X X X g j j i ij тенгликлар ва аралаш кўпайтма учун 0 2 1  N X X муносабат V 0 соҳанинг ҳамма нуқтасида бажарилиши келиб чиқади. Демак, Ф сирт учун 1 ,0 ) , (, ) , ( 2   N N r g r r i j i u ij u u    муносабатлар ўринли. Бундан эса Ф сиртнинг биринчи квадратик формаси матрицаси { } gij матрица билан устма-уст тегишли келиб чиқади. Иккинчи томондан 0 )) , ( , ( )) , ( , (   v u N r v u N r v u     бўлганлиги учун ) , ( v u N вектор Ф сиртнинг бирлик нормал вектори бўлади. Демак, il kl jk ij l k jk ij u l u u q g g q X X g q N X N r i i l      ) , ( ) , ( ) , (    муносабат ўринли бўлиб, Ф сиртнинг иккинчи квадратик форма матрицаси qil матрица билан устма-уст тушади.  Теорема-17 (ягоналик). Мавжудлик ҳақидаги теорема шартларини қаноатланти рувчи регуляр Ф Ф1 2 , сиртлар учун шундай ягона, C R R : 3 3  ҳаракат мавжуд бўлиб, C Ф Ф ( )1 2  тенглик ўринли бўлади.

Исбот. Фараз қилайлик, Ф Ф1 2 , регуляр сиртларнинг ( , ) f V1 0 ва ( , ) f V2 0 регуляр параметрлаш усуллари мос равишда 0 2 1 ), ( ), ( ), ( V v u v u r r v u r r       тенгламалар билан аниқланиб, уларнинг биринчи ва иккинчи квадратик формалари мос равишда ҳар бир ( , ) u v V 0 нуқтада тенг бўлсин. Бу сиртлар учун радиуси вектори r u v 1( , ) га тенг бўлсин нуқтани радиус вектори r u v 2( , ) бўлган нуқтага ўтказувчи F Ф Ф : 1 2  акслантиришни қарайлик. Демак, F акслантириш Ф 1 сиртдаги ( , ) u v координатали нуқтани 2 Ф сиртдаги ( , ) u v координата нуқтага акслантиради ва демак F дифференциалланувчи акслантиришдир. Бу акслантиришнинг диф - ференциалланувчи эканлигини кўрсатиш учун 5-теоремага кўра F f V R   1 0 3 : акслантиришнинг дифференциалланувчи эканлигини кўр сатиш керак. Агар x u v y u v z u v 2 2 2 ( , ), ( , ), ( , ) дифференциалланувчи функ циялар r u v 2( , ) вектор- функциянинг координаталари бўлса,   F f u v x u v y u v z u v   1 2 2 2 ( , ) ( , ), ( , ), ( , ) тенглик ўринли бўлади ва шунинг учун F f u v  1( , ) дифференциал ланувчи акслантиришдир. Ҳар бир ( , ) u v V 0 нуқтада I u v I u v 1 2 ( , ) ( , )  бўлганлиги учун 9-теоремага кўра F акслантириш изометрик акслантиришдир. Демак, F акслантиришда скаляр кўпайтма, хусусан уринма векторлар орасидаги бурчаклар сақланди. Демак ( , ) u v 0 0 нуқтада   r r u v 1 1 , ва      n r r r r u v u v 1 1 1 1 1  [ , ] |[ , ]| векторлар ўнг (чап) ориентацияни аниқласа   r r u v 2 2 , ва      n r r r r u v u v 2 2 2 2 2  [ , ] |[ , ]| векторлар ҳам ўнг (мос равишда чап) ориентацияни аниқлайди. Демак P x u v y u v z u v ( ( , ), ( , ), ( , ) 1 0 0 1 0 0 1 0 0 нуқтада

   r u v r u v n u v u v 1 0 0 1 0 0 1 0 0 ( , ), ( , ), ( , )векторлар, Q x u v y u v z u v  ( ( , ), ( , ), ( , )) 2 0 0 2 0 0 2 0 0 нуқтада эса    r u v r u v n u v u v 2 0 0 2 0 0 2 0 0 ( , ), ( , ), ( , ) векторлар базисни ташкил этиб, бу базислар бир хил ориентацияни ташкил этади ва | | | |,| | | |,| | | |       r r r r n n u u v v 1 2 1 2 1 2    тенгликлар бажарилади. Аналитик геометриядаги маúлум теоремага кўра P нуқтани Q нуқтага, ( , , )    r r n u v 1 1 1 базисни ( , , )    r r n u v 2 2 2 базисга ўтказувчи C R R : 3 3  акслантириш мавжуд бўлиб, у параллел кўчириш ва буришдан иборат бўлади [1]. Бу акслантириш изометрик акслантириш бўлади, чунки параллел кўчириш ва буриш изометрик акслантиришлардир. Энди C R R : 3 3  акслантиришда C Ф Ф ( )1 2  эканлигини кўрсатайлик. Бунинг учун   ( , ) ( ( , )) u v C r u v   1 белгилаш киритайлик. Бу ерда C  акслантириш, C акслантиришнинг дифференциалидир. Акслантириш C изометрия бўлганлиги учун C  - ортогонал матрицадир. Демак,          ( , ) ( , ), ( , ) ( ( , )), ( , ) ( ( , )) u v r u v u v C r u v u v C r u v u u v v 0 0 2 0 0 0 0 1 0 0 0 0 1 0 0      тенгликлардан ташқари C Ф( )1 сиртнинг биринчи квадратик формаси Ф 1 сиртнинг ва демак Ф 2 сиртнинг биринчи квадратик формаси билан устма-уст тушади. Акслантириш C ориентацияни сақланганлиги учун, C Ф( )1 ва Ф 2 сиртларнинг иккинчи квадратик формалари ҳам устма-уст тушишини кўрсатамиз. Уринма   a b Т Фp ,  1 векторлар берилган ва     a C a b C b       ( ), ( ) бўлсин. II a b II a b 1( , ) ( , )         тенгликни кўрсатишимиз керак. Бунинг учун,

L r n n M r n n uu uu uv uv     ( , ) ( , ), ( , ) ( , )         1 1  ва N r n n vv vv   ( , ) ( , )     1  тенгликлари кўрсатамиз. Бу ерда n C Ф  ( )1 сиртнинг нормал вектори.   ( , ) ( ( , )) u v C r u v   тенгликни дифференциаллаймиз ва       u u v v u v C r C r ( , ) ( ), ( )     тенгликларни ҳосил қиламиз. Бундан ташқари       n C n u v u v    [ , ] |[ , ]| ( )     1 тенглик ҳам ўринли, чунки вектор кўпайтма ориента ция сақловчи изометрияда сақланади. Þқоридаги тенгликни дифферен циаллаб,   n C nu  ( )1 тенгликни ҳосил қиламиз. Демак, L r n r n n n uu u u u u uu     ( , ) ( , ) ( , ) ( , )        1   бўлади. Худди шундай иккинчи квадратик форманинг бошқа коэффици - ентлари ҳам тенгдир. Натижада, Ф 2 сирт ва C Ф( )1 сиртларнинг биринчи ва иккинчи квадратик формалари тенглигини ҳосил қилдик. Демак, ) , ( ), , ( 2 v u r v u   вектор функциялар деривацион формулаларга кўра битта хусусий ҳосилали дифференциал тенгламалар системасининг ечими бўлади. Бундан ) , ( ) , ( 0 0 2 0 0 v u r v u     тенгликка асосан   ( , ) ( , ) u v r u v  2 келиб чиқади. Демак, C Ф Ф ( )1 2  тенглик исботланди. 

Похожие

Геодезик чизиқлар. Гаусс-Бонне теоремаси

Нормал эгрилик ва Менье теоремаси

Параллеллик аксиомаси ва I- V гуруҳ аксиомаларидан келиб чиқадиган натижалар. Учбурчакларнинг ухшашлиги

Асосий геометрик далиллар ва теоремалар

Шарлар усули