Основы мат. анализа в школьном курсе математики, обоснование.

0
0
Материал опубликован 15 May

МАТЕМАТИЧЕСКИЙ АНАЛИЗ

ДЛЯ ШКОЛЬНИКОВ





В данной работе мы рассмотрим последовательное построение основ математического анализа, не прибегая к понятию предела, для этого нам придется сформулировать ограничение на класс функций, для которых это ограничение справедливо и конечно элементарные функции принадлежат этому классу.



§1 Дифференциальное исчисление.



Пусть имеется функция y=t1747306457aa.gif(x) введем понятие приращение функции ∆(y) и величину ∆х, называемую приращением аргумента x

y =t1747306457ab.gif t1747306457ac.gif) -t1747306457aa.gif(x). (1.1)

Таким образом величина ∆(y) является функцией переменных x и ∆х, выделим их неё отдельно линейную часть t1747306457ad.gif, которая называется дифференциалом функции f(x), а t1747306457ae.gif именуется производной функции f(x), а оставшуюся часть обозначим как М(x, ∆х)t1747306457af.gif, про которую будем предполагать, что t1747306457ag.gif ограничена при всех х и (М(x, ∆х)t1747306457af.gif/∆x)=0. Именно это и есть ограничение на класс функций и этот класс естественно назвать классом дифференцируемых функций (далее мы уточним это понятие), окончательно:

y =t1747306457ah.gif + М(x, ∆х)t1747306457ai.gif

или (1.2)

t1747306457aa.gif(x+∆x)= t1747306457aa.gif(x)+t1747306457aj.gif+ М(x, ∆х)t1747306457ak.gif,

t1747306457ag.gifограниченная функция.

Смысл такого выделения понятен, если рассматривать очень малые приращения аргумента ∆х, которые естественно обозначить dx, то величина приращение функции ∆(y)

будет определятся её линейной частью, которую называют главной частью приращения или дифференциалом функции и записывать в виде

t1747306457al.gif=t1747306457am.gif (1.3)

а производную определить, как отношение дифференциалов

t1747306457ae.gif=t1747306457an.gif (1.4)

Особо отметим, что t1747306457al.gif и t1747306457ao.gif, этом контексте просто переменные.

Выясним геометрический смысл дифференциала. Для этого на Рис. 1 изобразим секущую t1747306457ap.gif и касательную t1747306457aq.gif . Секущая проходит через т. А и т. В, касательная проходит точку с координатами ( t1747306457ar.gif), лежащую на средине отрезка t1747306457as.gif.




t1747306457at.png

Рис. 1

Таким образом, что t1747306457au.gif-x/2 и t1747306457av.gifx/2. Выпишем уравнение секущей как уравнение прямой проходящей через точку ( t1747306457aw.gif) с угловым коэффициентом k= t1747306457ax.gif

t1747306457ay.gif.

Будем сближать точки А и В друг к другу, тогда они будет приближаться к точке ( t1747306457az.gif и это сближение можно реализовать уменьшая ∆х, а угловой коэффициент, если ограничится в приращении y линейным членом согласно формуле (1.2) и в силу малости ∆x будет равен t1747306457ba.gif и мы получим уравнение касательной к графику функции y=t1747306457aa.gif(x) в точке ( t1747306457ar.gif)

t1747306457bb.gif.

Т.е. зная производную мы можем выписывать уравнение касательной к кривой

Этот пример показывает важность понятий дифференциала и производной, а также показывает необходимость их вычисления, для решения такого рода задач.

Рассмотрим ряд очевидных следствий того факта, что величина приращения функции в малой окрестности точки определяется величиной дифференциала и далее будем полагать, что для всех рассматриваемых функций условие (1.2) выполнено.

Теорема 1.1

Если производная t1747306457ae.gif функции y=t1747306457aa.gif(x) больше нуля на отрезке [a,b], то на этом отрезке функция возрастает, если t1747306457ae.gif<0, то функция убывает.

Доказательство: Возьмем любую точку α на отрезке [a, b] и рассмотрим приращение функции ∆y =t1747306457bc.gif+ М(х, ∆х)t1747306457ai.gifи тогда при малых ∆х знак приращения, будет определятся знаком производной, поскольку ∆у=t1747306457bd.gifα)≈t1747306457be.gif). Поскольку для любой точки х правее α, t1747306457ak.gifα))>0 и t1747306457ak.gif)>0, что и показывает возрастание. Левее точки α, t1747306457ak.gifα))<0, поскольку t1747306457ak.gif)<0, то и в этом случае имеем возрастание функции. Доказательство убывания y=t1747306457aa.gif(x) аналогично и не требует дополнительных пояснений.

