Кіріспе

Математиканың саласы; есептеудің кіші саласы

Математикада дифференциалдық есептеу – шамалардың өзгеру жылдамдығын зерттейтін есептеудің кіші саласы. Бұл есептеудің екі дәстүрлі бөлімінің бірі, екіншісі – интегралдық есептеу, ол қисық астындағы ауданды зерттейді. Дифференциалдық есептеудегі негізгі зерттеу нысандары – функцияның туындысы, дифференциал сияқты байланысты ұғымдар және олардың қолданылуы. Функцияның белгілі бір кіріс мәніндегі туындысы сол кіріс мәнінің жанындағы функцияның өзгеру жылдамдығын сипаттайды. Туындыны табу процесі дифференциациялау деп аталады. Геометриялық тұрғыдан алғанда, егер туынды сол нүктеде бар және анықталған болса, түбірлік нүктедегі функция графигіне қатысты жанама сызықтың еңісін көрсетеді. Нақты мәнді функция үшін, бір нақты айнымалысы бар функцияның нүктедегі туындысы әдетте сол нүктедегі функцияға ең жақсы сызықтық жуықтауды анықтайды. Дифференциалдық және интегралдық есептеулер негізгі есептеу теоремасымен байланыстырылған. Бұл теорема дифференциациялау интеграциялаудың кері процесі екенін көрсетеді. Дифференциациялау шамалық ғылымдардың барлық салаларында қолданылады. Физикада, қозғалатын дененің уақытқа қатысты орын ауыстыруының туындысы дененің жылдамдығын, ал жылдамдықтың уақытқа қатысты туындысы – үдеуін көрсетеді. Дененің импульсінің уақытқа қатысты туындысы денеге қолданылатын күшке тең; осы туындыны өзгерту Ньютонның екінші заңымен байланысты белгілі теңдеуге әкеледі. Химиялық реакцияның жылдамдығы – туынды. Операциялық зерттеулерде туындылар материалдарды тасымалдаудың ең тиімді жолдарын және зауыттарды жобалауды анықтайды. Туындылар функцияның максимумдарын және минимумдарын табу үшін жиі қолданылады. Туындыларды қамтитын теңдеулер дифференциалдық теңдеулер деп аталады және табиғат құбылыстарын сипаттауда маңызды рөл атқарады. Туындылар және олардың жалпыламалары математиканың көптеген салаларында кездеседі, мысалы, комплекс сандарды зерттеу, функционалдық талдау, дифференциалдық геометрия, өлшемдер теориясы және абстрактілі алгебра.

Деривативтер

Тангенсқа тиісті нүктедегі туындысы – бұл графиктің тік өсуі. Осыны түсіну үшін, ең алдымен сызықтық теңдеудің еңістігін табуды үйрену керек, оның еңістігі – тіктігі. Оны кез келген екі нүктені таңдап, y-тің өзгеруін x-тің өзгеруіне бөлу арқылы табуға болады, яғни: . Мысалы, графигінің еңісі , төмендегі диаграммада көрсетілгендей: Ықшамдық үшін , көбінесе , грек әрпі дельтамен жазылады, бұл «өзгеріс» дегенді білдіреді. Сызықтық теңдеудің еңісі тұрақты, яғни еңіс барлық жерде бірдей. Алайда, көптеген графиктерде, мысалы, олардың тіктігі әр түрлі. Бұл дегеніміз, кез келген екі кездейсоқ нүктені таңдап, еңісті есептеу мүмкін емес. Оның орнына, графиктің еңістігін белгілі бір нүктеге «тек қана тиетін» сызық – тангенс сызығын қарастыру арқылы есептеуге болады. Белгілі бір нүктедегі қисықтың еңісі сол нүктеге жанасатын сызықтың еңісіне тең. Мысалы, функциясы нүктесінде еңісіне ие, өйткені сол нүктеге дейінгі тангенс сызығының еңісі : Функцияның туындысы – осы тангенс сызығының еңісі. Тангенс сызық тангенс нүктесінде бір нүктеге ғана тисе де, оны екі нүктеден өтетін сызықпен шамалауға болады. Бұл секант сызығы деп аталады. Егер секант сызық өтетін екі нүкте бір-біріне жақын болса, онда секант сызық тангенс сызығына өте ұқсас болады, нәтижесінде оның еңісі де өте ұқсас болады: Секант сызықты пайдаланудың артықшылығы – оның еңісін тікелей есептеуге болады. Графиктегі екі нүктеге қараңыз және , мұндағы – кішкентай сан. Бұрынғыдай, осы екі нүктеден өтетін түзудің еңістігін формуламен есептеуге болады. Бұл береді:

