2017-04-29, 19:17
  #87805
Medlem
Citat:
Ursprungligen postat av innesko
Du måste alltså visa att p³ + (p + 1)² ≤ (p + 1)³ för att beviset ska vara klart. Försök göra det genom att utveckla parenteserna.


p^3 + (p+1)^2 < (p+1)^3 <=> 0 < 2p^2 + p <=> 2p^2 + p > 0 vilket är sant eftersom p ≥ 2?
Citera
2017-04-29, 19:19
  #87806
Medlem
inneskos avatar
Citat:
Ursprungligen postat av Stagflation
p^3 + (p+1)^2 < (p+1)^3 <=> 0 < 2p^2 + p <=> 2p^2 + p > 0 vilket är sant eftersom p ≥ 2?

Korrekt.
Citera
2017-04-29, 20:33
  #87807
Medlem
Visa att n^2 + 3^n < n^3 för n ≥ 0.

1) Det stämmer för n = 0.

2) Antag att p^(2) + 3^(p) < p^3

3) n = p+1 => p^2 + 3^p + (p+1)^2 + 3^(p+1) < p^3 + (p+1)^2 + 3^(p+1) enligt antagandet.

Vi vill visa att: p^2 + 3^p + (p+1)^2 + 3^(p+1) < (p+1)^3. Räcker det då inte att visa att p^3 + (p+1)^2 + 3^(p+1) > (p+1)^3?
Citera
2017-04-29, 21:06
  #87808
Medlem
Citat:
Ursprungligen postat av Stagflation
Visa att

1 + 4 + 9 + ... + n^(2) < n^(3) för n ≥ 2.

1) Stämmer för n = 2.

2) n = p ger: 1 + 4 + 9 + ... + p^(2) < p^(3)

3) n = p + 1: 1 + 4 + 9 + ... + p^(2) + (p+1)^(2) < p^(3) + (p+1)^(2) enligt antagandet.

Hur ska jag fortsätta? Finns det ingen strategi när man arbetar med induktion med olikheter?

Finns ett annat väldigt snyggt bevis av denna. Tänk dig att du har en kub med sidlängden n. Högersidan motsvarar då volymen av kuben. Tänk dig nu att du i kuben lägger ned en "platta" med sidan n och ger den höjden 1, den tar då upp volymen n^2. Därefter lägger du på ytterligare en "platta" med sidlängden "n-1" och höjden 1, den tar då upp volymen (n-1)^2. Om du fortsätter och lägga dessa plattor så kommer du tillslut att ha någon slags pyramid som ligger i kuben och eftersom volymen av pyramiden är VL och volymen av kuben är HL så är VL < HL
Citera
2017-04-29, 23:25
  #87809
Medlem
Citat:
Ursprungligen postat av innesko
En kontinuerlig funktion antar på en kompakt domän ett minimum och ett maximum. När vi rör oss i R^n så är en kompakt mängd det samma som en sluten och begränsad mängd. Så det är av denna anledning man pratar om kompakta mängder.

Man kan se att mängden {(x, y, z) | xy + yz + zx = 3, x,y,z ≥ 0} är en sluten mängd samt att den är begränsad. Att motivera det mer precist är ganska jobbigt, men dom brukar tycka att det är helt okej om man bara lyckas se att det är en kompakt mängd. Så därför har f ett min och max på denna mängd.

Domän=funktionen(utan bivollkor?) och sluten och begränsad mängd ser man genom att kolla C1, differentierbarhet osv? eller? :$
Citera
2017-04-29, 23:35
  #87810
Medlem
Citat:
Ursprungligen postat av melyhna
Differentialekvation: Om jag ska lösa denna:
d²f/dx² - d²f/dy² = 2 df/dx -2df/dy där
u= x-y
v=x+y

efter mkt beräkningar kommer jag iallfall till

df/dv = 1 (det är rätt)
sedan så ska de integreras och då får jag y=v+Ψ(u)
så alltså y=x+y+Ψ(x-y)
lol....
Du menar väl ändå f = v+Ψ(u) och f=x+y+Ψ(x-y)?
Vad vill du ha hjälp med?
Citera
2017-04-30, 01:16
  #87811
Medlem
Citat:
Ursprungligen postat av Stagflation
Visa att n^2 + 3^n < n^3 för n ≥ 0.

1) Det stämmer för n = 0.

2) Antag att p^(2) + 3^(p) < p^3

3) n = p+1 => p^2 + 3^p + (p+1)^2 + 3^(p+1) < p^3 + (p+1)^2 + 3^(p+1) enligt antagandet.

