La $f:\mathbb{R}\to\mathbb{R}$ være en kontinuerlig deriverbar funksjon slik at $f(0)=0$ og $|f'(x)|\leq |f(x)|$ for alle $x$. Vis at $f(x)$ er konstant.
Edit:
PS: Det var slik oppgaven var formulert, men med mindre jeg har oversett noe elementært, tror jeg ikke man behøver kontinuitet av den deriverte her.(?)
Gammel putnam-kalkulus
Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa
Hint:
Edit: Rettelse i intervallet.
Her er et utkast på bevis, men ikke et jeg er stolt av. En av trinnene i argumentasjonen får jeg ikke til å bevise ($\lvert f(1) \rvert \geq \lvert f(x) \rvert \enspace \forall x \in [0,1]$), men den skaper en fin selvmotsigelse, så jeg tenkte at det kanskje var påtenkt oppgaven, at denne selvmotsigelsen skulle oppstå. Legger ut utkastet i håp om å få feedback på om dette er i riktig retning, eller om jeg er helt på jordet.
Anta, i jakt på en selvmotsigelse, at $f(x)$ ikke er konstant. Betrakt videre et intervall $[a,b]$ med lengde $1$ slik at $f(a)=0$ og $\lvert f(b) \rvert \geq \lvert f(x) \rvert \enspace \forall x \in [a,b]$. Intervallet $[0,1]$ passer til dette (?), og da har vi at $\lvert f(1) \rvert \geq \lvert f(x) \rvert \enspace \forall x \in [0,1]$.
Av middelverditeoremet vil $\exists c$ slik at $f'(c) = \frac{f(1)-f(0)}{1-0} = f(1)$. Ulikheten $\lvert f'(c) \rvert \leq \lvert f(c) \rvert \Longrightarrow \lvert f(1) \rvert \leq \lvert f(c) \rvert$, men dette kan ikke stemme siden $\lvert f(1) \rvert \geq \lvert f(x) \rvert \enspace \forall x \in [0,1]$. Altså har vi en selvmotsigelse, som kommer ved å anta at $f(x)$ ikke er konstant. Altså er det motsatte sant, $f(x)$ er konstant. Og hvis $f(x)$ er konstant i intervallet $[0,1]$ impliserer det at den er konstant over $\mathbb{R}$ (?). Og det var dette som skulle vises.
Anta, i jakt på en selvmotsigelse, at $f(x)$ ikke er konstant. Betrakt videre et intervall $[a,b]$ med lengde $1$ slik at $f(a)=0$ og $\lvert f(b) \rvert \geq \lvert f(x) \rvert \enspace \forall x \in [a,b]$. Intervallet $[0,1]$ passer til dette (?), og da har vi at $\lvert f(1) \rvert \geq \lvert f(x) \rvert \enspace \forall x \in [0,1]$.
Av middelverditeoremet vil $\exists c$ slik at $f'(c) = \frac{f(1)-f(0)}{1-0} = f(1)$. Ulikheten $\lvert f'(c) \rvert \leq \lvert f(c) \rvert \Longrightarrow \lvert f(1) \rvert \leq \lvert f(c) \rvert$, men dette kan ikke stemme siden $\lvert f(1) \rvert \geq \lvert f(x) \rvert \enspace \forall x \in [0,1]$. Altså har vi en selvmotsigelse, som kommer ved å anta at $f(x)$ ikke er konstant. Altså er det motsatte sant, $f(x)$ er konstant. Og hvis $f(x)$ er konstant i intervallet $[0,1]$ impliserer det at den er konstant over $\mathbb{R}$ (?). Og det var dette som skulle vises.
Mulig du tenker rett her, men noe er feil. Anta f(x) ikke konstant på [a,b], og betrakt en $c\in[a,b]$ slik at $|f(c)|\geq |f(x)|$ for alle $x\in [a,b]$.Markus skrev:
Anta, i jakt på en selvmotsigelse, at $f(x)$ ikke er konstant. Betrakt videre et intervall $[a,b]$ med lengde $1$ slik at $f(a)=0$ og $\lvert f(b) \rvert \geq \lvert f(x) \rvert \enspace \forall x \in [a,b]$.
Edit: Jeg ser nå at man bør betrakte intervaller [a,b] der $|b-a|=\frac12$ for å få strikt ulikhet i beviset.
Viser først at $f(x)$ er konstant på $[0,\frac12]$: Anta $f$ ikke konstant på $[0,\frac12]$. La $a\in [0,\frac12]$ slik at $|f(a)|\geq |f(x)|$ for alle $x\in [0,\frac12]$. Da fins fra middelverditeoremet en $b\in (0,a)$ slik at $f'(b)= \frac{f(a)-f(0)}{a-0}=\frac{f(a)}{a}$.Gustav skrev:La $f:\mathbb{R}\to\mathbb{R}$ være en kontinuerlig deriverbar funksjon slik at $f(0)=0$ og $|f'(x)|\leq |f(x)|$ for alle $x$. Vis at $f(x)$ er konstant.
Kan du finne en motsigelse?
Videre hint: Generalisér argumentet over: La $f(c)=0$ for en vilkårlig reell verdi $c$, og vis at $f(x)$ da må være konstant lik $0$ på $[c,c+\frac12]$ og $[c-\frac12,c]$. Konkludér med at $f$ er konstant lik $0$ på hele $\mathbb{R}$.
Edit: Merk at siden $f(x)$ er kontinuerlig er $|f(x)|$ kontinuerlig. Ekstremverditeoremet (https://en.wikipedia.org/wiki/Extreme_value_theorem) sier da at $|f(x)|$ har et maksimum på $[0,\frac12]$. Siden $f$ antas å ikke være konstant, vil $|f(a)|>0$, og videre $|f(b)|>0$. Dermed gjelder den strenge siste ulikheten i spoileren.
Henger med på denne delen, men er litt usikker på om jeg forstår selvmotsigelsen korrekt videre. Ulikheten oppgitt i oppgaven [tex]|f(x)| \geq |f'(x)| \Longrightarrow |f(b)| \geq |f'(b)|[/tex]. Og [tex]f'(b)[/tex] har vi jo allerede en "verdi" for ved å utnytte middelverdisetningen. Så [tex]|f(b)| \geq |f'(b)| \Longrightarrow |f(b)| \geq |\frac{f(a)}{a}| \Longrightarrow |a||f(b)| \geq |f(a)|[/tex]. Og siden $a \leq \frac12$, må $|a| \cdot |f(b)| \leq |f(b)|$? Men siden $|f(a)| \geq |f(x)|$, kan ikke $|a| \cdot |f(b)| \geq |f(a)|$ for alle $x \in \left[0, \frac12 \right]$ er det en selvmotsigelse, og den kommer av at vi antar at $f(x)$ ikke er konstant på intervallet $\left[0, \frac12 \right]$, så da må $f(x)$ være konstant på intervallet. Korrekt forståelse av selvmotsigelsen?Gustav skrev: Viser først at $f(x)$ er konstant på $[0,\frac12]$: Anta $f$ ikke konstant på $[0,\frac12]$. La $a\in [0,\frac12]$ slik at $|f(a)|\geq |f(x)|$ for alle $x\in [0,\frac12]$. Da fins fra middelverditeoremet en $b\in (0,a)$ slik at $f'(b)= \frac{f(a)-f(0)}{a-0}=\frac{f(a)}{a}$.
Antar at $f(x)$ ikke er konstant på intervallet $\left[c, c + \frac12 \right]$. La $a \in \left[c,c+\frac12 \right]$ slik at $|f(a)| \geq |f(x)|$ for alle $x \in \left[c,c+ \frac12 \right]$. Av middelverdisetningen $\exists b \in \left (c,a \right)$ slik at $f'(b) = \frac{f(a)-f(c)}{a-c}=\frac{f(a)-0}{a-c}=\frac{f(a)}{a-c}$. Av ulikheten oppgitt i oppgaven følger det at $|f(b)| \geq |f'(b)| \Longrightarrow |f(b)| \geq |\frac{f(a)}{a-c}| \Longrightarrow |a-c| \cdot |f(b)| \geq |f(a)|$. Siden at $|a-c| \leq 1 \Longrightarrow |a-c| \cdot |f(b)| \leq |f(b)|$, men dette er en selvmotsigelse siden $|f(a)| \geq |f(x)|$ for alle $x \in \left[c,c+\frac12 \right]$, så $f(x)$ må være konstant på $\left[c,c+\frac12 \right]$. Akkurat samme argumentasjon kan brukes for intervallet $\left[ c-\frac12, c \right]$. Så vi har vist at $f(x)$ er konstant på hele intervallet $\left [c-\frac12, c+\frac12 \right]$. Siden $c$ er en vilkårlig verdi så kan intervallet, med lengde $1$, være hvor som helst på $\mathbb{R}$, og dette impliserer at $f(x)$ er konstant på hele $\mathbb{R}$. Siden $f(c)=0$ impliserer det videre at $f(x)$ er konstant lik $0$ på hele $\mathbb{R}$. Og det var dette vi ønsket å vise. $\enspace \enspace \blacksquare$Gustav skrev:Generalisér argumentet over: La $f(c)=0$ for en vilkårlig reell verdi $c$, og vis at $f(x)$ da må være konstant lik $0$ på $[c,c+\frac12]$ og $[c-\frac12,c]$. Konkludér med at $f$ er konstant lik $0$ på hele $\mathbb{R}$.
Har jeg forstått riktig nå? Og er generaliseringen korrekt?
Edit: glemte noen absoluttverditegn
For det første har vi, og dette er vesentlig, streng/ekte ulikhet $|a||f(b)|<|f(b)|$, siden $|a|\leq \frac12 < 1$. Ulikheten holder fordi vi beviselig har at $|f(b)|>0$. Selvmotsigelsen ligger i at vi har vist at $|f(b)|<|f(b|$.Markus skrev: Henger med på denne delen, men er litt usikker på om jeg forstår selvmotsigelsen korrekt videre. Ulikheten oppgitt i oppgaven [tex]|f(x)| \geq |f'(x)| \Longrightarrow |f(b)| \geq |f'(b)|[/tex]. Og [tex]f'(b)[/tex] har vi jo allerede en "verdi" for ved å utnytte middelverdisetningen. Så [tex]|f(b)| \geq |f'(b)| \Longrightarrow |f(b)| \geq |\frac{f(a)}{a}| \Longrightarrow |a||f(b)| \geq |f(a)|[/tex]. Og siden $a \leq \frac12$, må $|a| \cdot |f(b)| \leq |f(b)|$? Men siden $|f(a)| \geq |f(x)|$, kan ikke $|a| \cdot |f(b)| \geq |f(a)|$ for alle $x \in \left[0, \frac12 \right]$ er det en selvmotsigelse, og den kommer av at vi antar at $f(x)$ ikke er konstant på intervallet $\left[0, \frac12 \right]$, så da må $f(x)$ være konstant på intervallet. Korrekt forståelse av selvmotsigelsen?
Her betyr streng ulikhet altså kun større/mindre, ikke noe større/mindre eller lik? Forstår nå at dette er vesentlig, ellers hadde vi hatt en mulig case der $|a||f(b)| = |f(b)|$, hvilket viser seg å være sant siden vi beviser at $f(x)$ er konstant på hele $\mathbb{R}$, så da hadde det ikke vært noe selvmotsigelse? Og $|f(b)|>0$ følger av ekstremalverditeoremet? Så følger selvmotsigelsen av "kjede"-ulikheten; $f(a) \geq f(x)$ for alle $x \in [0,\frac12 ]$ impliserer at $|f(b)| \leq |f(a)|$, og $|f(a)| \leq |a||f(b)|$ av å kombinere middelverditeoremet og ulikheten oppgitt i oppgaven, og til slutt $|a||f(b)| < |f(b)|$, grunnet hvilket intervall $a$ er definert på. Og da oppstår $|f(b)| < |f(b)|$, som er absurd.Gustav skrev:For det første har vi, og dette er vesentlig, streng/ekte ulikhet $|a||f(b)|<|f(b)|$, siden $|a|\leq \frac12 < 1$. Ulikheten holder fordi vi beviselig har at $|f(b)|>0$. Selvmotsigelsen ligger i at vi har vist at $|f(b)|<|f(b|$.Markus skrev: Henger med på denne delen, men er litt usikker på om jeg forstår selvmotsigelsen korrekt videre. Ulikheten oppgitt i oppgaven [tex]|f(x)| \geq |f'(x)| \Longrightarrow |f(b)| \geq |f'(b)|[/tex]. Og [tex]f'(b)[/tex] har vi jo allerede en "verdi" for ved å utnytte middelverdisetningen. Så [tex]|f(b)| \geq |f'(b)| \Longrightarrow |f(b)| \geq |\frac{f(a)}{a}| \Longrightarrow |a||f(b)| \geq |f(a)|[/tex]. Og siden $a \leq \frac12$, må $|a| \cdot |f(b)| \leq |f(b)|$? Men siden $|f(a)| \geq |f(x)|$, kan ikke $|a| \cdot |f(b)| \geq |f(a)|$ for alle $x \in \left[0, \frac12 \right]$ er det en selvmotsigelse, og den kommer av at vi antar at $f(x)$ ikke er konstant på intervallet $\left[0, \frac12 \right]$, så da må $f(x)$ være konstant på intervallet. Korrekt forståelse av selvmotsigelsen?
Men etter å ha vist dette er resten korrekt i forsøket på å bevise dette generelt? Selv om selvfølgelig den første delen er kjøttstykket i beviset. Mener altså fra "Så vi har vist at $f(x)$ er konstant på hele intervallet $\left[c-\frac12 , c+ \frac12 \right]$(...)" og utover?
Uansett, takk for veldig god hjelp i å omsider forstå beviset.
Ekstremverditeoremet forsikrer oss om at $|f(x)|$ har et maksimum på det lukkede intervallet $[0,\frac12]$. Det betyr at det fins en $a\in [0,\frac12]$ slik at $|f(a)|\geq |f(x)|$ for alle $x\in [0,\frac12]$. Dette faktum høres kanskje åpenbart ut, men det er faktisk ikke riktig på f.eks. åpne intervaller, og det er heller ikke nødvendigvis riktig for funksjoner som ikke er kontinuerlige. Du kan jo selv forsøke å finne en kontinuerlig funksjon på det åpne intervallet $(0,1)$ som ikke innehar noe maksimum! (Dette er en standardoppgave i alle reell analysefag. ) En annen fin oppgave er å finne en diskontinuerlig funksjon definert på $[0,1]$ som ikke innehar et maksimum.Markus skrev: Og $|f(b)|>0$ følger av ekstremalverditeoremet? Så følger selvmotsigelsen av "kjede"-ulikheten; $f(a) \geq f(x)$ for alle $x \in [0,\frac12 ]$ impliserer at $|f(b)| \leq |f(a)|$, og $|f(a)| \leq |a||f(b)|$ av å kombinere middelverditeoremet og ulikheten oppgitt i oppgaven, og til slutt $|a||f(b)| < |f(b)|$, grunnet hvilket intervall $a$ er definert på. Og da oppstår $|f(b)| < |f(b)|$, som er absurd.
Resten av det du skriver her er nå riktig!
Du må gjøre de samme korrigeringene i den generelle delen som du gjorde i spesialtilfellet over. Dvs. skrive ned den tilsvarende kjeden av ulikheter for å komme frem til motsigelsen.Men etter å ha vist dette er resten korrekt i forsøket på å bevise dette generelt? Selv om selvfølgelig den første delen er kjøttstykket i beviset. Mener altså fra "Så vi har vist at $f(x)$ er konstant på hele intervallet $\left[c-\frac12 , c+ \frac12 \right]$(...)" og utover?
Uansett, takk for veldig god hjelp i å omsider forstå beviset.
Nesten riktig. Det du faktisk vet er at $|a-c|\leq \frac12 < 1$. Dermed er $|a-c||f(b)|<|f(b)|$, og vi får at $|f(b)|\leq |f(a)|\leq |a-c||f(b)|<|f(b)|$, altså er $|f(b)|<|f(b)|$, og det er dette som er motsigelsen.Markus skrev: Antar at $f(x)$ ikke er konstant på intervallet $\left[c, c + \frac12 \right]$. La $a \in \left[c,c+\frac12 \right]$ slik at $|f(a)| \geq |f(x)|$ for alle $x \in \left[c,c+ \frac12 \right]$. Av middelverdisetningen $\exists b \in \left (c,a \right)$ slik at $f'(b) = \frac{f(a)-f(c)}{a-c}=\frac{f(a)-0}{a-c}=\frac{f(a)}{a-c}$. Av ulikheten oppgitt i oppgaven følger det at $|f(b)| \geq |f'(b)| \Longrightarrow |f(b)| \geq |\frac{f(a)}{a-c}| \Longrightarrow |a-c| \cdot |f(b)| \geq |f(a)|$. Siden at $|a-c| \leq 1 \Longrightarrow |a-c| \cdot |f(b)| \leq |f(b)|$, men dette er en selvmotsigelse siden $|f(a)| \geq |f(x)|$ for alle $x \in \left[c,c+\frac12 \right]$, så $f(x)$ må være konstant på $\left[c,c+\frac12 \right]$. Akkurat samme argumentasjon kan brukes for intervallet $\left[ c-\frac12, c \right]$. Så vi har vist at $f(x)$ er konstant på hele intervallet $\left [c-\frac12, c+\frac12 \right]$. Siden $c$ er en vilkårlig verdi så kan intervallet, med lengde $1$, være hvor som helst på $\mathbb{R}$, og dette impliserer at $f(x)$ er konstant på hele $\mathbb{R}$. Siden $f(c)=0$ impliserer det videre at $f(x)$ er konstant lik $0$ på hele $\mathbb{R}$. Og det var dette vi ønsket å vise. $\enspace \enspace \blacksquare$
Har jeg forstått riktig nå? Og er generaliseringen korrekt?
Edit: glemte noen absoluttverditegn
Ok, så vi har vist at dersom $f(c)=0$ så er $f(x)$ konstant lik $0$ på $[c-\frac12,c+\frac12]$, men det betyr at $f(c\pm\frac12)=0$, og da følger, siden $c$ i utgangspunktet var vilkårlig, at $f(x)$ er konstant lik $0$ på både $[c,c+1]$ og $[c-1,c]$. Induktivt vil derfor hele $\mathbb{R}$ kunne dekkes av slike overlappende intervaller av lengde $1$ hvorpå funksjonen er konstant.