-ге жақындаған сайын, секант сызығының еңісі тангенс сызығының еңісіне жақындаған сайын жақын болады. Бұл формальды түрде былай жазылады:

Жоғарыда көрсетілген өрнек «-ге жақындаған сайын, секант сызығының еңісі белгілі бір мәнге жақындаған сайын» дегенді білдіреді. Жақындатылған мән – ; бұны деп жазуға болады. Егер , туындысын , сансыз кішігірім өзгерісті білдіретін , деп жазуға болады. Мысалы, x-тің шексіз кіші өзгерісін білдіреді. Осылайша, функцияның туындысын дұрыс анықтауға қол жеткіздік, яғни «тангенс сызығының еңісі» қазір нақты математикалық мағынаға ие. Жоғарыда берілген анықтаманы пайдалана отырып функцияларды дифференциациялау – бірінші принциптерден дифференциациялау деп аталады. Бұл қуат ережесі деп аталады. Мысалы, . Басқа көптеген функцияларды полиномиялық функциялар сияқты оңай дифференциациялау мүмкін емес, яғни функцияның туындысын табу үшін кейде қосымша әдістер қажет. Бұл әдістерге тізбек ережесі, көбейту ережесі және бөлу ережесі кіреді. Басқа функцияларды мүлдем дифференциациялау мүмкін емес, бұл дифференциалданушылық ұғымына әкеледі. Функцияның туындысына жақын тұжырымдама – оның дифференциалы. Егер x және y нақты айнымалы болса, f-тің x-тегі туындысы f-тің x-тегі графигіне жанасатын түзудің еңістігі болады. f-тің көзі мен нысанасы бір өлшемді болғандықтан, f-тің туындысы нақты сан. Егер x және y вектор болса, онда f графигінің ең жақсы сызықтық шамалауы f бір мезгілде бірнеше бағытта қалай өзгеріп отыратынына байланысты. Бір бағыттағы ең жақсы сызықтық шамалауды қабылдау ішінара туындыны анықтайды, ол әдетте деп белгіленеді. f-тің барлық бағыттағы сызықтыққа айналуы жалпы туынды деп аталады.

Дифференциацияның тарихы

