Шарт нөмірі - Condition number

Өрісінде сандық талдау, шарт нөмірі функцияның кіріс аргументінің шамалы өзгеруі үшін функцияның шығу мәні қаншалықты өзгеруі мүмкін екенін өлшейді. Бұл қалай өлшеуге арналған сезімтал функция кірістегі өзгерістерді немесе қателіктерді білдіреді, ал кірістегі қателіктерден қанша қате шығады. Өте жиі, кері есеп шешіледі: берілген бірі шешеді х, және (жергілікті) кері шарттың нөмірін қолдану керек. Жылы сызықтық регрессия шарттың нөмірі момент матрицасы үшін диагностика ретінде қолдануға болады мультиколлинеарлық.[1][2]

Шарт саны туынды қолданбалы болып табылады және формальды түрде кірістің салыстырмалы өзгерісі үшін асимптотикалық ең нашар жағдайдағы салыстырмалы өзгерістің мәні ретінде анықталады. «Функция» дегеніміз - есепті шешу, ал «аргументтер» - есепте берілгендер. Шартты сан сызықтық алгебрадағы сұрақтарға жиі қолданылады, бұл жағдайда туынды тікелей, бірақ қате әр түрлі бағытта болуы мүмкін, сондықтан матрица геометриясынан есептеледі. Жалпы, шартты сандарды бірнеше айнымалылардағы сызықтық емес функциялар үшін анықтауға болады.

Төмен шарт нөмірімен проблема айтылады жақсы шартталған, ал жоғары шарт нөмірімен проблема айтылады жайсыз. Математикалық емес сөзбен айтқанда, шартты емес есеп дегеніміз - бұл кірістердің шамалы өзгеруіне арналған ( тәуелсіз айнымалылар немесе теңдеудің оң жағы) жауапта үлкен өзгеріс бар немесе тәуелді айнымалы. Демек, теңдеудің дұрыс шешімін / жауабын табу қиынға соғады. Шарт нөмірі есептің қасиеті болып табылады. Есеппен жұптасқан - есепті шешуге, яғни шешімді есептеуге болатын алгоритмдердің кез-келген саны. Кейбір алгоритмдердің қасиеті бар артқа тұрақтылық. Жалпы, артта қалған тұрақты алгоритмден жақсы шартталған есептерді дәл шешуге болады деп күтуге болады. Сандық талдау оқулықтары есептердің шартты сандарының формулаларын береді және белгілі артта қалған алгоритмдерді анықтайды.

Ереже бойынша, егер шарт нөмірі болса , содан кейін сіз жоғалтуыңыз мүмкін арифметикалық әдістердің дәлдігін жоғалтқандықтан, сандық әдіске жоғалғанның дәлдігінің цифрлары.[3] Алайда шарт нөмірі алгоритмде болуы мүмкін максималды дәлдіктің нақты мәнін бермейді. Әдетте, бұл оны тек бағамен шектейді (оның есептік мәні дәлдікті өлшеу үшін норманы таңдауға байланысты).

Қателерді талдау контексіндегі жалпы анықтама

Мәселе берілген және алгоритм кіріспен х, абсолютті қате және салыстырмалы қате .

Бұл тұрғыда абсолютті есептің шарт нөмірі f болып табылады

және салыстырмалы шарт нөмірі

Матрицалар

Мысалы, шартты нөмірі сызықтық теңдеуБалта = б шешімнің қаншалықты дұрыс еместігін анықтайды х жуықтағаннан кейін болады. Бұл әсерлерден бұрын екенін ескеріңіз дөңгелек қате ескеріледі; шарттау - бұл матрицаның қасиеті, емес алгоритм немесе өзгермелі нүкте сәйкес жүйені шешу үшін қолданылатын компьютердің дәлдігі. Атап айтқанда, шарттың санын (шамамен) шешімнің жылдамдығы деп ойлау керек х өзгеруіне қатысты өзгереді б. Осылайша, егер шарт саны үлкен болса, тіпті кішігірім қателік б үлкен қателік тудыруы мүмкін х. Екінші жағынан, егер шарт саны аз болса, онда қате х қателіктерден әлдеқайда үлкен болмайды б.

Шарттың нөмірі дәл максималды қатынасы ретінде анықталған салыстырмалы қателік жылы х қатысты қателікке б.