Следствием теоремы 1.1 является простая, но важная для дальнейших построений:

Теорема 1.2

Если производная t1747306457ae.gif функции y=t1747306457aa.gif(x) равна нулю на отрезке [a,b], то на этом отрезке функция постоянна у= const = c.

Доказательство очевидно, поскольку она в соответствии с теоремой 1.1 не возрастает и не убывает, то она является постоянной.

Определение 1.1

Будем говорить, что функция y=t1747306457aa.gif(x) в точке t1747306457bf.gif имеет локальный максимум (минимум), если существует окрестность этой точки |t1747306457bf.gif -х|<α, для всех точек которого имеет место неравенство t1747306457aa.gif(t1747306457bf.gif)>t1747306457aa.gif(x) (t1747306457aa.gif(t1747306457bf.gif)<t1747306457aa.gif(x)).

Теорема 1.3

Если производная t1747306457ae.gif функции y=t1747306457aa.gif(x) равна нулю в точке t1747306457bf.gif отрезка [a,b] и изменяет знак с плюса на минус (с минуса на плюс) при переходе точки t1747306457bf.gif, то в этой точке имеется локальный максимум (минимум).

Эта теорема является очевидным следствием теоремы 1.1, поскольку в случае максимума она слева от точки t1747306457bf.gif возрастает, а справа – убывает. Для минимума справедливы такие же соображения. Существование интервала |t1747306457bf.gif -х|<α обеспечено выполнением условия (1.2).

Рассмотрим ряд правил, которые помогут нам вычислять производную и дифференциал функций.

Дифференциал суммы функций t1747306457bg.gif.

Выпишем наше основное предположение относительно функций в виде

t1747306457bh.gif+ M(x,x)t1747306457bi.gif. (1.2а)