Vi vill visa att: p^2 + 3^p + (p+1)^2 + 3^(p+1) < (p+1)^3. Räcker det då inte att visa att p^3 + (p+1)^2 + 3^(p+1) > (p+1)^3?
Titta på grundfallet. n = 0 ger 0^2+3^0 < 0^3 ⇔ 1 < 0 vilket inte stämmer.
Citera
2017-04-30, 05:08
  #87812
Medlem
Citat:
Ursprungligen postat av manne1973
Du menar väl ändå f = v+Ψ(u) och f=x+y+Ψ(x-y)?
Vad vill du ha hjälp med?


Det är fel, de får något med E upphöjt (integrerande faktor?) plus en till konstant.
Citera
2017-04-30, 06:36
  #87813
Medlem
Citat:
Ursprungligen postat av Torktumlarn
Titta på grundfallet. n = 0 ger 0^2+3^0 < 0^3 ⇔ 1 < 0 vilket inte stämmer.

Är något fel i uppgiften?
Citera
2017-04-30, 07:21
  #87814
Medlem
Citat:
Ursprungligen postat av melyhna
Det är fel, de får något med E upphöjt (integrerande faktor?) plus en till konstant.
Ekvation: ∂²f/∂x² - ∂²f/∂y² = 2 ∂f/∂x - 2∂f/∂y

Sätt f(x, y) = g(u, v), där u=x-y, v=x+y. Vi får då

∂f/∂x = ∂g/∂u ∂u/∂x + ∂g/∂v ∂v/∂x = ∂g/∂u + ∂g/∂v
∂f/∂y = ∂g/∂u ∂u/∂y + ∂g/∂v ∂v/∂y = -∂g/∂u + ∂g/∂v

∂²f/∂x² = (∂(∂g/∂u)/∂u ∂u/∂x + ∂(∂g/∂u)/∂v ∂v/∂x) + (∂(∂g/∂v)/∂u ∂u/∂x + ∂(∂g/∂v)/∂v ∂v/∂x)
= (∂²g/∂u² + ∂²g/∂u∂v) + (∂²g/∂v∂u + ∂²g/∂v²) = ∂²g/∂u² + 2 ∂²g/∂u∂v + ∂²g/∂v²
∂²f/∂y² = -(∂(∂g/∂u)/∂u ∂u/∂y + ∂(∂g/∂u)/∂v ∂v/∂y) + (∂(∂g/∂v)/∂u ∂u/∂y + ∂(∂g/∂v)/∂v ∂v/∂y)
= -(-∂²g/∂u² + ∂²g/∂u∂v) + (-∂²g/∂v∂u + ∂²g/∂v²) = ∂²g/∂u² - 2 ∂²g/∂u∂v + ∂²g/∂v²

Ny ekvation:
4 ∂²g/∂u∂v = 2 ∂g/∂u

Dividera med 4 och lös (integrera) m.a.p. u:
∂g/∂v = (1/2)g + a(v),
där a(v) är en arbiträr funktion.

Denna har lösningen
g(u, v) = C(u) e^(v/2) + A(v),
där A(v) uppfyller A'(v) = (1/2) A(v) + a(v).
Men eftersom a(v) är arbiträr och okänd är även A(v) okänd och vi behöver inte bry oss om villkoret på A.

Detta ger
f(x, y) = g(x-y, x+y) = C e^((x+y)/2) + A(x+y).


Om vi i stället hade börjat med att lösa ∂(∂g/∂u)/∂v = (1/2) ∂g/∂u m.a.p. v:
∂g/∂u = c(u) e^(v/2)

Detta ger sedan via partiell integration (C' = c och (∂/∂u)e^(v/2) = 0):
g(u, v) = C(u) e^(v/2) + A(v)
Citera
2017-04-30, 10:16
  #87815
Medlem
inneskos avatar
Citat:
Ursprungligen postat av melyhna
Domän=funktionen(utan bivollkor?) och sluten och begränsad mängd ser man genom att kolla C1, differentierbarhet osv? eller? :$

Domän är den mängd som funktionen är definierad på. Sedan se här

Sluten mängd: https://sv.wikipedia.org/wiki/Sluten_m%C3%A4ngd
Begränsad mängd: https://sv.wikipedia.org/wiki/Begr%C3%A4nsad_m%C3%A4ngd
Citera
2017-04-30, 10:17
  #87816
Medlem
inneskos avatar
Citat:
Ursprungligen postat av Stagflation
Är något fel i uppgiften?

Det finns inget n så att n² + 3^n < n³, så det går inte att bevisa.
Citera

Skapa ett konto eller logga in för att kommentera

Du måste vara medlem för att kunna kommentera

Skapa ett konto

Det är enkelt att registrera ett nytt konto

Bli medlem

Logga in

Har du redan ett konto? Logga in här

Logga in