Fouriertransformen är ett av de mest kraftfulla verktygen i analysen av funktioner och deras egenskaper, särskilt när det gäller att hantera derivator och operationer i frekvensdomänen. Genom att förstå hur den påverkar derivator och relaterade operationer kan vi dra nytta av dess struktur i olika matematiska och tillämpade sammanhang, inklusive signalbehandling och lösningar av differentialekvationer.

En viktig egenskap hos Fouriertransformen är dess förmåga att omvandla derivator av funktioner till multiplikation med polynomiska funktioner i frekvensdomänen. Detta gör den ovärderlig för att förenkla beräkningar och analyser, särskilt när vi arbetar med olika typer av differentialer och deras lösningar.

För att illustrera detta kan vi börja med att definiera vissa grundläggande begrepp. Anta att vi har en funktion ff som tillhör GL1GL_1, vilket innebär att den är integrerbar. Om vi har en derivata DafD^a f, där aNna \in \mathbb{N}^n är en multi-index, så har vi följande resultat från Fouriertransformen: om ff är en funktion som tillhör L1L_1 (den klass av integrerbara funktioner på Rn\mathbb{R}^n), så gäller att dess derivata i frekvensdomänen kan uttryckas som:

Daf^(ξ)=(iξ)af^(ξ)\hat{D^a f}(\xi) = (-i\xi)^a \hat{f}(\xi)

Detta innebär att derivatan av ff i den vanliga (fysiska) domänen omvandlas till multiplikation med (iξ)a(-i\xi)^a i frekvensdomänen, där ξ\xi är frekvensvariabeln. Detta resultat, som är en direkt konsekvens av Fouriertransformens egenskaper, visar på en fundamental koppling mellan derivator och multiplikation i frekvensdomänen. Denna egenskap är användbar för att lösa differentialekvationer genom att ta Fouriertransformen av både sidor av en ekvation, vilket ofta leder till enklare algebraiska uttryck som kan lösas mer direkt.

För att analysera hur derivator och Fouriertransformationer samverkar, betraktar vi ett smörjande kärnord som kan representera en funktion φϵ(x)\varphi_\epsilon(x) där ϵ>0\epsilon > 0 är ett smått parameter som styr glättningen av funktionen. Genom att använda integration per delar kan man visa att:

φϵf(x)dx=(1)aDaφϵ(x)f(x)dx\int \varphi_\epsilon * f(x) \, dx = (-1)^a \int D^a \varphi_\epsilon(x) * f(x) \, dx

Detta ger en direkt relation mellan en derivata av ff och den Fouriertransformerade versionen. Denna relation visar hur Fouriertransformen inte bara omvandlar funktioner utan också deras deriverade varianter, vilket gör att vi kan arbeta effektivt med deriverade funktioner i frekvensdomänen istället för att hantera komplicerade operatorer i den fysiska domänen.

En annan intressant konsekvens av Fouriertransformen är den så kallade Riemann-Lebesgue lemma, som säger att för alla funktioner fL1f \in L_1, dess Fouriertransformerade version f^\hat{f} tenderar mot noll när ξ\xi går mot oändligheten:

f^(ξ)0na¨rξ\hat{f}(\xi) \to 0 \quad \text{när} \quad |\xi| \to \infty

Detta är en viktig egenskap som understryker att Fouriertransformen komprimerar information om ff till dess låga frekvenser och att högre frekvenser (som är relaterade till högre detaljer i funktionen) bidrar mindre och mindre när vi tar Fouriertransformen. För praktiska ändamål innebär detta att vi kan approximera en funktion ff med hjälp av en ändlig mängd av dess lågfrekventa komponenter, vilket är grundläggande i många tillämpningar som signalbehandling.

För att sammanfatta de centrala användningarna och förståelserna av Fouriertransformen i samband med derivator och deras användningar:

  • Fouriertransformen omvandlar derivator av funktioner till multiplikation med polynomiska uttryck i frekvensdomänen, vilket gör det lättare att hantera deriverade funktioner i denna domän.

  • Riemann-Lebesgue lemma innebär att Fouriertransformen av integrerbara funktioner tenderar mot noll för stora frekvenser, vilket indikerar att högre frekvenser har mindre betydelse i den praktiska analysen.

  • Genom att tillämpa Fouriertransformen på differentialekvationer kan man förenkla och lösa dessa ekvationer genom att arbeta i frekvensdomänen istället för i den fysiska domänen.