В этом виде и запишем t1747306457bj.gif=t1747306457bk.gif+Mt1747306457bi.gif(аргументы M не выписываем), с другой стороны t1747306457bj.gif=(t1747306457bl.gif, по определению приращения. Перегруппировав члены в этом выражении получим t1747306457bm.gif и использовав основное предположение в форме (1.2.а) получим t1747306457bn.gif+ t1747306457bo.gif(x,x)t1747306457bp.gif+ t1747306457bq.gif(x,x)t1747306457bi.gif и следовательно имеем правило:

t1747306457br.gif

или для производных

t1747306457bs.gif

Дифференциал от произведения функции на константу C.

t1747306457bt.gif

или для производных

t1747306457bu.gif

Совершенно очевидное свойство и не требует дополнительных комментариев.

Дифференциал произведения функций.

Пусть t1747306457bv.gif и рассмотрим приращение t1747306457bw.gif t1747306457bx.gif. Добавим и вычтем член t1747306457by.gif и перегруппируем члены

t1747306457bz.gift1747306457ca.gif

t1747306457cb.gif

Оставляя линейные по t1747306457cc.gif члены в обеих частях равенства, получим

t1747306457cd.gif

или для производных

t1747306457ce.gif.

Аналогичным образом доказывается и формула дифференциала частного двух функций.

Дифференциал частного двух функций.

Просто приведем соответствующую формулу

t1747306457cf.gif

или для производных

t1747306457cg.gif.

Дифференциал сложной функции.

Пусть имеем функцию t1747306457ch.gif по определению дифференциала имеем, вначале дифференциал по t1747306457ci.gif, как независимой переменной и далее выпишем дифференциал t1747306457ci.gif

t1747306457cj.gif

или для производных

t1747306457ck.gif

Дифференциал обратной функции.

Пусть имеется функция t1747306457cl.gif и будем предполагать что обратная к ней существует, тогда её функциональная зависимость будет выражаться формулой t1747306457cm.gif, вычисляя дифференциал от обеих частей равенства, получим t1747306457cn.gif и отсюда

t1747306457co.gif

или для производных

t1747306457cp.gif

Естественно в этих формулах, в выражении для производных, нужно вернутся к привычному обозначению обратной функции t1747306457cq.gif.

Мы установили ряд правил вычисления производных функций, которые удовлетворяют условию (1.2) и таким образом мы готовы выполнить программу вычисления производной любой элементарной функции, если получим таблицу производных базовых элементарных функций, которая состоит из степенной, тригонометрических и логарифмических функций. Использую правила дифференцирования мы сможем находить производную любой функции из класса элементарных, поскольку он состоит из базовых и составленных из них при помощи операций, рассмотренных нами при выводе правил дифференцирования.

В качестве примера покажем, как это общее рассмотрение можно применить к функции t1747306457cr.gif.

t1747306457cs.gif.

Линейная по t1747306457cc.gif часть приращения равна t1747306457ct.gif, член t1747306457cu.gif равен просто t1747306457cv.gif и производная t1747306457cw.gif. В §3 подобным образом мы получим таблицу производных для всех базовых элементарных функций.

























§2 Интегральное исчисление

В первом параграфе мы ввели понятия дифференциала и производной функции t1747306457cl.gif и они связаны соотношениями

t1747306457cx.gifили t1747306457cy.gif .

Поставим перед собой задачу восстановления функции t1747306457cz.gif по её производной t1747306457da.gif. Будем называть t1747306457cz.gif первообразной t1747306457da.gif или неопределенным интегралом t1747306457ac.gif) и обозначать

t1747306457db.gif(2.1)

t1747306457dc.gifили t1747306457dd.gif,

где t1747306457de.gif называют подынтегральным выражением и переменная t1747306457df.gif в дифференциале показывает функциональную зависимость первообразной и называют переменной интегрирования, а t1747306457da.gif называют подынтегральной функцией, которая может зависеть и от других переменных, называемых параметрами первообразной.

Выясним сколько первообразных соответствуют одной функции t1747306457da.gif.

Предположим, что имеются две первообразные одной функции t1747306457da.gif которые обозначим как t1747306457dg.gif. Рассмотрим их разность и вычислим её производную t1747306457dh.gif, согласно теореме (1.2) эта разность есть просто константа и таким образом всё множество первообразных одной функции представляет собой совокупность вида t1747306457di.gif, где t1747306457dj.gif любая из первообразных и этот факт принято обозначать как

t1747306457dk.gif

Выпишем ряд очевидных свойств неопределённого интеграла, вытекающих из его определения.

t1747306457dl.gifили t1747306457dm.gif (2.2)

t1747306457dn.gif(2.3)

t1747306457do.gif(2.4)

Убедится в правильности этих равенств можно, если взять производную или дифференциал от обеих частей равенств.

Правило подстановки или замены переменной интегрирования.

Пусть известно, что t1747306457dp.gif, то тогда (подстановка t1747306457dq.gif), дает

t1747306457dr.gif(2.5)



Это правило подстановки есть следствие правила дифференцирования сложной функции

t1747306457ds.gif.

Правило интегрирования по частям.

Это правило есть следствие дифференцирования произведения функций, которое выпишем t1747306457dt.gif и проинтегрируем t1747306457du.gif или

t1747306457dv.gif(2.6)

Определённый интеграл.

Будем называть определенным интегралом t1747306457dw.gif от функции t1747306457da.gif в пределах t1747306457dx.gif до t1747306457dy.gif, которые называются нижним и верхним пределами интегрирования, приращение первообразной t1747306457da.gif равное t1747306457dz.gif или

t1747306457ea.gif(2.7)

Эту формулу называют формулой Ньютона-Лейбница или основной формулой интегрального исчисления. Отметим, что если в неопределённом интеграле t1747306457ao.gif указывало на функциональную зависимость первообразной, то в этом случае функциональная зависимость содержится в пределах в пределах интегрирования, например:

