Бош йўналишлар ва бош эгриликлар - Геометрия - Рефераты

Бош йўналишлар ва бош эгриликлар

Загружено в:

20.09.2019

Скачано:

0

Размер:

301 KB

Бош йўналишлар ва бош эгриликлар Сиртнинг иккинчи квадратик формаси Ф сиртнинг 2-квадратик формаси ҳам Т р Ф га тегишли векторлар жуфти учун аниқланган бичизиқли (яъни ҳар бир аргументи бўйича чизиқли) функция ёрдамида аниқланади. Ф сиртнинг р нуқтасидаги бирлик нормал векторини n билан белгилайлик. Иккинчи квадратик формани II билан белгилаб, уни a T Фp  учун II a a ( , )   ни бериш ёрдамида аниқлаймиз. Агар p нуқта атрофида Ф сиртни параметрлаш усули ) , ( v u r r   тенглама билан аниқланиб, Ф сиртда p нуқтадан ўтувчи  эгри чизиқ      ()t тенглама билан берилган ва a t     ) (0  бўлсин. Þқорида кўрсатилганидек, u u t  () v v t  () дифференциалланувчи функциялар мавжуд бўлиб ))( ),( ( )( t v t u r t     тенглик бажарилади. Иккинчи квадратик форманинг { ,}  aa жуфтлик учун қийматини ) ), ( ( ) , ( 0 n t a a II       формула билан аниқлаймиз. Энди ) ( ) , ( ) ( ) , ( ) ( 0 0 0 0 0 0 0 t v v u r t u v u r t v u         ва ) ( ) ( ) ( ( ) ( 2 2 0 0           v r v r vu r ur vu r t u r t v vu vu u uv uv        тенгликларни ҳисобга олиб, 2 0 0 0 0 2 0 0 ) )( ), , ( ( ) ), , ( (2 ) )( ), , ( ( ) , ( dt dv n v u r ut dv dt du n v u r dt du n v u r a a II vu uv uv            формулани ҳосил қиламиз. Энди ) , ( ), , ( ), , ( n r N n r M n r L uv uv uv          белгилашларни киритиб, иккинчи квадратик формага мос келувчи бичи зиқли функцияни 2 2 1 2 2 1 11 ) ( ) , ( b Na b a ba M b La b a II       формула ёрдамида аниқлаймиз. Бу ерда 2 1 2 1 , br br b ar ar a v u v u           .

Биринчи ва иккинчи квадратик формалар коэффициентларидан тузилганA E p F p F p G p B L p M p M p N p         ( ) ( ) ( ) ( ), ( ) ( ) ( ) ( ) матрицаларни киритамиз. Биз биламизки, detA >0 бўлганлиги учун теска ри 1A матрица мавжуд. B A 1 матрица учун қуйидаги теорема ўрин лидир. Теорема-10. B A 1 матрицанинг хос сонлари ҳақиқий бўлиб, улар ҳар хил бўлганда уларга мос келувчи хос векторлар ўзаро перпендикулярдир. Исбот. A B1 матрицанинг хос сонларини топиш учун det| | A B E    1 0  тенгламани ечиш керак. Бу тенглама det| | B A    0 тенгламага тенг кучлидир. Ф сиртга тегишли р нуқтани фиксирласак А,В сонли матрицалар бўлади. А симметрик бўлганлиги учун уни бирорта C T Ф T Ф p p :  матрица ёрдамида бирлик матрицага айлантириш мумкин. Бунда А матрица САС Т матрицага ўтади. Демак САС Т  Е ёки A C C T    1 1 ( ) бу ерда С Т транспонирланган матрица. Шунда T T T T C E B C C E B C C C C B C E B ) det(| ~| det det | ) )( ~( | det | ) ( ) (~ | det | | det 1 1 1 1 1 1 1 1                     бу ерда ~B CBC T  . Демак, det| | B A    0 тенглама det| ~ | B E    0 тенг ламага тенг кучлидир. Лекин ~ ( ) B CBC CB C CBC T TT T T T    , яъни ~B симметрик бўлганлиги учун унинг хос сонлари ҳақиқийдир. Демак, B A 1 матрицанинг хос сонлари ҳақиқий, ва улар ҳар хил бўлганда хос векторлар ўзаро ортогоналдир 1 .  Агар 2 1,  -хос сонлар,   e e 1 2 , -хос векторлар бўлса, яъни Ae e Ae e     1 11 2 22     , , тенгликлар бажарилса   1 2  бўлганда   1 2  деб ҳисоблаймиз. 1 И.М.Гельфанд. Лекции по линейной алгебре. М:, Наука, 1971.

Таъриф-1.   1 2  бўлганда e1 ва e2 векторлар аниқловчи тўғри чизиқлар р нуқтадаги бош йўналишлар деб аталади. Теорема-12 . B A 1 матрицанинг хос e1 ва e2 векторлар йўналишлари бўйича нормал эгриликлар мос равишда шу матрицанинг хос сонларига тенг бўлади. Исбот. ) , ( ) , ( ) ( i i i i i n e e I e e II e k       ни ҳисоблаш учун T Фp да e1 ва e2 хос векторлардан иборат ортонормал базисни танласак, A B     1 1 2 0 0   ва B A       1 2 0 0 тенгликлар ўринли бўлади. I e ei i ( , )   нинг скаляр кўпайтма эканлигини ҳисобга олсак, 2 2 2 2 2 2 1 1 1 0 ) , ( , 0 1 ) , (     e eI e eI     келиб чиқади. Демак бу базисда A    1 0 0 1 ва B       1 2 0 0 . Демак, k e II e e Ie e k e II e e Ie e n n ( ) ( , ) ( , ) , ( ) ( , ) ( , )           1 1 1 1 1 1 2 2 2 1 2 2 2 2 2 1 2 2 2 2 1 0 1 1 0 1                   тенгликлар келиб чиқади.  Таъриф-3. Бош йўналишларга мос келувчи нормал эгриликлар бош эгриликлар деб аталади.

Энди T Фp -уринма фазода базис сифатида бирлик хос e1 ва e2 векторларни олиб, ихтиёрий  a вектор учун  билан  a ва e1 орасидаги бурчакни белгилайлик. Теорема-13 (Эйлер). Ихтиёрий a T Фp  уринма вектор учун k a k k n( ) cos sin    1 2 2 2   тенглик ўринлидир. Бу ерда k k 1 2 , -бош эгриликлар бўлиб, аниқлик учун k k 1 2  деб ҳисоблаймиз. Исбот. Уринма векторни    a ae a e   11 22 кўринишда ёзиб k a n( ) ни ҳисоблаймиз: . sin cos cos cos | | | | ) , ( ) , ( ) ( 2 2 2 1 2 2 2 1 2 22 2 2 21 1 22 21 22 2 211           k k a a a a a a a a a aI a a II a kn                  Натижа. Бош эгриликлар нормал эгриликнинг экстремал қийматларидир. Ҳақиқатан ҳам, уринма фазода e1 ва e2 ортонормал базисларни танласак,  a йўналиш аниқловчи k a n( ) нормал эгриликни  нинг функцияси сифатида қараймиз:    2 2 2 1 sin cos ) ( k k kn   .  0 да a e  1 ва k k a k n n ( ) ( ) , 0 2 1       да   a e  2 ва k k a k n n ( ) ( )  2 2    . Ихтиёрий  учун þқоридаги формулани 2 2 2 1 cos) ( k k k k    

кўринишда ёзиб,     2 sin) ( sin cos) (2 ) ( 2 1 2 1 k k k k k      ни ҳосил қиламиз. 0 2 sin   тенгламани ечиб  0 ва    2 ни топамиз. Демак, k1 ва k2 , kn( ) функциясининг экстремал қийматларидир. 

Похожие

Ёпишма текислик, бош нормал ва бинормал тенгламалари

Дифференциал геометрия ва тензор асослари фани предмети

Конгруэнтлик аксиомалари ва I- III гуруҳ аксиомаларидан келиб чиқадиган натижалар

Текисликларнинг узаро вазиятлари

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