Gegenbeispiel zur gleichmäßigen Konvergenz einer differenzierbaren Funktionsfolge

Ich habe Mühe, eine echte Funktionssequenz zu finden { F N } N so dass

  1. N : F N wird auf einem offenen und begrenzten Intervall definiert ( A , B ) ;
  2. N : F N ist überall differenzierbar (bzgl X ) An ( A , B ) ;
  3. X 0 ( A , B ) so dass { F N ( X 0 ) } N konvergiert;
  4. { F N ' } N gleichmäßig konvergent auf ist ( A , B ) ;
  5. { F N } N konvergiert nicht gleichmäßig auf ( A , B ) .

Nun reichen die Bedingungen 2), 3), 4) aus, um eine punktweise Konvergenz von zu garantieren { F N } N An ( A , B ) , sagen wir zu einer Funktion F : ( A , B ) R , und die Möglichkeit, Grenze mit Differenzierung in dem Sinne zu vertauschen, dass

X ( A , B ) : F ' ( X ) = lim N F N ' ( X ) .
Darüber hinaus können wir unter denselben Annahmen eine gleichmäßige Konvergenz auf jedem kompakten Teilintervall von haben ( A , B ) . Mein Ziel ist es, eine Funktionsfolge zu finden, die all diese fünf Bedingungen erfüllt: Ich nehme an, dass das Problem von der Offenheit des Funktionsbereichs herrührt, die die einheitliche Konvergenz der durcheinanderbringt { F N } N : Leider sind alle meine Versuche fehlgeschlagen, also bin ich hier, um Sie um Hilfe zu bitten, um eine solche Sequenz zu finden. Irgendwelche Ideen?

Antworten (1)

Solange das Intervall begrenzt ist, gleichmäßige Konvergenz von ( F N ) halten muss.

Nach dem Mittelwertsatz für alle X ( A , B ) es existiert ξ X zwischen X Und X 0 so dass

F M ( X ) F N ( X ) = F M ( X 0 ) F N ( X 0 ) + [ F M ' ( ξ X ) F N ' ( ξ X ) ] ( X X 0 ) ,

Und

sup X ( A , B ) | F M ( X ) F N ( X ) | | F M ( X 0 ) F N ( X 0 ) | + sup X ( A , B ) | F M ' ( ξ X ) F N ' ( ξ X ) | sup X ( A , B ) | X X 0 | | F M ( X 0 ) F N ( X 0 ) | + ( B A ) sup X ( A , B ) | F M ' ( X ) F N ' ( X ) |

Durch punktweise Konvergenz von ( F N ( X 0 ) ) und gleichmäßige Konvergenz von ( F N ' ) An ( A , B ) wir können finden N ( ϵ ) so dass die RHS kleiner als ist ϵ für alle M > N > N ( ϵ ) . Deshalb, F N gleichmäßig konvergieren muss ( A , B ) (obwohl das Intervall offen ist).