t1747306457eb.gif(2.8)

Установим ряд свойств определённого интеграла, связанных с равенствами:

Свойство линейности определённого интеграла

t1747306457ec.gif(2.9)

2. t1747306457ed.gif (2.10)

Заметим, чтоt1747306457ee.gif.

3. t1747306457ef.gif (2.11)

Эти свойства непосредственно следует из формулы Ньютона-Лейбница.

Очевидным образом можно обобщить и формулу интегрирования по частям

t1747306457eg.gif(2.12)

t1747306457eh.gifФормула замены переменной интегрирования в определённом интеграле:

Пусть требуется вычислитьt1747306457dw.gif и пусть t1747306457ei.gif и не выходит за пределы

t1747306457ej.gif, когда t1747306457ek.gif изменяется в интервале t1747306457el.gif, где t1747306457em.gif и t1747306457en.gif и обе

функции удовлетворяют условию (1.2), а функция t1747306457eo.gif, где t1747306457cz.gif

первообразная t1747306457da.gif, тогда имеет место формула

t1747306457ep.gif(2.13)

Доказательство очевидно:

t1747306457ea.gifи

t1747306457eq.gift1747306457er.gif=t1747306457es.gif=t1747306457et.gif.

Установим ряд свойств определённого интеграла, связанных с неравенствами:

Пусть t1747306457eu.gif на отрезке t1747306457ej.gif и t1747306457ev.gif тогда,

t1747306457ew.gif(2.14)

Доказательство: Первообразная t1747306457ex.gif, есть возрастающая функция, поскольку её производная t1747306457da.gif неотрицательна и t1747306457ey.gif, тогда

t1747306457ez.gif.

Пусть t1747306457fa.gif на отрезке t1747306457ej.gif и t1747306457ev.gif тогда,

t1747306457fb.gif(2.15)

Доказательство очевидно следует из предыдущего свойства, если его применить к функции t1747306457fc.gif и воспользоваться свойством линейности определённого интеграла.

Ещё одно очевидное свойство:

t1747306457fd.gif. (2.16)

Справедливость которого следует из (2.15), поскольку t1747306457fe.gif.

В этом параграфе мы продолжили следовать логикеt1747306457ff.gif: Ввели понятие неопределённого интеграла или первообразной функции и её приращение между точками t1747306457dx.gif и t1747306457dy.gif назвали определённым интегралом. Далее мы построим таблицу интегралов для базовых элементарных функций, вычислить интеграл от любой элементарной функции невозможно, поскольку не от всякой элементарной функции интеграл выражается через элементарные функции и к числу таких относятся даже простой на первый взгляд интегралt1747306457fg.gif т.н. интегральный синус. Для определенных интегралов имеются способы численного вычисления и поэтому мы первоначально установим его геометрический смысл и укажем один из таких способов, имеющий наглядный смысл.

По аналогии с §1, покажем как отыскать первообразную для функции t1747306457fh.gif. Поскольку мы знаем производную от t1747306457fi.gif, то первообразная t1747306457fh.gif будет равна

t1747306457fj.gif,

в чем можно убедиться непосредственным дифференцированием.



Геометрическая интерпретация определённого интеграла и приближенный метод его

вычисления.



t1747306457fk.png

Рис 2.

Проведем разбиение отрезка t1747306457ej.gif на t1747306457fl.gif равных интервалов длиной t1747306457fm.gif, пронумеруем точки разбиения индексом t1747306457fn.gif, который будет изменятся от t1747306457fo.gif до t1747306457fl.gif так что t1747306457fp.gif, t1747306457fq.gif. Выделим интервал t1747306457fr.gif, а на этом интервале его середину t1747306457fs.gif и восстановим из неё перпендикуляр к оси Х до пересечения с графиком функции t1747306457cl.gif и построим прямоугольник с вершинами в точках t1747306457ft.gif и сторонами длиной t1747306457fu.gif), площадь этого прямоугольника равна t1747306457ac.gif)h и тогда площадь фигуры (криволинейная трапеция) под графиком функции будет приближённо определятся суммой площадей всех прямоугольников и тем точнее, чем меньше t1747306457fv.gif, называемую шагом разбиения.