Келіңіздер e қате болу керек б. Мұны қарастырсақ A бұл мағынасыз матрица, шешімдегі қателік A−1б болып табылады A−1e. Шешімдегі салыстырмалы қатенің ішіндегі салыстырмалы қатеге қатынасы б болып табылады

Максималды мән (нөлдік емес үшін) б және e) содан кейін екеуінің туындысы болып көрінеді операторлық нормалар келесідей:

Дәл осындай анықтама кез-келген сәйкес келеді норма, яғни қанағаттандыратын нәрсе

Шарт саны дәл бір болғанда (бұл жағдайда ғана болуы мүмкін A а-ның скалярлық еселігі болып табылады сызықтық изометрия ), содан кейін шешім алгоритмі (негізінен, егер алгоритм өзіндік қателіктер жібермейтін болса), дәлдігі мәліметтерден гөрі нашар шешімнің жуықтамасын таба алады.

Алайда, бұл алгоритм осы шешімге тез қосылады дегенді білдірмейді, тек бастапқы деректердің дәл еместігінен (кері қателік) ерікті түрде алшақтамайды, егер алгоритм енгізген тура қате де алшақтамаса, жинақтаудың аралық қателіктері.[түсіндіру қажет ]

Шарттың нөмірі де шексіз болуы мүмкін, бірақ бұл проблеманың туындағанын білдіреді дұрыс емес (деректердің әр таңдауы үшін бірегей, нақты шешімге ие емес, яғни матрица айнымалы емес), және ешқандай алгоритм шешімін сенімді түрде табады деп күтуге болмайды.

Шарт санының анықтамасы норманы таңдауға байланысты, оны екі мысалмен көрсетуге болады.

Егер болып табылады норма шаршы-жиынтықта анықталған реттік кеңістік 2 (бұл стандартты Евклид кеңістігіндегі әдеттегі қашықтыққа сәйкес келеді және әдетте ретінде белгіленеді ), содан кейін

қайда және максималды және минималды болып табылады дара мәндер туралы сәйкесінше. Демек:

  • Егер болып табылады қалыпты, содан кейін
қайда және максималды және минималды (модуль бойынша) меншікті мәндер туралы сәйкесінше.
  • Егер болып табылады унитарлы, содан кейін

Қатысты шарт нөмірі L2 санмен жиі туындайды сызықтық алгебра оған атау берілген матрицаның шарт нөмірі.

Егер болып табылады норма анықталған реттік кеңістік бәрінен де шектелген реттіліктер (олар базалық ішкі кеңістіктерге проекциялар бойынша өлшенген қашықтықтардың максимумына сәйкес келеді және оларды әдетте белгілейді ), және болып табылады төменгі үшбұрыш сингулярлы емес (яғни, ), содан кейін

Осы норма бойынша есептелген шарт саны көбінесе квадрат бойынша жинақталатын тізбектермен есептелген шарт санынан үлкен, бірақ оны оңай бағалауға болады (және бұл көбінесе практикалық түрде есептелетін жалғыз шарт нөмірі, егер шешілетін мәселе а сызықтық емес алгебра[түсіндіру қажет ], мысалы, иррационалды және трансцендентальды функцияларды немесе сандарды сандық әдістермен жуықтаған кезде).

Егер шарт саны бірден көп болмаса, матрица жақсы шартталған, яғни оның кері шамасын дәл дәлдікпен есептеуге болады. Егер шарт саны өте үлкен болса, онда матрица шартсыз деп аталады. Іс жүзінде мұндай матрица сингулярлы болып табылады, және оның кері немесе сызықтық теңдеулер жүйесінің шешімін есептеу үлкен сандық қателіктерге ұшырайды. Айнымалы емес матрицаның шартты саны шексіздікке тең.

Сызықты емес

Шартты сандарды бейсызық функциялар үшін де анықтауға болады және оларды есептеу арқылы есептеуге болады. Шарт саны нүктеге байланысты өзгереді; кейбір жағдайларда жалпы шарт нөмірі ретінде функцияның немесе облыстың доменінің максимум (немесе супремум) шарт нөмірін қолдануға болады, ал басқа жағдайларда белгілі бір нүктедегі шарт нөмірі көбірек қызықтырады.

Бір айнымалы

Дифференциалданатын функцияның шарт саны функция ретінде бір айнымалыда . Бір нүктеде бағаланады , бұл