Denna förståelse av Fouriertransformen och dess effekter på deriverade funktioner ger oss ett kraftfullt verktyg för både teoretiska och tillämpade studier i många områden av matematik och fysik.

Hur gäller Stokes sats för mångfalder med singulariteter?

För många tillämpningar är antagandet att M är en mångfald för restriktivt. Man skulle också vilja tillämpa Stokes sats på ”styckvis släta mångfalder” som cylindrar eller koner. Om det inte vore för ”singulariteter”, det vill säga kanter, hörn, spetsiga toppar och liknande, skulle de ovan nämnda objekten vara mångfalder med gräns. Faktum är att dessa undantag består av mängder som, i relation till gränsen, är ”tunna”. Därför kan man förvänta sig att, så långt som integrationen gäller, gör inte singulariteterna någon skillnad. Vi introducerar nu en klass av ”mångfalder med tunna singulariteter”, som innehåller exemplen ovan, och vi visar att Stokes sats också gäller för dessa objekt.

Antag att B är en sluten delmängd av M med ett icke-tomt inre. Då betecknar vi med MB mängden av alla p i B för vilka det finns en öppen omgivning Vp av p i M sådan att B C Vp är en m-dimensionell delmångfald av Vp. Då är MB en m-dimensionell delmångfald av M, stödjande mångfalden av B. Mängden SB := B \ MB kallas singularmängden av B och B är en m-dimensionell delmångfald av M med singulariteter. Det är uppenbart att SB är sluten i M. Gränsen av B, betecknad dB, är då gränsen av MB, det vill säga dB := dMB. Det är viktigt att inte förväxla dB med den topologiska gränsen, Rd(B), för B i M. Slutligen förser vi MB med den orientering som induceras kanoniskt av M.

Låt Hs vara ett s-dimensionellt Hausdorffmått på M (där M bär den metriska struktur som induceras från Rm). Då säger vi att singularmängden SB av B är tunn när den är ett Hm-1-null-set. I detta fall är B en mångfald med tunn singularmängd. Om vi endast kräver att mängden MB är en delmångfald av klass Ck för något k tillhörande N, kallas B naturligtvis en Ck-delmångfald av M med singulariteter. Här räcker det att M är en Ck-mångfald.

Exempel på sådana mångfalder är många. En m-dimensionell delmångfald av M som är topologiskt sluten i M – och därmed i synnerhet M självt – har en tunn (i själva verket tom) singularmängd. Om den Hausdorff-dimensionella mätningen av SB är 0, kan konen K(rB) vara en (m+1)-dimensionell delmångfald av Rm+1 med tunn singularmängd. Mer precist har vi att SK(rB) = {0} U K(SrB) U d(rB), och gränsen dK(rB) är den inre delen av rB förenad med ett visst set som beskriver spetsiga delar.

Ett viktigt bevis i denna kontext är att om dimH(dB) < m-1, så är SB en Hm-null mängd, vilket innebär att singularmängden är tunn. För att ytterligare förstå dessa koncept kan det vara till hjälp att överväga det praktiska tillämpningsområdet för sådana objekt, där dessa mångfalder med singulariteter ofta dyker upp i olika områden av geometri och fysik, där exempelvis konform geometri eller komplexa analyser spelar en central roll.

Stokes sats kan tillämpas på sådana mångfalder med singulariteter, vilket utvidgar den vanliga satsen till dessa mer komplexa objekt. Det finns dock vissa fall där singulariteterna måste behandlas med särskild omsorg, vilket innebär att de måste vara tillräckligt "tunna" för att inte störa integrationens giltighet. Detta betyder att även om singulariteter finns i objektet, kan de i vissa fall inte påverka resultatet av integrationen, vilket gör att Stokes sats fortfarande kan tillämpas effektivt även på dessa mer generaliserade mångfalder.

Det är också viktigt att förstå att mångfalder med tunna singulariteter kan ha viktiga konsekvenser för olika typer av geometriska och fysikaliska modeller. Många gånger i praktiken handlar det om att kunna identifiera och hantera singulariteter som inte är tillräckligt starka för att påverka de matematiska eller fysiska resultaten, vilket gör denna typ av generalisering viktig för avancerad forskning och tillämpning.