Выпишем эту сумму:

t1747306457fw.gif.

Представим t1747306457dw.gif в виде суммы интегралов по промежуткам разбиения, воспользовавшись свойством определённого интеграла (2.11),

t1747306457fx.gif

Найдем модуль разности |t1747306457fy.gif- t1747306457fz.gif|=|t1747306457ga.gif| и запишем под одним знаком интеграла воспользовавшись свойством t1747306457gb.gif. Таким образом эта разница будет иметь вид

t1747306457gc.gif|

и представим функции, на основании нашего основного условия (1.2) в виде:

t1747306457gd.gif

t1747306457ge.gif.

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

t1747306457gf.gif+t1747306457gg.gif-t1747306457gh.gif

Вычислим непосредственно интеграл от первых двух членов разности. В первом интеграле t1747306457gi.gif вынесем постоянную t1747306457gj.gif из под знака интеграла и введем переменную t1747306457gk.gif, где нижний предел t1747306457gl.gif, а верхний предел t1747306457gm.gif. Тем самым получим t1747306457gn.gif, используя ранее полученный результат вычисления первообразной t1747306457fh.gif. Во втором интеграле вынесем постоянную t1747306457gj.gif и получим t1747306457go.gif, так что оба интеграла одинаковы и их разность равна нулю. Таким образом

t1747306457gp.gif.

Воспользовавшись неравенством t1747306457gq.gif перенесём знак модуля на интеграл

t1747306457gr.gif

Далее усилим это неравенство применив свойство (3) из неравенств для определённого интеграла, перенеся знак модуля под интеграл и ещё усилив, перенесем знак модуля на каждое слагаемое

t1747306457gs.gif.

Обозначим через t1747306457gt.gif, а t1747306457gu.gif большей величиной t1747306457gv.gif, получим

t1747306457gw.gif

Т.к. шаг разбиения равен t1747306457gx.gif, то выбором n - количества интервалов разбиения мы можем сделать разность t1747306457gy.gif сколь угодно малой что и доказывает, что

t1747306457dw.gifдает площадь криволинейной трапеции, верхнее основание которой представляет график функции t1747306457cl.gif, нижнее ось абсцисс и боковые стороны есть перпендикуляры к этой оси из точек x=a, x=b, что и показано на Рис. 2, а формулу

t1747306457fw.gif(2.17)

принято называть квадратурной формулой прямоугольников, она позволяет численно вычислять определенные интегралы и погрешность этих вычислений имеет величину порядка t1747306457gv.gif.

Общим выводом проведённого рассмотрения является важное правило: Если мы имеем дифференциал некоторой величины (в нашем случае это площадь t1747306457gz.gif), то сама величина получается вычислением определённого интеграла. Также многочисленные применения интегрального исчисления в можно встретить науках, законы в которых сформулированы в виде дифференциальных уравнений, в которых неизвестная функция находится под знаком производной. Один из классов таких уравнений, а именно уравнения с разделяющими переменными t1747306457ha.gif. Переменные x и у можно отделить друг от друга, если умножить обе части уравнения на t1747306457ao.gif и поделить наt1747306457hb.gif и тогда получаем выражение в котором обе части зависят только от своих переменных

t1747306457hc.gif.

Интегрируя обе части получим решение уравнения, оно будет зависеть от произвольной постоянной С, поскольку вычисляется неопределенный интеграл, а если задано начальное условие на функцию в виде t1747306457hd.gif, то можно получить единственное решение в виде неявной функции, записанное как определенный интеграл

t1747306457he.gif.

С многочисленными применениями такого рода уравнений можно ознакомиться в книге Я.Б. Зельдовича и И.М. Яглома <<Высшая математика для начинающих физиков и техников>>.















§3 Таблицы производных и интегралов базовых элементарных функций





1. Степенная функция.

