[Matemáticas avanzadas] Continuamente diferenciable y diferenciable (Definición + Prueba + Método de memoria)

Continuamente diferenciable y diferenciable.

1.Definición

1.1 Definición de continuo

  1. Definición 1

    Sea y = f(x) en el punto x 0 x_0X0tiene una definición en un campo determinado, si

    lim ⁡ Δ x → 0 Δ y = lim ⁡ Δ x → 0 [ f ( x 0 + Δ x ) − f ( x 0 ) ] = 0 \displaystyle \lim_{Δx \to 0} Δy = \lim_{Δx \ a 0}[f(x_0 + Δx) - f(x_0)] = 0Δ x 0límΔy_ _=Δ x 0lím[ f ( x0+Δ x )f ( x0) ]=0

    Entonces se dice que y = f(x) está en el punto x 0 x_0X0Continuo en todas partes

  2. Definición 2

    Sea y = f(x) en el punto x 0 x_0X0tiene una definición en un campo determinado, si

    lim ⁡ Δ x → 0 f ( x ) = f ( x 0 ) \displaystyle \lim_{Δx \to 0}f(x) = f(x_0)Δ x 0límf ( x )=f ( x0)

    Entonces se dice que y = f(x) está en x 0 x_0X0Continuo en todas partes

1.2 Definición de diferenciable

Sea y = f(x) en el punto x 0 x_0X0está definido en un campo determinado, si el límite

lim ⁡ Δ x → 0 Δ y Δ x = lim ⁡ Δ x → 0 f ( x 0 + Δ x ) − f ( x 0 ) Δ x \displaystyle \lim_{Δx \to 0} \frac{Δy}{Δx } = \lim_{Δx \to 0} \frac{f(x_0 + Δx) - f(x_0)}{Δx}Δ x 0límΔx_ _Δy_ _=Δ x 0límΔx_ _f ( x0+Δ x )f ( x0)

existe, entonces se dice que f(x) está en el punto x 0 x_0X0Es diferenciable en todas partes, denotado como f ′ ( x 0 ) f'(x_0)F (x0) también se puede escribir comoy ′ ∣ x = x 0 , dydx ∣ x = x 0 , df ( x ) dx ∣ x = x 0 y'|_{x=x_0}, \frac{dy}{dx}| _ {x=x_0}, \frac{df(x)}{dx}|_{x=x_0}yx = x0,d xd yx = x0,d xd f ( x )x = x0

1.3 Definición de diferenciable

Sea y = f(x) en el punto x 0 x_0X0Se define en un determinado campo deΔy_ _=f ( x0+Δ x )f ( x0) se puede expresar como

Δ y = A Δ x + o ( Δ x ) , ( Δ x → 0 ) \Delta y = A\Delta x + o(\Delta x),(\Delta x\to 0)Δy_ _=A Δx _+o ( Δx ) , _( Δx_ _0 ) ,

donde A es independiente de Δ x \Delta xΔx es una constante, entonces se dice que la función está en x 0 x_0X0Diferenciable en todas partes, y A Δ x A\Delta xA Δ x se le llama funcióny = f ( x ) y=f(x)y=f ( x ) en el puntox 0 x_0X0Relativo al incremento de la variable independiente Δ x \Delta xEl diferencial de Δ x se denota como dy, es decir,
dy = A Δ x \displaystyle dy = A\Delta xd y=A Δx _

2. La relación entre los tres

20220312114034

3. Prueba de parentesco

