Studio di funzione
Sto studiando la seguente funzione:
\[
f(x) = \begin{cases}
0 & \text{se } x = 0 \\
\max \left( 0, x^2 \sin \left( \frac{1}{x} \right) \right) & \text{se } x \neq 0
\end{cases}
\]
Scrivendone la legge come una funzione a tratti, ottengo:
\[
f(x) := \begin{cases}
x^2 \sin \left( \frac{1}{x} \right) & \text{se } x^2 \sin \left( \frac{1}{x} \right) > 0 \\
0 & \text{se } x = 0 \vee x^2 \sin \left( \frac{1}{x} \right) < 0\\
\end{cases}
\]
ossia:
\[
f(x) := \begin{cases}
x^2 \sin \left( \frac{1}{x} \right) & \text{se } \frac{1}{\pi \left( 2n + 1 \right)} < x < \frac{1}{2 \pi n }, \quad \text{con } n \in \mathbb{R} \\
0 & \text{altrimenti.}
\end{cases}
\]
Ora, già la presenza di
\[
\max \left( 0, x^2 \sin \left( \frac{1}{x} \right) \right)
\]
(che tradotto significa: "se $ x^2 \sin \left( \frac{1}{x} \right) < 0 $, allora sputa fuori $ 0 $) ci assicura che la funzione sarà sempre positiva. Nel caso specifico $ x = 0 $, $ f $ sarà uguale a zero, confermando la tesi.
Fino a qui va bene? poi procederò col stabilire se e dove è continua.
\[
f(x) = \begin{cases}
0 & \text{se } x = 0 \\
\max \left( 0, x^2 \sin \left( \frac{1}{x} \right) \right) & \text{se } x \neq 0
\end{cases}
\]
Scrivendone la legge come una funzione a tratti, ottengo:
\[
f(x) := \begin{cases}
x^2 \sin \left( \frac{1}{x} \right) & \text{se } x^2 \sin \left( \frac{1}{x} \right) > 0 \\
0 & \text{se } x = 0 \vee x^2 \sin \left( \frac{1}{x} \right) < 0\\
\end{cases}
\]
ossia:
\[
f(x) := \begin{cases}
x^2 \sin \left( \frac{1}{x} \right) & \text{se } \frac{1}{\pi \left( 2n + 1 \right)} < x < \frac{1}{2 \pi n }, \quad \text{con } n \in \mathbb{R} \\
0 & \text{altrimenti.}
\end{cases}
\]
Ora, già la presenza di
\[
\max \left( 0, x^2 \sin \left( \frac{1}{x} \right) \right)
\]
(che tradotto significa: "se $ x^2 \sin \left( \frac{1}{x} \right) < 0 $, allora sputa fuori $ 0 $) ci assicura che la funzione sarà sempre positiva. Nel caso specifico $ x = 0 $, $ f $ sarà uguale a zero, confermando la tesi.
Fino a qui va bene? poi procederò col stabilire se e dove è continua.
Risposte
...Aspetta un secondo. Ma non è che, dato che la definizione di $ f $ cambia, devo vedere come si comporta nell'intorno dei punti $ x_k $, dunque sono due funzioni diverse da analizzare a seconda da quale parte (sinistra o destra) ti trovi quando ci si avvicina ad essi?
"ncant":
Posso valutare
\[
h(x) = x^2 \sin \left( \frac{1}{x} \right)
\]
e dato che stiamo invece parlando di $ \max \left( 0, x^2 \sin \left( \frac{1}{x} \right) \right) $, possiamo dire con certezza che, dovesse $ h (x) \to -\infty $, $f(x) $ tenderà invece a $ 0 $.
\[
\sin \left( \frac{1}{x}\right) \sim \frac{1}{x} \Longrightarrow x^2 \sin \left( \frac{1}{x}\right) \sim x^2 \frac{1}{x} = x
\]
da cui si ottiene che $ \lim_{x \to +\infty} f(x) = +\infty $ e $ \lim_{x \to +\infty} f(x) = 0 $ (per quanto citato sopra).
Due precisazioni.
Uno: intorno a $-oo$ la funzione è nulla, quindi non "tende a zero" ma "è zero".
Due: l'approssimazione trovata intorno a $+oo$ mostra che hai asintoto obliquo.
"ncant":
...Aspetta un secondo. Ma non è che, dato che la definizione di $ f $ cambia, devo vedere come si comporta nell'intorno dei punti $ x_k $, dunque sono due funzioni diverse da analizzare a seconda da quale parte (sinistra o destra) ti trovi quando ci si avvicina ad essi?
E già...
\[ \lim_{h \to 0^+ } \frac{ f \left( \frac{1}{\pi}+h \right) - f \left( \frac{1}{\pi} \right) }{h} = \lim_{h \to 0^+ } \frac{\left( \frac{1}{\pi^2} + \frac{2h}{\pi} + h^2 \right) \sin \left( \frac{1}{\frac{1}{\pi} +h} \right) - 0}{h} = \frac{1}{\pi^2} \lim_{h \to 0^+ } \frac{ h^2 \sin \left( \frac{1}{\frac{1}{\pi} +h} \right) }{h} \]\[ \lim_{h \to 0^- } \frac{ f \left( \frac{1}{\pi}+h \right) - f \left( \frac{1}{\pi} \right) }{h} = \lim_{h \to 0^- } \frac{h^2 \sin \left( \frac{1}{h} \right)}{h} = \lim_{h \to 0^- } h \sin \left( \frac{1}{h} \right) = 0 \]
\[ \lim_{h \to 0^+ } \frac{ f \left( \frac{1}{\pi}+h \right) - f \left( \frac{1}{\pi} \right) }{h} = \lim_{h \to 0^+ } \frac{\left( \frac{1}{\pi^2} + \frac{2h}{\pi} + h^2 \right) \sin \left( \frac{1}{\frac{1}{\pi} +h} \right) - 0}{h} = \frac{1}{\pi^2} \lim_{h \to 0^+ } \frac{ \sin \left( \frac{1}{\frac{1}{\pi} +h} \right) }{h} \]
Forma indeterminata.
Usando la regola di de L'Hopital ottengo
\[
\lim_{h \to 0^+ } \frac{ \sin \left( \frac{1}{\frac{1}{\pi} +h} \right) }{h} = \lim_{h \to 0^+ } = -\frac{\pi^2 \cos \left( \frac{\pi}{1+\pi h}\right) }{(1 + \pi h )^2} = \pi^2
\]
Pertanto
\[
\lim_{h \to 0^+ } \frac{ f \left( \frac{1}{\pi}+h \right) - f \left( \frac{1}{\pi} \right) }{h} = 1
\]
Limiti diversi. Non è derivabile nei punti $ \frac{1}{k\pi} $ con $ k \in \mathbb{Z} $.
\[ \lim_{h \to 0^+ } \frac{ f \left( \frac{1}{\pi}+h \right) - f \left( \frac{1}{\pi} \right) }{h} = \lim_{h \to 0^+ } \frac{\left( \frac{1}{\pi^2} + \frac{2h}{\pi} + h^2 \right) \sin \left( \frac{1}{\frac{1}{\pi} +h} \right) - 0}{h} = \frac{1}{\pi^2} \lim_{h \to 0^+ } \frac{ \sin \left( \frac{1}{\frac{1}{\pi} +h} \right) }{h} \]
Forma indeterminata.
Usando la regola di de L'Hopital ottengo
\[
\lim_{h \to 0^+ } \frac{ \sin \left( \frac{1}{\frac{1}{\pi} +h} \right) }{h} = \lim_{h \to 0^+ } = -\frac{\pi^2 \cos \left( \frac{\pi}{1+\pi h}\right) }{(1 + \pi h )^2} = \pi^2
\]
Pertanto
\[
\lim_{h \to 0^+ } \frac{ f \left( \frac{1}{\pi}+h \right) - f \left( \frac{1}{\pi} \right) }{h} = 1
\]
Limiti diversi. Non è derivabile nei punti $ \frac{1}{k\pi} $ con $ k \in \mathbb{Z} $.
"ghira":
[quote="gugo82"]Se $f(0)=0$, non vedo come $f$ possa essere sempre positiva... Che vuol dire "positivo"?
Magari ncant è francese.[/quote]
Tratto da uno dei compiti del mio Prof. di Analisi:
"Si determini il valore minimo (qualora esista) della seguente funzione $ f(x) $ definita sui reali positivi $ R^+ = { x \geq 0 } $".
Ma che...

"ncant":
[...] definita sui reali positivi $R^+=\{x ge 0\}$".
I simboli matematici sono disciplinati dalla normativa ISO 80000-2 alla quale teoricamente ci si dovrebbe attenere...

I reali positivi si dovrebbero indicare con $\RR_{> 0} := {x \in \RR : x > 0} $
Altri simboli usati sono $\RR^+ $ oppure $\RR_{+} $
I reali positivi o al più nulli si dovrebbero indicare con $\RR_{\ge 0} := {x \in \RR : x \ge 0} $
Altri simboli usati sono $\RR_0^+ $ oppure $\RR_{0+} $
Ovviamente si possono anche usare altre simbologie, ma dato che non sono standard devono essere preventivamente definite al fine di evitare incomprensioni.