а) Рассмотрим степенную функцию t1747306457hf.gif, где n натуральное число. Выпишем приращение этой функции t1747306457hg.gif и выпишем первый член в порядке возрастания степеней ∆x начиная с нулевой, ограничиваясь двумя членами в явном виде t1747306457hh.gif, первый член получен от умножения n скобок, если выбираем x в каждой скобке. Второй член содержит множитель n который получается вследствие перемножения n скобок, поскольку в одной из n скобок мы выбираем ∆x, а во всех остальных (n-1) скобках выбираем x. В третий член соберем все оставшиеся члены произведения и t1747306457cv.gif вынесем отдельно, чем подтвердим условие (1.2)

t1747306457hi.gif,

Тогда имеем для дифференциала и производной степенной функции, равенства t1747306457hj.gif или t1747306457hk.gif справедливые для целого t1747306457fl.gif.

Выведем формулу для случая корня t1747306457hl.gif или в виде степени t1747306457hm.gif , поскольку корень есть обратная функция к только что рассмотренной, то воспользуемся правилом дифференцирования обратной функции применительно к случаю t1747306457hf.gif, тогда обратная к ней функция по определению дается выражением t1747306457hn.gif в котором и будем дифференцировать обе части равенства. Имеем t1747306457ho.gif по правилу дифференцирования сложной функции, отсюда t1747306457hp.gif.

. Для отрицательных степеней такую же формула дифференцирования легко установить если применить правило дифференцирования дроби и так5им образом для любых степеней функции t1747306457hf.gif имеем:

t1747306457hk.gif.

Формула первообразной функции t1747306457hf.gif легко установить, если найти производную от

t1747306457hq.gif, равную t1747306457hr.gif с одной стороны и равную t1747306457hs.gif с другой. Воспользовавшись равенством многочленов t1747306457ht.gif t1747306457hs.gif, получим t1747306457hu.gif и t1747306457hv.gif, откуда t1747306457hw.gif и t1747306457hx.gif, окончательно получим

t1747306457hy.gif.

Поскольку мы умеем находить дифференциал степенной функции, то укажем способ вычисления t1747306457hz.gif с точностью до членов линейных по α и это будет t1747306457ia.gif и точность этого приближения дается величиной порядка t1747306457ib.gif.





2. Тригонометрические функции

Найдем производную функции t1747306457ic.gif, для этого изобразим первый квадрант тригонометрического круга

t1747306457id.jpg


и выпишем приращение функции t1747306457ie.gif. Будем полагать ∆х малым и оценим величины t1747306457if.gif и t1747306457ig.gif с точностью до линейных членов и рассмотрим площади треугольников t1747306457ih.gif, t1747306457ii.gif и сектора ОА1 t1747306457ij.gif. Очевидно имеют место неравенства

t1747306457ik.gift1747306457il.gif.

Оставим в выражениях для площадей только линейные по ∆х слагаемые, тогда c требуемой точность имеем:

t1747306457im.gif,

t1747306457ij.gifи

t1747306457in.gif=t1747306457io.gif.

Тогда наши неравенства мы можем переписать уже в виде нестрогих, поскольку учли только линейные члены и неравенства не теряют смысл т.к. в силу малости ∆х остальными членами можно пренебречь. С учетом сделанных замечаний имеем неравенства:

t1747306457ip.gif,

что означает эквивалентность t1747306457ig.gif и t1747306457iq.gif, с точностью до линейной части по t1747306457iq.gif . Оставляя в приращении только её линейную часть, получаем дифференциал

t1747306457ir.gifили для производной t1747306457is.gif.

Тогда первообразная от косинуса равна

t1747306457it.gif.

Найдем производную от функции обратной к t1747306457ic.gif, по определению обратной функции она равна t1747306457iu.gif, где t1747306457iv.gif ( в привычных обозначениях t1747306457iw.gif). Дифференцируя равенство t1747306457iu.gif, получим t1747306457ix.gif и найдем t1747306457iy.gif и воспользовавшись тождеством t1747306457iz.gif получаем

t1747306457ja.gif,

для первообразной имеем равенство

t1747306457jb.gif