Тангенс сызығының ұғымындағы туындының идеясы өте ерте заманнан келеді, б.з.д. 300 ж. Евклид, б.з.д. 287–212 ж. Архимед және б.з.д. 262–190 ж. Пергалық Аполлоний сияқты ежелгі грек математиктеріне мәлім болған. Архимед де бөлінбейтін шамаларды қолданды, бірақ олар негізінен туындылар мен тангенстердің орнына аудандар мен көлемдерді зерттеу үшін пайдаланылды (қараңыз, Механикалық теоремалар әдісі). Өзгеріс жылдамдығын есептеу үшін шексіз кіші шамаларды қолдануды Бхаскара II (1114–1185) едәуір дамытты; іс жүзінде, оның еңбектерінде дифференциалдық есептеудің көптеген негізгі ұғымдарын табуға болады, мысалы, «Ролл теоремасы». Математик Шараф ад-Дин ат-Туси (1135–1213) «Теңдеулер туралы трактат» атты еңбегінде, кейбір кубтық теңдеулердің шешімдерін табу үшін тиісті кубтық көпмүшелердің максимумдарын анықтау арқылы шарттарды белгіледі. Мысалы, ол кубтық теңдеу ax^(2) – x^(3) максимумы (оң x үшін) кездесетінін анықтады және одан теңдеуде 0 < c < 4a^(3) / 27 болғанда дәл бір оң шешім бар екендігіне және екі оң шешім болғандағы жағдайды қорытындылады. Ғылым тарихшысы Рошди Рашид ат-Тусидің бұл нәтижені алу үшін кубтың туындысын қолданған болуы керек деп санайды. Алайда, Рашидтің тұжырымын басқа ғалымдар да жоққа шығарды, олар функцияның туындысын білуді қажет етпейтін басқа әдістермен нәтижеге қол жеткізуге болар еді деп мәлімдейді. Дифференциалдық және интегралдық есептеудің қазіргі заманғы дамуы, әдетте, Исаак Ньютонға (1643–1727) және Готфрид Вильгельм Лейбницке (1646–1716) байланыстырылады, олар дифференциация мен туындыларға тәуелсіз және біріктірілген тәсілдер ұсынды. Бірақ оларға осы еңбегі үшін құрмет беруге лайық болған негізгі түсінік – дифференциация мен интеграцияны байланыстыратын дифференциалдық және интегралдық есептеудің негізгі теоремасы болды: бұл аудандар мен көлемдерді есептеудің бұрынғы әдістерінің көпшілігін ескірген. Туындылар туралы идеялары үшін Ньютон да, Лейбниц те Пьер де Ферма (1607–1665), Исаак Барроу (1630–1677), Рене Декарт (1596–1650), Кристиан Гюйгенс (1629–1695), Блез Паскаль (1623–1662) және Джон Уоллис (1616–1703) сияқты математиктердің бұрынғы жұмыстарына сүйенді. Ферманың ықпалы туралы Ньютон бір хатында былай деп жазды: «Мен бұл әдісті [флюксияларды] Ферманың тангенстерді салу тәсілінен алдым, және оны абстрактілі теңдеулерге тікелей және кері қолданып, оны жалпылады». Исаак Барроуға туындыны ерте дамытқандығы үшін құрмет көрсетіледі. Дегенмен, Ньютон мен Лейбниц дифференциация тарихындағы маңызды тұлғалар болып қала береді, себебі Ньютон алғаш рет дифференциацияны теориялық физикаға қолданды, ал Лейбниц қазірге дейін қолданылып келе жатқан белгілердің көп бөлігін жүйелі түрде дамытты. 17 ғасырдан бері көптеген математиктер дифференциация теориясына үлес қосты. 19 ғасырда Огюстен Луи Коши (1789–1857), Бернхард Риман (1826–1866) және Карл Вейерштрасс (1815–1897) сияқты математиктер дифференциалдық және интегралдық есептеуді әлдеқайда қатаң негізге қойды. Осы кезеңде дифференциация Эвклид кеңістігіне және комплекс жазықтыққа жалпыланды. 20 ғасыр біздің бүгінгі түсінігімізге және туындыны қолдану практикасына екі маңызды қадам жасады: Лебег интегралы, интегралдық есептеуді көптеген функцияларға кеңейтуден басқа, абсолютті үздіксіздік ұғымымен туынды мен интеграция арасындағы байланысты нақтылады. Кейіннен үлестірулер теориясы (Лоран Шварцтан кейін) жалпыланған функцияларға (мысалы, бұрын кванттық механикада енгізілген Дирак дельта функциясы) туындыны кеңейтті және қазіргі қолданбалы талдау үшін, әсіресе, бөлшекті дифференциалдық теңдеулердің әлсіз шешімдерін пайдалану арқылы маңызды болды.

Өзгерістерді есептеу

Оптимизациялау мәселесінің бір мысалы: бетте жатқан екі нүкте арасындағы ең қысқа қисықты табу, қисық сол бетте болу шартымен. Егер бет жазық болса, ең қысқа қисық түзу сызық болады. Бірақ егер бет, мысалы, жұмыртқа тәрізді болса, ең қысқа жол бірден көрінбейді. Мұндай жолдар геодезиялық деп аталады, ал вариациялар есебіндегі ең маңызды мәселелердің бірі – геодезиялықты табу. Тағы бір мысал: кеңістіктегі жабық контурді толтыратын ең кішкентай ауданы бар бетті табу. Бұл бет минималды бет деп аталады, және оны да вариациялар есебін қолдану арқылы табуға болады.

Орташалық мәні теоремасы

Орташа мән теоремасы туындының мәндері мен бастапқы функцияның мәндері арасындағы қатынасты көрсетеді. Егер f(x) – нақты мәнді функция болса және a мен b – a < b шартын қанағаттандыратын сандар болса, онда орташа мән теоремасы, белгілі бір шарттар орындалғанда, (a, f(a)) және (b, f(b)) екі нүктесі арасындағы еңіс, f функциясының a мен b арасындағы кейбір c нүктесіндегі жанама сызығының еңісіне тең болатынын айтады. Басқаша айтқанда,

