Autor |
Nachricht |
Nobundo |
Verfasst am: 15. Apr 2014 22:47 Titel: |
|
Zitat: |
Sofern die Funktionen nicht stetig sein müssen, von mir aus... ansonsten beweis es mir nochmal... | ich habe es doch für glatte Funktionen bewiesen |
|
![](templates/subSilver/images/spacer.gif) |
Jayk |
Verfasst am: 15. Apr 2014 22:47 Titel: |
|
Die konvergiert punktweise gegen Null: Für x=0 ist gn(x)=0 für alle n. Für wählt man einfach und hat für , das ist hinreichend für . Jedoch kann eben nicht unabhängig von x angegeben werden, also ist gleichmäßige Konvergenz nicht gegeben. |
|
![](templates/subSilver/images/spacer.gif) |
jh8979 |
Verfasst am: 15. Apr 2014 22:41 Titel: |
|
Jayk hat Folgendes geschrieben: | Ich hoffe, ihr könnt mir verzeihen, dass ich mir nicht alles durchgelesen habe. Doch ich befürchte, Nobundo hat recht, solange man nur punktweise Konvergenz fordert.
Ich würde mal dieses Beispiel vorschlagen: ![](https://www.matheboard.de/latex2png/latex2png.php?g_n (x) := \begin{cases} n^2 x : & 0 < x \leq 1 / n \\ 2 n - n^2 x : & 1 / n < x < 2 / n \\ 0 : & \text{sonst} \end{cases}) |
Guck Dir mal das Maximum an... genau darum gehts die ganze Zeit. |
|
![](templates/subSilver/images/spacer.gif) |
kingcools |
Verfasst am: 15. Apr 2014 22:38 Titel: |
|
Ich verstehe die Argumentation nicht so wirklich.
In meinem Beitrag am Anfang habe ich gezeigt, dass für jede Funktion, für die die Substitution x = z*n gültig ist (also jede differenzierbare) natürlich Das Integral über g(nx) identisch N/n ist.
Daraus folgt dann, dass man am Ende immer lim n g(nx) erhält und nur noch lim n g(nx) gegen Null gehen muss. Für jede derartige Funktion funktioniert das. |
|
![](templates/subSilver/images/spacer.gif) |
Jayk |
Verfasst am: 15. Apr 2014 22:38 Titel: |
|
Ich hoffe, ihr könnt mir verzeihen, dass ich mir nicht alles durchgelesen habe. Doch ich befürchte, Nobundo hat recht, solange man nur punktweise Konvergenz fordert.
Ich würde mal dieses Beispiel vorschlagen:
(okay, vielleicht sollte ich das dazu schreiben: Das ist ein dreieckiger Buckel zwischen 0 und 2/n mit Spitze bei 1/n, der immer die Fläche 1 hat) |
|
![](templates/subSilver/images/spacer.gif) |
jh8979 |
Verfasst am: 15. Apr 2014 22:33 Titel: |
|
Nobundo hat Folgendes geschrieben: |
Das Zweifel ich immer noch an, da verlangt war, dass g schnell genug abfällt, bzw bei Dir immer von einem kompakten Träger die Rede war... ziemlich sicher, dass das dann nicht geht... | doch doch das geht, siehe beweisrechnung. Bin mir da sicher, du darfst es mir ruhig glauben, oder einfach den Beitrag nochmal lesen.[/quote]
Sofern die Funktionen nicht stetig sein müssen, von mir aus... ansonsten beweis es mir nochmal... |
|
![](templates/subSilver/images/spacer.gif) |
Nobundo |
Verfasst am: 15. Apr 2014 22:17 Titel: |
|
jh8979 hat Folgendes geschrieben: | Nobundo hat Folgendes geschrieben: | Ich habe nur gesagt das man durchaus eine Folge haben kann mit
und
Ich dachte nicht das das auf soviel Widerstand stößt, sonst hätte ich auch nicht ewig mit Testfunktionen und so weiter diskutieren müssen. Ich hatte nur das Gefühl das das hier stark angezweifelt wurde? |
Das Zweifel ich immer noch an, da verlangt war, dass g schnell genug abfällt, bzw bei Dir immer von einem kompakten Träger die Rede war... ziemlich sicher, dass das dann nicht geht... | doch doch das geht, siehe beweisrechnung. Bin mir da sicher, du darfst es mir ruhig glauben, oder einfach den Beitrag nochmal lesen. |
|
![](templates/subSilver/images/spacer.gif) |
jh8979 |
Verfasst am: 15. Apr 2014 22:00 Titel: |
|
Nobundo hat Folgendes geschrieben: | Ich habe nur gesagt das man durchaus eine Folge haben kann mit
und
Ich dachte nicht das das auf soviel Widerstand stößt, sonst hätte ich auch nicht ewig mit Testfunktionen und so weiter diskutieren müssen. Ich hatte nur das Gefühl das das hier stark angezweifelt wurde? |
Das Zweifel ich immer noch an, da verlangt war, dass g schnell genug abfällt, bzw bei Dir immer von einem kompakten Träger die Rede war... ziemlich sicher, dass das dann nicht geht... |
|
![](templates/subSilver/images/spacer.gif) |
Nobundo |
Verfasst am: 15. Apr 2014 21:42 Titel: |
|
jh8979 hat Folgendes geschrieben: | Wieso sollte ich die Existenz einer Testfunktion i.A. anzweifeln??
Ich denke es geht um die n*x-Konstruktion.. da hast Du vermutlich recht.. aber ich finde das relativ trivial... |
Ich habe auch nie behauptet das die Darstellungen der delta-Fkt. die in der AUfgabe angesprochen werden generell für die Tonne sind. Ich habe nur gesagt das man durchaus eine Folge haben kann mit
und
Ich dachte nicht das das auf soviel Widerstand stößt, sonst hätte ich auch nicht ewig mit Testfunktionen und so weiter diskutieren müssen. Ich hatte nur das Gefühl das das hier stark angezweifelt wurde?
Edit: Nun gut jetzt sind wir uns ja einig, dann hat sich die Diskussion doch gelohnt
Edit2: Anschulich war klar was gemeint sein soll, das stimmt natürlich. Ich wollte nur darauf aufmerksam machen was schief gehen kann. |
|
![](templates/subSilver/images/spacer.gif) |
jh8979 |
Verfasst am: 15. Apr 2014 21:41 Titel: |
|
Nobundo hat Folgendes geschrieben: | jh8979 hat Folgendes geschrieben: |
PS: die n*x Konstruktion funktioniert wohl nur wenn die Funktion bei x=0 gepeakt ist... ansonsten sollte es wohl n*(x-a) heissen... vermutlich ist das der Knackpunkt um den es hier die ganze zeit geht... |
Na also, diese Korrektur hatte ich auch im Sinn. Dann brauch ich ja am Beispiel nicht mehr weiterrechnen? |
Wenn das Dein ganzes Problem war: Nein brauchst Du nicht.. aber das hättest Du auch gleich sagen können... ich finde diese Korrektur relativ trivial, da anschaulich klar ist was die Aussage ist/sein soll...
PS: Da ich ich mittlerweile genug Physiker und zu wenig Mathematiker... |
|
![](templates/subSilver/images/spacer.gif) |
jh8979 |
Verfasst am: 15. Apr 2014 21:39 Titel: |
|
Wieso sollte ich die Existenz einer Testfunktion i.A. anzweifeln??
Ich denke es geht um die n*x-Konstruktion.. da hast Du vermutlich recht.. aber ich finde das relativ trivial... |
|
![](templates/subSilver/images/spacer.gif) |
Nobundo |
Verfasst am: 15. Apr 2014 21:38 Titel: |
|
jh8979 hat Folgendes geschrieben: |
PS: die n*x Konstruktion funktioniert wohl nur wenn die Funktion bei x=0 gepeakt ist... ansonsten sollte es wohl n*(x-a) heissen... vermutlich ist das der Knackpunkt um den es hier die ganze zeit geht... |
Na also, diese Korrektur hatte ich auch im Sinn. Dann brauch ich ja am Beispiel nicht mehr weiterrechnen? |
|
![](templates/subSilver/images/spacer.gif) |
Nobundo |
Verfasst am: 15. Apr 2014 21:37 Titel: |
|
jh8979 hat Folgendes geschrieben: | Evtl hast Du ein Minuszeichen vergessen in der Exponential-Funktion?
|
Ich schaue gerade nochmal nach, aber trotzdem: verannt hab ich mich hier nicht. Das ist nur ein konkretes Beispiel, den allgemeinen Fall habe ich bereits bewiesen, das sollte mal nicht vergessen werden. Du zweifelst die Existenz einer Beispielfunktion ja nun doch nicht an. |
|
![](templates/subSilver/images/spacer.gif) |
jh8979 |
Verfasst am: 15. Apr 2014 21:33 Titel: |
|
Evtl hast Du ein Minuszeichen vergessen in der Exponential-Funktion?
PS: die n*x Konstruktion funktioniert wohl nur wenn die Funktion bei x=0 gepeakt ist... ansonsten sollte es wohl n*(x-a) heissen... vermutlich ist das der Knackpunkt um den es hier die ganze zeit geht... |
|
![](templates/subSilver/images/spacer.gif) |
jh8979 |
Verfasst am: 15. Apr 2014 21:31 Titel: |
|
Nobundo hat Folgendes geschrieben: | jh8979 hat Folgendes geschrieben: |
PPS: Auch eine Glaettung diese Funktion wird in Delta-Funktionen enden, diesmal ) |
Das stimmt zwar nicht, aber du redest ja von Glättung. Wieso glaubst du dann nicht an glatte Funktionen mit kompaktem Träger? Wie glättest du denn? |
Ich "glaube" an glatte Funktionen mit kompakten Träger.. aber Deine Funktion ist nichtmal definiert bei x=1 und x=3... |
|
![](templates/subSilver/images/spacer.gif) |
Nobundo |
Verfasst am: 15. Apr 2014 21:31 Titel: |
|
jh8979 hat Folgendes geschrieben: |
![Big Laugh](images/smiles/biglaugh.gif) Ah.. Du nennst sie Testfunktion.. dann muss sie glatt sein
Dann sag mir doch als erstes mal den Wert der Funktion bei x=1 und x=3 ![Augenzwinkern](images/smiles/wink.gif) |
Die Funktion ist glatt (falls ich mich nicht vertippt habe). Rechne es nach wenn du zweifelst. |
|
![](templates/subSilver/images/spacer.gif) |
Nobundo |
Verfasst am: 15. Apr 2014 21:29 Titel: |
|
jh8979 hat Folgendes geschrieben: |
PPS: Auch eine Glaettung diese Funktion wird in Delta-Funktionen enden, diesmal ) |
Das stimmt zwar nicht, aber du redest ja von Glättung. Wieso glaubst du dann nicht an glatte Funktionen mit kompaktem Träger? Wie glättest du denn? |
|
![](templates/subSilver/images/spacer.gif) |
jh8979 |
Verfasst am: 15. Apr 2014 21:28 Titel: |
|
Nobundo hat Folgendes geschrieben: | jh8979 hat Folgendes geschrieben: | Und inwiefern ist diese Funktion glatt bei x=1 und x=3?
|
Die ist glatt, ist ja eine testfunktion. |
![Big Laugh](images/smiles/biglaugh.gif) Ah.. Du nennst sie Testfunktion.. dann muss sie glatt sein
Dann sag mir doch als erstes mal den Wert der Funktion bei x=1 und x=3 ![Augenzwinkern](images/smiles/wink.gif) |
|
![](templates/subSilver/images/spacer.gif) |
Nobundo |
Verfasst am: 15. Apr 2014 21:27 Titel: |
|
jh8979 hat Folgendes geschrieben: | Und inwiefern ist diese Funktion glatt bei x=1 und x=3?
|
Die ist glatt, ist ja eine testfunktion. |
|
![](templates/subSilver/images/spacer.gif) |
jh8979 |
Verfasst am: 15. Apr 2014 21:17 Titel: |
|
Und inwiefern ist diese Funktion glatt bei x=1 und x=3?
PS: Von mir aus fehlt das in den Angaben vorher.. aber Du selber hast die ganze Zeit von glatten Funktionen gesprochen...
PPS: Auch eine Glaettung diese Funktion wird in Delta-Funktionen enden, diesmal ... aber ok.. wenn in der Anfnagsaufgabenstellung eine einfache Deltafunktion rauskommen soll, dann muss man noch bisschen mehr annehmen... (ich bezweifel aber irgendwie dass das Dein Punkt war ) |
|
![](templates/subSilver/images/spacer.gif) |
Nobundo |
Verfasst am: 15. Apr 2014 21:06 Titel: |
|
jh8979 hat Folgendes geschrieben: | Ich hab immer noch keine konkrete Funktionenschar gesehen, die Deine Aussage unterstützt (irgendwelche Testfunktionen kann ich selber googlen)... |
Puh nagut dann geb ich dir eben eine konkrete Funktion an, obwohl mir nicht klar ist was das ändern soll:
wie inder Aufgabe vorgegeben. |
|
![](templates/subSilver/images/spacer.gif) |
jh8979 |
Verfasst am: 15. Apr 2014 20:55 Titel: |
|
Ich hab immer noch keine konkrete Funktionenschar gesehen, die Deine Aussage unterstützt (irgendwelche Testfunktionen kann ich selber googlen)... |
|
![](templates/subSilver/images/spacer.gif) |
Nobundo |
Verfasst am: 15. Apr 2014 20:39 Titel: |
|
jh8979 hat Folgendes geschrieben: |
Das solltest Du mal tun, vllt findest Du dann deinen Fehler ![Augenzwinkern](images/smiles/wink.gif) |
Ich glaube eigentlich im Moment das ich keinen Fehler gemacht habe, die Aufgabe ist einfach nicht korrekt. Aber bittschön: http://de.wikipedia.org/wiki/Testfunktion |
|
![](templates/subSilver/images/spacer.gif) |
jh8979 |
Verfasst am: 15. Apr 2014 20:36 Titel: |
|
Nobundo hat Folgendes geschrieben: |
Eine explizite Funktionenschar müsste ich jetzt auch kurz googlen, |
Das solltest Du mal tun, vllt findest Du dann deinen Fehler ![Augenzwinkern](images/smiles/wink.gif) |
|
![](templates/subSilver/images/spacer.gif) |
Nobundo |
Verfasst am: 15. Apr 2014 20:26 Titel: |
|
jh8979 hat Folgendes geschrieben: | Nenn mir doch einfach explizit eine Funktionenschar, die Deine Bedingungen erfüllt. Ich zweifel nämlich sehr wohl an, dass diese existiert, die Bedingungen erfüllt und gleichzeitig gegen die Nullfunktion konvergiert. |
Eine explizite Funktionenschar müsste ich jetzt auch kurz googlen, aber das glatte funktionen mit kompakten Trägern existieren das sollte doch mal nicht Thema der Diskussion sein. Sei also g(x) eine solche Funktion, deren Träger die Null nicht enthält. Die in der Aufgabe definierte Folge ist dann:
zu zeigen: punktweise.
Beweis: Da kompakt ist existiert ein , so dass
Sei , dann gilt da 0 nicht im Träger liegt nach Voraussetzung. Es folgt also .
Sei , dann existiert ein , so dass für alle . Für gilt dann weiterhin und somit auch .
Insgesamt also punktweise. |
|
![](templates/subSilver/images/spacer.gif) |
jh8979 |
Verfasst am: 15. Apr 2014 20:14 Titel: |
|
Nobundo hat Folgendes geschrieben: |
Die Konvergenz gegen Null folgt direkt daraus das der Träger die NUll nicht enthält.
Das Beispiel steht für eine ganze Klasse von Beispielen, du zweifelst doch nicht die Existenz einer solchen Funktion an? |
Ob der Träger die Null enthält oder nicht, hat doch nichts damit zu tun, ob die Funktionenschar gegen die Nullfunktion konvergiert... ich versteh vermutlich nicht, was Du mir mitteilen möchtest. Nenn mir doch einfach explizit eine Funktionenschar, die Deine Bedingungen erfüllt. Ich zweifel nämlich sehr wohl an, dass diese existiert, die Bedingungen erfüllt und gleichzeitig gegen die Nullfunktion konvergiert. |
|
![](templates/subSilver/images/spacer.gif) |
Nobundo |
Verfasst am: 15. Apr 2014 20:13 Titel: |
|
kingcools hat Folgendes geschrieben: |
Es steht noch dort, das die Funktion g(x) hinreichend schnell gegen Null laufen soll. Das ist so zu verstehen, das, sofern dein Beispiel korrekt ist (ich kenne mich mit kompakten Trägern nicht aus), dein Beispiel schlicht nicht so eine Funktion g ist |
Doch ist es. Mein Beispiel geht nicht nur "hinreichend" schnell gegen Null sind ist für große x exakt Null. Schneller geht nicht. |
|
![](templates/subSilver/images/spacer.gif) |
kingcools |
Verfasst am: 15. Apr 2014 20:07 Titel: |
|
Nobundo hat Folgendes geschrieben: | jh8979 hat Folgendes geschrieben: | Es geht um Deine Behauptung dass das in jedem Punkt gegen Null konvergiert...
(und explizit eine Funktionenfolge angeben ist auch was anderes ) |
Die Konvergenz gegen Null folgt direkt daraus das der Träger die NUll nicht enthält.
Das Beispiel steht für eine ganze Klasse von Beispielen, du zweifelst doch nicht die Existenz einer solchen Funktion an? |
Es steht noch dort, das die Funktion g(x) hinreichend schnell gegen Null laufen soll. Das ist so zu verstehen, das, sofern dein Beispiel korrekt ist (ich kenne mich mit kompakten Trägern nicht aus), dein Beispiel schlicht nicht so eine Funktion g ist |
|
![](templates/subSilver/images/spacer.gif) |
Nobundo |
Verfasst am: 15. Apr 2014 20:00 Titel: |
|
jh8979 hat Folgendes geschrieben: | Es geht um Deine Behauptung dass das in jedem Punkt gegen Null konvergiert...
(und explizit eine Funktionenfolge angeben ist auch was anderes ) |
Die Konvergenz gegen Null folgt direkt daraus das der Träger die NUll nicht enthält.
Das Beispiel steht für eine ganze Klasse von Beispielen, du zweifelst doch nicht die Existenz einer solchen Funktion an? |
|
![](templates/subSilver/images/spacer.gif) |
jh8979 |
Verfasst am: 15. Apr 2014 19:47 Titel: |
|
Es geht um Deine Behauptung dass das in jedem Punkt gegen Null konvergiert...
(und explizit eine Funktionenfolge angeben ist auch was anderes ) |
|
![](templates/subSilver/images/spacer.gif) |
Nobundo |
Verfasst am: 15. Apr 2014 19:45 Titel: |
|
jh8979 hat Folgendes geschrieben: |
Wenn das bei Dir erfüllt ist, kann Deine Funktionenfolge nicht gegen identisch Null konvergieren. Ansonsten gib mal explizit eine Funktionen an, die dies tut. |
Beispiel: ist eine glatte Funktion mit kompaktem Träger der die Null nicht enthält. Dann ist
und für alle n gilt:
![](https://www.matheboard.de/latex2png/latex2png.php?\int g_n(x)dx=\int \frac{n}{N}g(nx)dx=\int\frac{1}{N}g(u)du=1) |
|
![](templates/subSilver/images/spacer.gif) |
jh8979 |
Verfasst am: 15. Apr 2014 19:40 Titel: |
|
Nobundo hat Folgendes geschrieben: |
Die Bedingung lautet
und die ist erfüllt. |
Wenn das bei Dir erfüllt ist, kann Deine Funktionenfolge nicht gegen identisch Null konvergieren. Ansonsten gib mal explizit eine Funktionenfolge an, die dies tut. |
|
![](templates/subSilver/images/spacer.gif) |
Nobundo |
Verfasst am: 15. Apr 2014 19:37 Titel: |
|
jh8979 hat Folgendes geschrieben: |
Wenn Deine Funktionenfolge wirklich gegen "identisch Null" konvergiert, dann kann die Integralbedingung nicht mehr erfüllt sein. |
Die Bedingung lautet
und die ist erfüllt. Die Folge ist konstruiert wie in der Aufgabenstellung vorgegeben, dadurch ist doch die Normierung gewährleistet? |
|
![](templates/subSilver/images/spacer.gif) |
jh8979 |
Verfasst am: 15. Apr 2014 19:20 Titel: |
|
Nobundo hat Folgendes geschrieben: |
Wieso ist das so? Eine solche Funktion konvergiert gegen die konstante Null Funktion. Für müsste aber sein. Das wurde doch oben so definiert? |
Wenn Deine Funktionenfolge wirklich gegen "identisch Null" konvergiert, dann kann die Integralbedingung nicht mehr erfüllt sein. |
|
![](templates/subSilver/images/spacer.gif) |
Nobundo |
Verfasst am: 15. Apr 2014 19:14 Titel: |
|
jh8979 hat Folgendes geschrieben: | @Nobundo
Das ist immer noch eine Darstellung der Delta-Distribution, nur halt nicht von , sondern . |
Wieso ist das so? Eine solche Funktion konvergiert gegen die konstante Null Funktion. Für müsste aber sein. Das wurde doch oben so definiert? |
|
![](templates/subSilver/images/spacer.gif) |
jh8979 |
Verfasst am: 15. Apr 2014 19:04 Titel: |
|
@Nobundo
Das ist immer noch eine Darstellung der Delta-Distribution, nur halt nicht von , sondern . |
|
![](templates/subSilver/images/spacer.gif) |
Nobundo |
Verfasst am: 15. Apr 2014 18:56 Titel: |
|
kingcools hat Folgendes geschrieben: |
Nee, das stimmt schon. |
Glaub ich immernoch nicht. Betrachte z.b. eine Funktionenfolge , so dass für alle gilt:
und (das tut eigentlich nicht viel zur Sache, soll nur andeuten das das Integral existiert)
Sprich also man wähle eine Funktion g(x) mit kompaktem Träger der die Null nicht enthält. Dann entsteht eine ähnliche Situation, oder seh ich da was falsch? |
|
![](templates/subSilver/images/spacer.gif) |
kingcools |
Verfasst am: 15. Apr 2014 18:30 Titel: Re: Delta-Distribution |
|
Nobundo hat Folgendes geschrieben: | planck1858 hat Folgendes geschrieben: |
dass man aus jeder Funktion , welche für große x hinreichend schnell abfällt und für die das Integral
existiert, durch
eine Darstellung der Delta-Distribution für erhält.
|
Das glaub ich so nicht. Müsste da nicht noch etwas mehr gefordert sein? |
Nee, das stimmt schon. Meine vorgeschlagene Substitution führt zu N/n = Integral von g(n*z) was dazu führt, dass eben (n/N)*g(n*z) integriert immer 1 ergibt.
Das ist die erste Eigenschaft der Diracfunktion.
Die andere ist trivial wenn man das "hinreichend schnelle" Abfallen von g(x) entsprechend konkretisiert, so dass lim n*g(n*x) gegen Null geht. |
|
![](templates/subSilver/images/spacer.gif) |
Nobundo |
Verfasst am: 15. Apr 2014 18:19 Titel: Re: Delta-Distribution |
|
planck1858 hat Folgendes geschrieben: |
dass man aus jeder Funktion , welche für große x hinreichend schnell abfällt und für die das Integral
existiert, durch
eine Darstellung der Delta-Distribution für erhält.
|
Das glaub ich so nicht. Müsste da nicht noch etwas mehr gefordert sein? |
|
![](templates/subSilver/images/spacer.gif) |
kingcools |
Verfasst am: 15. Apr 2014 17:53 Titel: |
|
Wie sieht die Exponentialfunktion für x = 0 denn aus?
Was kannst du dann für den Grenzwert im Falle x = 0 für n gegen unendlich sagen?
Was weißt du denn aus der Mathevorlesung über die Änderung von exp(a*n) gegenüber SQRT(n) für feste reelle Zahl a? Was passiert dann wohl mit SQRT(n)/exp(a*n) für n-> unendlich?
Wenn du dir das überlegst hast du schon mal die erste Eigenschaft nachgewiesen.
Für die zweite kannst du dir ja mal http://de.wikipedia.org/wiki/Fehlerintegral
anschauen und dir überlegen, ob der Wert des Integrals von der Zahl 1/2 abhängig ist oder nicht (geh einfach die Beweisführung dort durch und setze statt 1/2 irgendeine andere Zahl ein).
Dann kommst du zurück und überlegst dir wie das wohl mit exp(-nx^2) aussieht.
Zur zweiten Teilaufgabe:
Substituier im Integral mit Integranden g(x) einmal x mittels x = n*z. Was erhälst du dann hinsichtlich n/N?
Wie könnte dir das dann weiterhelfen in Bezug auf h(x)? |
|
![](templates/subSilver/images/spacer.gif) |