Для других тригонометрических функций производные можно вычислить, используя их определения и правила дифференцирования. Например, t1747306457jc.gif можно дифференцировать используя правило дифференцирования сложной функции

t1747306457jd.gif.

Получаем правило вычисления производной:

t1747306457je.gif

и правило вычисления первообразной

t1747306457jf.gif.

Для всех других функций можно просто применить правила дифференцирования.

3. Показательная и логарифмическая функции

При рассмотрении функций будем исходить из их определения, основанного на понятии функциональных уравнений. Данный подход подробно изложен в учебнике Г.М. Фихтенгольца <<Дифференциальное и интегральное исчисление>> т.1 стр. 158. Издание 1997 г. Издательство <<Лань>>.

Показательной функцией t1747306457cl.gif будем называть функцию, удовлетворяющую функциональному уравнению

t1747306457jg.gif,

а обратную к ней функцию t1747306457cm.gif или в традиционных обозначениях t1747306457cq.gif, где t1747306457jh.gif удовлетворяет функциональному уравнению

t1747306457ji.gif, t1747306457jj.gif.

Убедимся, что введенная функция t1747306457jk.gif, которая называется натуральным логарифмом и задается определённым интегралом с переменным верхним пределом:

t1747306457jl.gif, t1747306457jm.gif

Докажем, что такая функция удовлетворяет функциональному уравнению

t1747306457jn.gif.

Мы воспользовались свойством аддитивности (2.11) определённого интеграла, первый член этой суммы есть t1747306457jo.gif , а во втором выполним подстановку (замену переменной интегрирования x на t) t1747306457jp.gif, t1747306457jq.gif и нижний предел t1747306457jr.gif, а верхний предел равен t1747306457js.gif и тем самым получаем функциональное уравнение t1747306457jt.gif, для логарифмической функции. Основание натурального логарифма называют постоянной Эйлера, обозначают буквой t1747306457ju.gif и численное значение этой постоянной можно определить из уравнения t1747306457jv.gif или в явном виде

t1747306457jw.gif.

Это уравнение решается численно по следующему алгоритму: Определим интервал, содержащий корень уравнения, последовательно выбирая в качестве верхнего предела числа 2,3…, найдем интервал корня t1747306457jx.gif и далее выполняя деление этого отрезка пополам найдем новый интервал корня, повторяем эту процедуру до той поры пока не достигнем требуемой точности вычисления корня уравнения и при этом необходимо согласовать точность вычисления интеграла с точностью вычисления корня.

Покажем, что обратная функция натурального логарифма t1747306457jy.gif или показательная функция t1747306457jz.gif, удовлетворяет соответствующему функциональному уравнению t1747306457ka.gif. Имеем t1747306457kb.gif и t1747306457kc.gif, тогда t1747306457kd.gif. В первом интеграле выполним замену переменной интегрирования t1747306457ke.gif, тогда t1747306457kf.gif и воспользовавшись свойством аддитивности определённого интеграла получим t1747306457kg.gif. Тем самым доказано что функция t1747306457jz.gif удовлетворяет функциональному уравнению для показательной функции и её основанием является постоянная Эйлера (подтверждение численный расчет) и эту функцию называют экспонентой, а функциональную зависимость экспоненциальной.

Отыскание производной функции натурального логарифма вытекает из её определения

t1747306457kh.gif.

Производную от экспоненты можно найти из её определения t1747306457jy.gif, если взять производную от обеих частей равенства t1747306457ki.gif. Мы воспользовались правилом дифференцирования сложной функции т.е. интеграл продифференцировали по переменной t1747306457kj.gif и умножили на производную этой функции по переменной t1747306457df.gif. Умножая обе части полученного выражения на t1747306457kj.gif получимt1747306457kk.gif t1747306457kl.gif или факт что экспонента при дифференцировании и интегрировании не меняет функциональной зависимости.

Правило дифференцирования показательной функции вида t1747306457km.gif и логарифмической функции вида t1747306457kn.gif легко получить имея ввиду формулы t1747306457ko.gif и t1747306457kp.gif.





















































в формате Microsoft Word (.doc / .docx)
Комментарии
Комментариев пока нет.