mirror of
https://gitlab.gwdg.de/j.hahn02/university.git
synced 2026-01-01 06:44:25 -05:00
auto up 11:48:23 up 3:25, 2 users, load average: 0.17, 0.26, 0.17
auto up 12:53:47 up 0:02, 2 users, load average: 0.43, 0.48, 0.21 auto up 13:49:41 up 0:58, 2 users, load average: 0.36, 0.45, 0.51 auto up 09:41:45 up 1:27, 2 users, load average: 0.31, 0.36, 0.36 auto up 15:54:41 up 1:28, 2 users, load average: 2.26, 2.48, 1.96 auto up 11:46:48 up 1:36, 2 users, load average: 0.24, 0.17, 0.20 auto up 11:49:23 up 0:19, 2 users, load average: 0.09, 0.27, 0.37 auto up 08:23:17 up 0:01, 2 users, load average: 0.99, 0.42, 0.16 auto up 14:35:31 up 3:21, 2 users, load average: 1.95, 1.40, 1.40 auto up 11:42:06 up 1:56, 2 users, load average: 0.03, 0.13, 0.17 auto up 09:02:45 up 0:01, 2 users, load average: 3.05, 1.13, 0.42
This commit is contained in:
131
S3/MaPhyIII/VL/MaPhIIIVL5.typ
Normal file
131
S3/MaPhyIII/VL/MaPhIIIVL5.typ
Normal file
@@ -0,0 +1,131 @@
|
||||
// Main VL template
|
||||
#import "../preamble.typ": *
|
||||
|
||||
// Fix theorems to be shown the right way in this document
|
||||
#import "@preview/ctheorems:1.1.3": *
|
||||
#show: thmrules
|
||||
|
||||
// Main settings call
|
||||
#show: conf.with(
|
||||
// May add more flags here in the future
|
||||
num: 5,
|
||||
type: 0, // 0 normal, 1 exercise
|
||||
date: datetime.today().display(),
|
||||
//date: datetime(
|
||||
// year: 2025,
|
||||
// month: 5,
|
||||
// day: 1,
|
||||
//).display(),
|
||||
)
|
||||
|
||||
= Uebersicht
|
||||
|
||||
Poisson ($Omega = "Kreisscheibe mit Radius" 1 \, space Delta u = 0 \, space u | _(partial _(Omega) ) := f (RR)$).
|
||||
Fuer $norm(x)< 1$ ist die Loesung
|
||||
$
|
||||
u (x) = integral _(norm(y) = 1) K (x, y) f (y) dif y,
|
||||
$
|
||||
mit dem Integral-Kern
|
||||
$
|
||||
K (x, y) = (1 - norm(x)^2 ) / (2 pi) (1) / (norm(x - y)^2 ) .
|
||||
$
|
||||
Fuer $norm(x)= 1: u (x) = f (x)$ (muss so sein wegen der Randbedinung!)
|
||||
|
||||
Nicht trivial ist zu zeigen, dass dieses $u$ auf ganz $overline(Omega) = overline(K )_(1) $ stetig ist. Und die Berechnung von $K$ mit Hilfe von Polar-Koordinaten Sperataion der Varablen, Reiehen-Entwicklung (und Untersuchung der Reihe!)
|
||||
|
||||
Das Min-Max-Prinzip gilt auch fuer das Dirichlet-Problem.
|
||||
|
||||
#theorem[
|
||||
Sei $Omega subset RR^n $ ein beschraenktes Gebiet. Ist $u in C (overline(Omega)) inter C^2 (Omega) $ und $Delta u = 0$ auf $Omega$, so gilt
|
||||
$
|
||||
min_(partial Omega) u <= u <= max _(partial Omega) u.
|
||||
$
|
||||
Gilt auf $Omega$ nur $Delta u >= 0$ so ist $u <= max_(partial Omega) u$.
|
||||
]
|
||||
|
||||
Es folgt, dass jede Loesung $u in C (overline(Omega)) inter C^2 (Omega)$ ist durch die Randwerte eindeutig bestimmt. Der Beweis ist wie beim Draht.
|
||||
|
||||
#proof[
|
||||
Setzte $v (x) = u (x) + epsilon norm(x)^2 .. (epsilon > 0) $. $v$ stetig $==>$ nimmt Maximum auf $overline(Omega)$ (kompakt) an. Sei $x_0 in overline(Omega)$ Maximalstelle. Es ist $x_0 in partial Omega$ denn wenn $x_0 in Omega$ so waere die Hessematrix von $v$ in $x_0$ negativ definit ist. Also
|
||||
$
|
||||
tr (H_(v) (x_0 ) ) = sum H_(v) (x_0 )_(j j) = (partial _(1) ^2 + ... + partial _(n) ^2 )v (x_0 ) \
|
||||
= Delta u (x_0) + 2 n epsilon > 0 \
|
||||
==> x_0 in partial Omega and u (x) <= v (x) <= v (x_0 ) = u (x_0 ) + epsilon norm(x_0 )^2.
|
||||
$
|
||||
$epsilon -> 0$ liefert die obere Abschaetzung. Untere Abschaetung durch die Betrachtung von $- u$.
|
||||
]
|
||||
#definition[
|
||||
Von-Neumann-Randbedigungen. Es fuer jede Loesung
|
||||
$
|
||||
partial _(h) u (x_0 ) = f (x_0 ) space forall x_0 in partial Omega.
|
||||
$
|
||||
Hier ist $partial _(h) $ die Ableitung in Richtung des Einheits-Normalenvektorfelds $n$ auf dem Rand von $Omega$.
|
||||
]
|
||||
|
||||
#highlight[TODO: Zusammenfassung erstellen und die Poisson Gleichung verstehe]
|
||||
|
||||
= Banach und Hilbertraeume
|
||||
|
||||
Wiederholung der Grundlagen
|
||||
|
||||
#definition[
|
||||
Das Tupel $(X, norm(*))$ heisst *Banachraum*, wenn $X$ ein Vektorraum und $norm(*)$ eine Norm auf $X$ ist, und $X$ bezueglich dieser NOrm vollstaendig ist. Also jede Cauchy-FOlge gegen ein eindeutiges $a in X$ konvergiert.
|
||||
]
|
||||
|
||||
#definition[
|
||||
Ein Hilbertraum $(H, lr(angle.l *, * angle.r))$ ist ein Banachraum, dessen NOrm $norm(*)$ von einem Skalarprodukt induziert ist. Das heisst
|
||||
$
|
||||
norm(v) = sqrt(lr(angle.l v, v angle.r)) space forall v in H.
|
||||
$
|
||||
]
|
||||
|
||||
Der $RR^n $ ist vollstaendig bezueglich der euklidischen Norm. Nicht vollstaendig ist $ (0, 1] subset RR$ mit $norm(*)$ als Abstand. Aequivalenz von Normen impliziert die gegenseitige Abschaetzung.
|
||||
|
||||
Eine norm auf einem Vektorraum wird von einem Skalarprodukt induziert $<==>$
|
||||
$
|
||||
norm(v + w)^2 + norm(v - w)^2 = 2 norm(v)^2 + 2 norm(w)^2 space forall v, w in V.
|
||||
$
|
||||
|
||||
Als Beispiel wieder, dass $C ([0, 1])$ nicht vollstaendig ist mit der Verbundenen Sprungfunktion.
|
||||
|
||||
== Vervollstaendigung
|
||||
|
||||
EIne Moeglichkeit, aus einem Vektorraum mit Skalarpodukt (Prae-Hilbertraum) einen vollstaendigen Raum zu konstruieren wird hier abstrakt demonstriert.
|
||||
|
||||
Betrachte in einem normierten VR $X$ alle Cauchy-Folgen in $X$. Dies ist ein Vektorraum. Versieh diesen mit einer Norm (dass die angegebene Abbildung tatsaechlich eine Norm definiert, muss man Cauchy-Folgen miteinander identifizieren, wenn sie sich nur um eine Nullfolge in $X$ unterscheiden). $X$ kann in sinnvoller Weise als Teilmenge des Raumes $hat(X)$, den wir aus Cauchy-Folgen in $X$ konstruieren, verstanden werden. $hat(X)$ ist mit der angegeenen Norm vollstaendig.
|
||||
|
||||
#definition[
|
||||
Eine lineare Abbildung $f: X -> Y$ zwischen normierten Vektorraeumen heisst *Isometrie*, falls gilt
|
||||
$
|
||||
norm( f (x))_(Y) = norm(x)_(X) space forall x in X.
|
||||
$
|
||||
Falls diese Raueme Prae-Hilbert-Raume sind dann auch
|
||||
$
|
||||
lr(angle.l f (x), f (y) angle.r)_(Y) = lr(angle.l x, y angle.r)_(X).
|
||||
$
|
||||
]
|
||||
|
||||
Jede Isometrie ist injektiv.
|
||||
|
||||
#example[
|
||||
Der Shift-Operator auf dem Raum aller quadratsummierbaren Folgen
|
||||
]
|
||||
|
||||
#remark[
|
||||
Lineare Abbildungen $l^2 -> l^2 $ sind die "unendlichen Matrizen", mit denen Born, Heisenberg, Jorgan 1925 Quantenmechanik betrieben.
|
||||
]
|
||||
|
||||
Basis fuer den $l^2 $ ist
|
||||
$
|
||||
e_(i) := (0, ..., 0, underbrace(1, i"-te Stelle"), 0, ..., 0, ...) space forall i in NN union {0}.
|
||||
$
|
||||
Der Shift-Operator ist dann
|
||||
$
|
||||
s(e_(i)) = e_(i + 1) \
|
||||
M_(s) := mat(
|
||||
0, 0, 0, ...;
|
||||
1, 0, 0, ...;
|
||||
0, 1, 0, ...;
|
||||
dots.v, dots.v , dots.v , ;
|
||||
).
|
||||
$
|
||||
59
S3/MaPhyIII/VL/MaPhIIIVL6.typ
Normal file
59
S3/MaPhyIII/VL/MaPhIIIVL6.typ
Normal file
@@ -0,0 +1,59 @@
|
||||
// Main VL template
|
||||
#import "../preamble.typ": *
|
||||
|
||||
// Fix theorems to be shown the right way in this document
|
||||
#import "@preview/ctheorems:1.1.3": *
|
||||
#show: thmrules
|
||||
|
||||
// Main settings call
|
||||
#show: conf.with(
|
||||
// May add more flags here in the future
|
||||
num: 6,
|
||||
type: 0, // 0 normal, 1 exercise
|
||||
date: datetime.today().display(),
|
||||
//date: datetime(
|
||||
// year: 2025,
|
||||
// month: 5,
|
||||
// day: 1,
|
||||
//).display(),
|
||||
)
|
||||
|
||||
= Uebersicht
|
||||
|
||||
#theorem[
|
||||
Sei $(X, norm(*))$ ein normierter Vektorraum. Dann gilt:
|
||||
- Es gibt eine Isometrie $z: X -> hat(X)$ in einen Banachraum $hat(X)$, deren Bild dicht in $hat(X)$ liegt
|
||||
- Die Isometrie $z$ ist durch $(X, norm(*))$ im wesentlichen eindeutig bestimmt (d.h. ist $z_(2) :X -> hat(X)_(2) $ eine weitere Isometrie, so gibt es einen isometrischen Isomorphismus $phio$
|
||||
]
|
||||
|
||||
#proof[
|
||||
Betrachte alle Cauchyfolgen in $QQ$. Nun laesst sich dort $QQ$ wiederfinden durch
|
||||
$
|
||||
q |-> (q, q, ...) ~ (q + 1, q + 1/2, q + 1/3, ...).
|
||||
$
|
||||
]
|
||||
|
||||
Ob etwas eine Cauchyfolge ist kommt auf die bezuegliche Norm an.
|
||||
|
||||
Betrachte
|
||||
$
|
||||
L^2 ([0, 1], RR) \, space f = g <==> f = g + h \, space h : N -> RR \
|
||||
l^2 (CC) = {(a_0, a_1, a_2, a_3, ...) subset CC : underbrace(sum abs(a_(j) )^2, = norm(a)_(l^2 )^2 ) < oo } \
|
||||
v_(n) = (v_(n, 0), v_(n, 1), ... ) "ist eine Folge in" l^2 (CC) "also" sum_(k = 0)^(oo) abs(v_(n, k))^2 < oo \
|
||||
(v_(n) )_(n in NN) "ist Cauchyfolge".
|
||||
$
|
||||
|
||||
Bildung des Grenzwerts
|
||||
$
|
||||
V = (lim_(n -> oo) v_(n, 0) , underbrace(lim_(n -> oo) v_(n, 1), in CC) , ...) in l^2 (CC).
|
||||
$
|
||||
Abstand
|
||||
$
|
||||
norm(v_(n) - V)^2 _(l^2 ) = sum_(k = 0)^(oo) abs(v_(n, k) - V_(k) )^2
|
||||
$
|
||||
Epsilon delta
|
||||
$
|
||||
forall epsilon > 0 exists delta > 0 : norm(phio (v) - phio (u_0 )) < epsilon space forall v, u_0 "mit" norm(v - u_0 ) < delta \
|
||||
phio_("linear") phio (v - u_0 ) \
|
||||
norm(phio (w)) < epsilon space forall norm( w) < delta \, space norm(A)_(oo) = sup _(norm(w)= 1) norm(A (u)) = sup_(u != 0) (norm(A (u))) / (norm(u)).
|
||||
$
|
||||
84
S3/MaPhyIII/VL/MaPhIIIVL7.typ
Normal file
84
S3/MaPhyIII/VL/MaPhIIIVL7.typ
Normal file
@@ -0,0 +1,84 @@
|
||||
// Main VL template
|
||||
#import "../preamble.typ": *
|
||||
|
||||
// Fix theorems to be shown the right way in this document
|
||||
#import "@preview/ctheorems:1.1.3": *
|
||||
#show: thmrules
|
||||
|
||||
// Main settings call
|
||||
#show: conf.with(
|
||||
// May add more flags here in the future
|
||||
num: 5,
|
||||
type: 0, // 0 normal, 1 exercise
|
||||
date: datetime.today().display(),
|
||||
//date: datetime(
|
||||
// year: 2025,
|
||||
// month: 5,
|
||||
// day: 1,
|
||||
//).display(),
|
||||
)
|
||||
|
||||
= Uebersicht
|
||||
|
||||
Hilbertraeume und ONS fuer PDEs. Fouriertrafo fuer die Loesung von PDEs.
|
||||
|
||||
Harmonischer Oszillator
|
||||
$
|
||||
(dif ^2 y) / (dif x ^2 ) + omega ^2 y = 0 \, space y = A e ^(i k x) \
|
||||
A e ^(i k x) (- k^2 + omega^2 ) = 0 ==> k = +- omega ==> y = A e ^(i omega x) + beta e^(- i omega x).
|
||||
$
|
||||
|
||||
Motivation der Fourertransformation. Sei $u$ eine Funktion
|
||||
$
|
||||
P: u |-> - i u^(1) \
|
||||
Q: u |-> x * u.
|
||||
$
|
||||
Wir suchen einen Funktionenraum und eine lineare Transformation $u |-> hat(u)$, sodass $hat(P u) = Q hat(u)$.
|
||||
|
||||
Aus einer DGL soll ein algebraischer Ausdruck werden. Mit dem Ansatz
|
||||
$
|
||||
hat(u) = integral K (x, xi) u (x) dif x.
|
||||
$
|
||||
Welche Anforderungen brauchen wir an $u$, sodass das Integral definiert ist. Es soll also partielle Integration durchfuehrbar sein
|
||||
$
|
||||
i xi hat(u) (xi) = integral i xi e ^(i x xi) u (x) dif x = integral e ^(i x xi) (+ u') (x) dif x = - underbrace([e ^(- i xi x) u (x)]_(- oo) ^(oo), =^(!) 0) + integral e ^(- i x xi) partial _(x) u dif x = hat(u)' (xi).
|
||||
$
|
||||
|
||||
Um den bei der partiellen Integration auftretenden Randterm zu eliminieren, wird die Fourertransformation auf $L^(1) $ definiert.
|
||||
|
||||
Q: Warum faellt dieser Term bei $L^(1) $ Funktionen weg?
|
||||
|
||||
#theorem[
|
||||
Riemann-Lebesgue-Lemma.
|
||||
|
||||
Es gilt
|
||||
$
|
||||
lim_(abs(xi) -> oo) hat(u) (xi) = 0.
|
||||
$
|
||||
]
|
||||
|
||||
Die Fourertransformation ist immer stetig. Im allgemeinen ist die Fourertransformation wie hier noch nicht integrierbar.
|
||||
|
||||
Einfuehrung der Multi-Index Notation mit einem Produkt aber keine Summe. Es gilt dann
|
||||
$
|
||||
P^(alpha) u (x) = (- i)^(abs(alpha)) partial^(alpha) u (x).
|
||||
$
|
||||
|
||||
#lemma[
|
||||
Falls $u in C^(k) (RR^(n) )$ und $P^(alpha) in L^(1) (RR^(n) ) space forall alpha : abs(alpha) <= k$, so ist
|
||||
$
|
||||
hat(p ^(alpha) u ) = Q^(alpha) u \, space abs(alpha) <= k \
|
||||
abs( hat(u) (xi)) <= C (1) / (1 + norm(xi) k).
|
||||
$
|
||||
Falls $u$ kompakt getragen ist, so kann $hat(u)$ in eine ueberall konvergente Potenzreihe entwickelt werden
|
||||
$
|
||||
hat(u) (xi) = sum c_(k) (xi - xi_0 )^(k).
|
||||
$
|
||||
]
|
||||
|
||||
#proof[
|
||||
Betrachte
|
||||
$
|
||||
hat(P^(alpha) u) = Q^(alpha) hat(u) = x ^(alpha) hat(u)
|
||||
$
|
||||
]
|
||||
Reference in New Issue
Block a user