5.2.E: Problemas en Derivadas de Funciones Reales Extendidas
- Page ID
- 114052
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Completa los detalles faltantes en la prueba de Teoremas\(1,2,\) y\(4,\) Corolario\(4,\) y Lema 1.
\(\text { [Hint for converse to Corollary } 4(\mathrm{ii}) : \text { Use Lemma } 1 \text { for an indirect proof. }]\)
Hacer casos\(p \leq 0\) en Ejemplo\((\mathrm{A})\).
Mostrar que Teoremas\(1,2,\) y 4 y Corolarios 2 a 4 sostienen también si\(f\) es discontinuo en\(a\) y\(b\) pero\(f\left(a^{+}\right)\) y\(f\left(b^{-}\right)\) existen y son finitos. (En Corolario\(2,\) asumir también\(f\left(a^{+}\right)=f\left(b^{-}\right) ;\) en los Teoremas 1 y 4 y Corolario\(2,\) finitud es innecesaria.)
\(\text { [Hint: Redefine } f(a) \text { and } f(b) .]\)
Bajo los supuestos de Corolario\(3,\) muestran que\(f^{\prime}\) no puede permanecer infinito en ningún intervalo\((p, q), a \leq p<q \leq b .\)
\(\text { [Hint: Apply Corollary } 3 \text { to the interval }[p, q] .]\)
Justificar nota al pie\(1 .\)
[Pista: Vamos
\ [
f (x) =x+2 x^ {2}\ sin\ frac {1} {x^ {2}}\ texto {con} f (0) =0.
\]
Al\(0,\) encontrar\(f^{\prime}\) de la Definición 1 en §1. Utilice también Problema 8 de §1. Demostrar que no\(f\) es\(\left.\text { monotone on any } G_{0}(\delta) .\right]\)
Mostrar que no es\(f^{\prime}\) necesario que sea continuo o acotado\([a, b]\) (bajo la métrica estándar), aunque allí\(f\) sea diferenciable.
\(\text { [Hint: Take } f \text { as in Problem } 5 .]\)
Con\(f\) como en Corolarios 3 y\(4,\) demostrar que si está\(f^{\prime} \geq 0\left(f^{\prime} \leq 0\right)\) encendido\((a, b)\) y si no\(f^{\prime}\) es constantemente 0 en cualquier subintervalo\((p, q) \neq \emptyset,\) entonces\(f\) es estrictamente monótona en\([a, b] .\)
Dejar\(x=f(t), y=g(t),\) donde\(t\) varía a lo largo de un intervalo abierto\(I \subseteq E^{1}\), definir una curva en\(E^{2}\) paramétricamente. Demostrar que si\(f\) y\(g\) tener derivadas on\(I\) y\(f^{\prime} \neq 0,\) luego la función\(h=f^{-1}\) tiene una derivada on\(f[I]\), y la pendiente de la tangente a la curva en\(t_{0}\) iguales\(g^{\prime}\left(t_{0}\right) / f^{\prime}\left(t_{0}\right)\).
\(\text { [Hint: The word "curve" implies that } f \text { and } g \text { are continuous on } I \text { (Chapter } 4, §10),\)así se aplican los Teoremas 1 y 3, y\(h=f^{-1}\) es una función. También,\(y=g(h(x)) .\) Use\(\text { Theorem } 3 \text { of } §1 .]\)
Demostrar que si\(f\) es continuo y tiene una derivada sobre\((a, b)\) y si\(f^{\prime}\) tiene un límite finito o infinito (incluso unilateral) en algunos\(p \in(a, b),\) entonces este límite es igual a\(f^{\prime}(p) .\) Deducir que\(f^{\prime}\) es continuo en\(p\) si\(f^{\prime}\left(p^{-}\right)\) y\(f^{\prime}\left(p^{+}\right)\) existe.
[Pista: Por Corolario\(3,\) para cada uno\(x \in(a, b),\) hay algunos\(q_{x}\) entre\(p\) y\(x\) tal que
\ [
f^ {\ prime}\ left (q_ {x}\ right) =\ frac {\ Delta f} {\ Delta x}\ rightarrow f^ {\ prime} (p)\ text {as} x\ right tarrow p.
\]
\(\left.\text { Set } y=q_{x}, \text { so } \lim _{y \rightarrow p} f^{\prime}(y)=f^{\prime}(p) .\right]\)
Del Teorema 3 y Problema 8 en §1, deducir las fórmulas de diferenciación
\ [
(\ arcsin x) ^ {\ prime} =\ frac {1} {\ sqrt {1-x^ {2}}} ;(\ arccos x) ^ {\ prime} =\ frac {-1} {\ sqrt {1-x^ {2}}} ;(\ arctan x) ^ {prime\} =\ frac {1} {1+x^ {2}}.
\]
Demostrar que si\(f\) tiene un derivado en\(p,\) entonces\(f(p)\) es finito, siempre\(f\) que no sea constantemente infinito en ningún intervalo\((p, q)\) o\((q, p), p \neq q\).
[Pista: Si\(f(p)=\pm \infty,\) cada uno\(G_{p}\) tiene puntos en los que así\(\frac{\Delta f}{\Delta x}=+\infty,\) como aquellos\(x\)\(\left.\text { with } \frac{\Delta f}{\Delta x}=-\infty .\right]\)