Ең талғампаздықпен, бұл (абсолюттік мәні) қатынасы деп түсінуге болады логарифмдік туынды туралы , қайсысы , және логарифмдік туындысы , қайсысы , қатынасын береді . Себебі логарифмдік туынды - бұл функцияның салыстырмалы өзгеруінің шексіз жылдамдығы: ол туынды мәні бойынша масштабталған . Егер функция нүктесінде нөлге ие болса, оның нүктедегі шарт саны шексіз болатындығына назар аударыңыз, өйткені кірістегі шексіз өзгеріс нәтижені нөлден оңға немесе теріске өзгертіп, бөлгіште нөлге тең қатынасты шығарады, демек шексіз салыстырмалы өзгерту.

Тікелей, кішкене өзгерісті ескере отырып жылы , салыстырмалы өзгеруі болып табылады , ал салыстырмалы өзгеріс кезінде болып табылады . Пропорцияның кірістілігін алу

Соңғы термин - айырмашылық мөлшері (секанттық сызықтың көлбеуі), ал шекті мән туынды шығарады.

Жалпыға ортақ шартты сандар қарапайым функциялар есептеуде әсіресе маңызды маңызды сандар және дереу туындыдан есептеуге болады; қараңыз трансценденттік функциялардың маңыздылығы арифметикасы. Төменде бірнеше маңыздылары келтірілген:

Аты-жөніТаңбаШарт нөмірі
Қосу / азайту
Скалярлық көбейту
Бөлім
Көпмүшелік
Экспоненциалды функция
Табиғи логарифм функциясы
Синус функциясы
Косинаның қызметі
Тангенс функциясы
Кері синус функциясы
Косинустың кері функциясы
Кері тангенс функциясы

Бірнеше айнымалылар

Кез-келген функция үшін шартты сандарды анықтауға болады кейбіреулерінің деректерін картаға түсіру домен (мысалы - нақты сандардың саны ) кейбіріне кодомейн (мысалы - нақты сандардың саны ), мұнда домен де, кодомен де орналасқан Банах кеңістігі. Олар бұл функцияның аргументтеріндегі кішігірім өзгерістерге (немесе кішігірім қателіктерге) қаншалықты сезімтал екендігін білдіреді. Бұл көптеген есептеу проблемаларының сезімталдығы мен ықтимал дәлдік қиындықтарын бағалауда өте маңызды, мысалы, көпмүшелік тамыр табу немесе есептеу меншікті мәндер.

Шартының нөмірі бір сәтте (нақты, оның салыстырмалы шарт нөмірі[4]) содан кейін-нің бөлшек өзгерісінің максималды қатынасы ретінде анықталады кез-келген бөлшектік өзгеріске , өзгеретін жерде жылы шексіз аз болады:[4]

қайда Бұл норма доменінде / кодоменінде .

Егер дифференциалды, бұл келесіге тең:[4]

қайда дегенді білдіреді Якоб матрицасы туралы ішінара туынды туралы кезінде , және болып табылады индукцияланған норма матрицада.

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ Бельсли, Дэвид А .; Кух, Эдвин; Welsch, Roy E. (1980). «Шарт нөмірі». Регрессия диагностикасы: әсерлі мәліметтер мен сызықтық көздерді анықтау. Нью-Йорк: Джон Вили және ұлдары. 100–104 бет. ISBN  0-471-05856-4.
  2. ^ Песаран, М. Хашем (2015). «Мультиколлинеарлық проблема». Уақыт сериялары және панельдік деректер эконометрикасы. Нью-Йорк: Оксфорд университетінің баспасы. 67-72 бет [б. 70]. ISBN  978-0-19-875998-0.
  3. ^ Чейни; Kincaid (2008). Сандық математика және есептеу. б. 321. ISBN  978-0-495-11475-8.
  4. ^ а б c Трэфетен, Л. Н .; Бау, Д. (1997). Сандық сызықтық алгебра. СИАМ. ISBN  978-0-89871-361-9.

Әрі қарай оқу

  • Деммел, Джеймс (1990). «Жақын ақаулы матрицалар және ауа-райының геометриясы». Кокста М.Г .; Хаммарлинг, С. (ред.) Сенімді сандық есептеу. Оксфорд: Clarendon Press. 35-55 бет. ISBN  0-19-853564-3.

Сыртқы сілтемелер