3.1 Diferenciabilidad y Diferenciabilidad

  1. El diferenciable debe ser conductor.

    Según la definición anterior, suponiendo que la función es diferenciable en el punto y=f(x), divide ambos lados de la función por Δ x \Delta xΔx , obtenemos

    Δ y Δ x = A + o ( Δ x ) Δ x \displaystyle \frac{\Delta y}{\Delta x} = A + \frac{o(\Delta x)}{\Delta x}Δx_ _Δy_ _=A+Δx_ _o ( Δx ) _

    Δ x → 0 \Delta x \a 0Δx_ _A las 0 en punto hay

    A = lim ⁡ Δ x → 0 Δ y Δ x = f ′ ( x 0 ) \displaystyle A = \lim_{Δx \to 0} \frac{\Delta y}{\Delta x} = f'(x_0)A=Δ x 0límΔx_ _Δy_ _=F (x0)

    Conoce la definición de derivable

  2. La derivable debe ser diferenciable.

    y = f ( x 0 ) y=f(x_0)y=f ( x0) en el puntox 0 x_0X0se puede derivar, entonces

    lim ⁡ Δ x → 0 Δ y Δ x = f ′ ( x 0 ) \displaystyle \lim_{Δx \to 0} \frac{\Delta y}{\Delta x} = f'(x_0)Δ x 0límΔx_ _Δy_ _=F (x0)

    Existe, según la relación entre límite e infinitesimal (Teorema 1, Capítulo 1, Sección 4, Matemáticas Avanzadas), se puede escribir como

    Δ y Δ x = f ′ ( x 0 ) + α \displaystyle \frac{\Delta y}{\Delta x} = f'(x_0) + \alphaΔx_ _Δy_ _=F (x0)+a

    donde α → 0 (cuando Δ x → 0) \alpha \to 0 (cuando Δx \to 0)a0 ( cuando Δ x0 ) , multiplica ambos lados porΔ x \Delta xΔ x , hay

    Δ y = f ′ ( x 0 ) Δ + α Δ x \Delta y = f'(x_0)\Delta + \alpha\Delta xΔy_ _=F (x0) re+un rex _

    α Δ x = o ( Δ x ) α\Delta x =o(\Delta x)un rex _=o ( Δ x ) yf ′ ( x 0 ) f'(x_0)F (x0) no depende deΔ x \Delta xΔ x , consistente con la definición de diferenciable

3.2 Diferenciable y continua

  1. Diferenciable (diferenciable) debe ser continuo.

    Consejos: se puede ver en la prueba anterior que la función f (x 0) f(x_0)f ( x0) enx 0 x_0X0La condición necesaria y suficiente para que un punto sea diferenciable es que la función f ( x 0 ) f(x_0)f ( x0) enx 0 x_0X0Los puntos son diferenciables, por lo que siempre que se demuestre que la diferenciabilidad debe ser continua, se puede deducir que la diferenciabilidad debe ser continua.

    Se puede derivar la siguiente prueba de que debe ser continua

    Sea la función y = f ( x ) y = f(x)y=f ( x ) es diferenciable en x, es decir

    lim ⁡ Δ x → 0 Δ y Δ x = f ′ ( x ) \displaystyle \lim_{Δx \to 0} \frac{Δy}{Δx} = f'(x)Δ x 0límΔx_ _Δy_ _=F (x), según la relación entre límite e infinitesimal (Teorema 1, Capítulo 1, Sección 4, Matemáticas Avanzadas), se puede escribir como

    Δ y Δ x = f ′ ( x ) + α \displaystyle \frac{Δy}{Δx} = f'(x) + \alphaΔx_ _Δy_ _=F' (x)+a

    donde α → 0 (cuando Δ x → 0) \alpha \to 0 (cuando Δx \to 0)a0 ( cuando Δ x0 ) , multiplica ambos lados porΔ x \Delta xΔ x , hay

    Δ y = f ′ ( x ) Δ x + α Δ x \Delta y = f'(x)\Delta x + \alpha\Delta xΔy_ _=F (x)Δx+un rex _

    Se puede observar que cuando Δ x → 0 \Delta x \to 0Δx_ _0时, Δ y → 0 \Delta y \to 0 Δy_ _0 , que se ajusta a la definición de continuidad de función 1, por lo que la derivada debe ser continua

  2. Continuo no es necesariamente diferenciable

    Contraejemplo: y = ∣ x ∣ y = |x|y=x ∣continua pero no diferenciable

    1. Prueba 1

      La imagen de la función es la siguiente:

      20220312131355

      El significado geométrico de la derivada es la pendiente de la recta tangente, es decir, f ′ ( x 0 ) = tan α f'(x_0) = tan \alphaF (x0)=t a n α , es fácil saber que la pendiente en el lado izquierdo del origen es -1 y en el lado derecho es 1. Las derivadas izquierda y derecha no son iguales, por lo que no son diferenciables (la necesaria y suficiente La condición para la derivación es que los límites izquierdo y derecho existan y sean iguales).

4.Método de memoria

La diferenciabilidad y la diferenciabilidad son equivalentes, así que recuerde la relación entre los tres, solo recuerde que continuo no es necesariamente diferenciable\diferenciable .

5. Artículos de referencia

  1. Matemáticas Avanzadas (7ma Edición)
  2. Curso en línea de Wu Zhongxiang + conceptos básicos de matemáticas avanzadas

Al final del artículo, me gustaría agradecer al hermano Huagong Yue por su ayuda y orientación.

Supongo que te gusta

Origin blog.csdn.net/ahLOG/article/details/123442434
Recomendado
Clasificación