Іс жүзінде орташа мән теоремасы функцияны оның туындысы арқылы бақылауға мүмкіндік береді. Мысалы, f функциясының әрбір нүктеде туындысы нөлге тең болсын делік. Бұл оның жанама сызығының кез келген нүктеде көлденең екенін білдіреді, демек функция да көлденең болуы керек. Орташа мән теоремасы осыны дәлелдейді: f графигіндегі кез келген екі нүкте арасындағы еңіс, f функциясының жанама сызықтарының бірінің еңісіне тең болуы тиіс. Бұл еңістердің бәрі нөлге тең болғандықтан, график бойындағы кез келген нүктеден екінші нүктеге жүргізілген түзудің де еңісі нөлге тең болуы керек. Бірақ бұл функцияның жоғары немесе төмен жылмайтынын білдіреді, сондықтан ол көлденең түзу болуы керек. Туындыға қойылған күрделірек шарттар бастапқы функция туралы аз дәл, бірақ әлі де өте пайдалы ақпарат береді.

Тейлордың көптіктері мен Тейлордың тізбектері

Туынды функцияның берілген нүктедегі ең жақсы сызықтық жуықтауын береді, бірақ бұл бастапқы функциядан мүлдем өзгеше болуы мүмкін. Жуықтауды жақсартудың бір жолы – квадраттық жуықтауды қолдану. Яғни, x₀ нүктесіндегі f(x) нақты мәнді функцияның сызықтық жуықтауы a + b(x − x₀) түріндегі сызықтық көпмүше болып табылады, ал квадраттық көпмүше a + b(x − x₀) + c(x − x₀)² деп қарастыру арқылы жақсырақ жуықтауға қол жеткізуге болады. Одан да жақсырақ нәтиже алу үшін a + b(x − x₀) + c(x − x₀)² + d(x − x₀)³ кубтық көпмүшесін пайдалануға болады, және бұл идея кез келген жоғары дәрежелі көпмүшелерге дейін жалғастырылуы мүмкін. Бұл көпмүшелердің әрқайсысы үшін a, b, c және d коэффициенттерінің ең жақсы таңдауы болуы керек, бұл жуықтауды мүмкіндігінше жақсы етеді. x₀ нүктесінің маңында a үшін ең жақсы таңдау әрқашан f(x₀) болады, ал b үшін ең жақсы таңдау әрқашан f'(x₀) болады. c, d және жоғары дәрежелі коэффициенттер үшін бұл коэффициенттер f функциясының жоғары туындыларымен анықталады. c әрқашан f''(x₀)/2! болып табылады, ал d әрқашан f'''(x₀)/3! болады. Бұл коэффициенттерді пайдалану f функциясының Тейлор көпмүшесін береді. d дәрежелі Тейлор көпмүшесі – d дәрежелі f функциясына ең жақсы жуықтайтын көпмүше, ал оның коэффициенттерін жоғарыда келтірілген формулаларды жалпылау арқылы табуға болады. Тейлор теоремасы жуықтаудың қаншалықты жақсы екеніне нақты шек қояды. Егер f функциясы d дәрежесінен кем немесе оған тең болса, онда d дәрежелі Тейлор көпмүшесі f функциясына тең болады.

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

Имплицитті функция теоремасы

Кейбір табиғи геометриялық пішіндер, мысалы шеңберлер, функция графигі ретінде салынбайды. Мысалы, егер онда шеңбер (x, y) жұптарының жиыны болып табылады, мұндағы бұл жиын f функциясының нөлдік жиыны деп аталады және f графигінен, яғни параболоидтан өзгеше. Имплицитті функция теоремасы сияқты қатынастарды функцияларға түрлендіреді. Ол егер f үздіріссіз дифференциалданатын болса, онда көптеген нүктелердің маңында f функциясының нөлдік жиыны функциялардың графиктерінің біріктірілген түріне ұқсайды. Бұл орынды емес нүктелер f функциясының туындысына байланысты анықталады. Мысалы, шеңберді екі функцияның графиктерінен біріктіруге болады. Шеңбердегі (−1, 0) және (1, 0) нүктелерінен басқа әрбір нүктенің маңында осы екі функцияның біреуі шеңберге ұқсас графикке ие. (Бұл екі функция сондай-ақ (−1, 0) және (1, 0) нүктелерінен өтеді, бірақ бұл имплицитті функция теоремасымен қамтамасыз етілмейді.) Имплицитті функция теоремасы кері функция теоремасымен тығыз байланысты, ол функция инвертирленетін функциялардың графиктерінің біріктірілген түріне ұқсағандағы жағдайды көрсетеді.

Басқа дереккөздер

Боман, Юджин және Роберт Роджерс. Дифференциалдық есептеу: тәжірибеден теорияға. 2022, жеке. psu.edu/ecb5/DiffCalc.pdf.