Vad tycker ni om denna "integral"?
Halloj!
Jag sitter här med en, äh, "intressant" integral... Den ser ut på följande vis:
Jag har två approaches som båda faktiskt levererar samma svar. Den andra hittade jag på YouTube.
Approach 1:
Vi börjar med att förlänga integranden, om man ens kan kalla det för en integrand, men . Vi erhåller då följande integral:
Om vi betraktar som en infinitesimal konstant (vilket man gör i t.ex. icke-standardanalys eller i Leibniz formuleringar av analysen) så kan vi säga att:
Således påstår jag att man kan skriva om integralen och beräkna den så här:
Approach 2 från YouTube:
Vi skriver om termen med basen och erhåller:
Vi utvecklar vidare termen med hjälp av potensserien för och ser att den första termen försvinner. Vidare ser vi att:
Eftersom alla integraler efter den första har en potens på infinitesimalen som är större än kan vi betrakta dem som nilpotenta ur vårt "reella" perspektiv och försumma dem. Det enda som blir kvar är då som förväntat:
Vad tänker ni om detta? 🙃
En kommentar från mig här är att vi betraktar integraltecknet som en operator och inte som något som "hör ihop" med differentialer, som man ofta lär sig på mer elementär nivå.
Det där är väl bara ett "trick" precis som:
Flammable har en genomgång av den.
Sedan att de hör ihop är väl lite Leibniz hela poäng. I alla fall om du vill att den kontinuerliga summan ska konvergera.
Approach 1 minns jag som speciellt knepig då den egentligen kräver bevis och inte direkt kan antas stämma. Rudin pratar om det och du kan se en liknande diskussion här:
Jag ber om ursäkt, men kan inte hålla mig!
Frågan påminner om en nolleuppgift jag fick vid pass 1990:
Uppskatta denna integral: [insert horrible whatever here]
Rätt svar var förstås i stil med "Whoa!", "Coolt!", ... och inte typ .
🙃
Sedan att de hör ihop är väl lite Leibniz hela poäng. I alla fall om du vill att den kontinuerliga summan ska konvergera.
Jo visst, åtminstone i bestämda integraler. Men jag tänkte mer på Leibniz idéer om att är en infinitesimal och inte bara notation. Men ja, i en bestämd integral får vi naturligtvis svårigheter...
Approach 1 minns jag som speciellt knepig då den egentligen kräver bevis och inte direkt kan antas stämma.
Självklart inte! Jag har egentligen några tankar om varför det borde vara så men det sträcker sig utanför standardanalysen (vilket appraoch 2 gör också i och för sig...). I gängse icke-standardanalys brukar man definiera en binär relation . Två objekt relaterade över denna relation har en infinitesimal differens. Det är lite så jag tänker här också. Min tanke är att:
Man måste förstås acceptera att är en infinitesimal som vilken annan, och inte får någon särskild mening av differentialoperatorn (som egentligen inte behöver betraktas som en operator i fallet för här!)
Intressant diskussion du länkade. Ska läsa igenom den mer i sin helhet imorgon!
Flammable har en genomgång av den.
Ska kolla in den!