Математический анализ · Линейное приближение

Линейное приближение

Линейное приближение функции f в точке a — её касательная, L(x) = f(a) + f′(a)(x − a). Там, где f дифференцируема, погрешность f(x) − L(x) уменьшается быстрее x − a, поэтому при увеличении кривая выглядит прямой.

01

Линейное приближение в этой визуализации

Линейное приближение функции ff в точке aa, также называемое приближением касательной или локальной линеаризацией, — касательная L(x)=f(a)+f′(a)(x−a)L(x) = f(a) + f'(a)(x - a). Оно существует, если ff дифференцируема в aa. Другая запись — f(x0+Δx)≈f(x0)+f′(x0) Δxf(x_0 + \Delta x) \approx f(x_0) + f'(x_0)\,\Delta x, где вместо aa используется x0x_0. Здесь показаны семь функций: четыре гладкие и три не дифференцируемые в 0.

График центрирован по горизонтали на синей точке P =(a,f(a))= (a, f(a)), масштабы осей одинаковы. Красный шаг Δx также задаёт увеличение: область просмотра сжимается вместе с ним и при необходимости расширяется, чтобы P, подъём касательной и Q оставались видны. За этот шаг касательная поднимается на синий дифференциал dy=f′(a) Δxdy = f'(a)\,\Delta x, а кривая — на Δy=f(a+Δx)−f(a)\Delta y = f(a + \Delta x) - f(a). Жёлтая стрелка — погрешность:

Погрешность линейного приближения
E=Δy−dy=f(a+Δx)−f(a)−f′(a) Δx.E = \Delta y - dy = f(a + \Delta x) - f(a) - f'(a)\,\Delta x.

Функция дифференцируема в aa тогда и только тогда, когда существует конечное число mm, для которого f(a+h)−f(a)−mh=o(∣h∣)f(a + h) - f(a) - m h = o(|h|), то есть погрешность, делённая на hh, стремится к 0 при h→0h \to 0 с обеих сторон; тогда m=f′(a)m = f'(a). Страница рисует шаг только вправо (h=Δx>0h = \Delta x > 0), поэтому изображение иллюстрирует это, а не доказывает; существование касательной определяется формулой каждой функции. Поскольку вид сжимается вместе с Δx\Delta x, величина ∣E∣/Δx|E|/\Delta x примерно показывает, на какую долю размера вида кривая отклонилась от прямой в Q, поэтому дифференцируемая кривая при увеличении выглядит всё прямее. Если f′′(a)≠0f''(a) \ne 0, то E≈12f′′(a) Δx2E \approx \tfrac12 f''(a)\,\Delta x^2 для малых Δx\Delta x, поэтому при достаточно малом Δx\Delta x каждое десятикратное увеличение уменьшает погрешность примерно в сто раз. При f′′(a)=0f''(a) = 0, как у sin⁡x\sin x в 0, она уменьшается ещё быстрее.

02

Что не следует путать

  • «Выглядит прямой» — впечатление от изображения, а не доказательство. Кривая может выглядеть прямой при любом испробованном увеличении и всё же изгибаться на меньшем масштабе. Выводы этой страницы (есть касательная или нет) следуют из формул функций, а не из изображения.
  • В угловой точке, как у ∣x∣|x| в 0, при любом увеличении видна одна и та же V-образная фигура. Ни одна прямая не подходит, поэтому линейного приближения нет. Односторонние наклоны равны −1 и 1.
  • x3\sqrt[3]{x} в 0 выпрямляется, но в вертикальную прямую x=0x = 0. У вертикальной прямой нет углового коэффициента, поэтому приближения вида y≈L(x)y \approx L(x) нет. В острие x2/3x^{2/3} обе стороны направляются вверх.
  • Приближение локально. Для фиксированного шага оно может быть плохим: при Δx=1\Delta x = 1 касательная к exe^x в 0 даёт 2 вместо 2.718.
03

Где это применяется

  • Оценки вручную: 4.1≈2+0.1/4=2.025\sqrt{4.1} \approx 2 + 0.1/4 = 2.025 (истинное значение примерно 2.02485) или sin⁡θ≈θ\sin\theta \approx \theta для малых углов, как у математического маятника.
  • Метод Ньютона находит нуль ff, снова и снова решая L(x)=0L(x) = 0. В измерениях дифференциал dydy оценивает, как ошибка в xx передаётся в yy.
04

Управление

  • Перетаскивайте график по горизонтали, чтобы двигать кривую под P (меняется a); прокручивайте при фокусе на графике или используйте жест двух пальцев для масштаба (меняется Δx). Приблизить на каждом шаге делает Δx в десять раз меньше; Обзор показывает положение вида на всей кривой, а нажатие или перетаскивание в нём перемещает P туда.
  • Режим презентации открывает полноэкранный вид для проектора (пробел увеличивает, ← → меняют Δx в десять раз, H скрывает ответы).
05

Связанные темы