|
|
|
|
3 | (4) |
|
|
6 | (1) |
|
2 Spaces of Test Functions |
|
|
7 | (18) |
|
2.1 Hausdorff Locally Convex Topological Vector Spaces |
|
|
7 | (11) |
|
|
13 | (2) |
|
2.1.2 Continuity and Convergence in a HLCVTVS |
|
|
15 | (3) |
|
2.2 Basic Test Function Spaces of Distribution Theory |
|
|
18 | (4) |
|
2.2.1 The Test Function Space D(Ω) of C∞ Functions of Compact Support |
|
|
18 | (2) |
|
2.2.2 The Test Function Space S(Ω) of Strongly Decreasing C∞-Functions on Ω |
|
|
20 | (1) |
|
2.2.3 The Test Function Space Ε(Ω2) of All C∞-Functions on Ω |
|
|
21 | (1) |
|
2.2.4 Relation Between the Test Function Spaces D(Ω), S(Ω), and ε(Ω) |
|
|
21 | (1) |
|
|
22 | (3) |
|
|
24 | (1) |
|
|
25 | (20) |
|
3.1 The Topological Dual of an HLCTVS |
|
|
25 | (2) |
|
3.2 Definition of Distributions |
|
|
27 | (6) |
|
3.2.1 The Regular Distributions |
|
|
29 | (2) |
|
3.2.2 Some Standard Examples of Distributions |
|
|
31 | (2) |
|
3.3 Convergence of Sequences and Series of Distributions |
|
|
33 | (5) |
|
3.4 Localization of Distributions |
|
|
38 | (2) |
|
3.5 Tempered Distributions and Distributions with Compact Support |
|
|
40 | (2) |
|
|
42 | (3) |
|
4 Calculus for Distributions |
|
|
45 | (18) |
|
|
46 | (3) |
|
|
49 | (3) |
|
4.3 Transformation of Variables |
|
|
52 | (3) |
|
|
55 | (4) |
|
4.4.1 Distributions with Support in a Point |
|
|
55 | (2) |
|
4.4.2 Renormalization of (1/x)+ = θ(x)/x |
|
|
57 | (2) |
|
|
59 | (4) |
|
|
60 | (3) |
|
5 Distributions as Derivatives of Functions |
|
|
63 | (10) |
|
|
63 | (2) |
|
5.2 Structure Theorem for Distributions |
|
|
65 | (2) |
|
|
67 | (2) |
|
5.4 The Case of Tempered and Compactly Supported Distributions |
|
|
69 | (2) |
|
|
71 | (2) |
|
|
71 | (2) |
|
|
73 | (12) |
|
6.1 Tensor Product for Test Function Spaces |
|
|
73 | (4) |
|
6.2 Tensor Product for Distributions |
|
|
77 | (7) |
|
|
84 | (1) |
|
|
84 | (1) |
|
|
85 | (16) |
|
7.1 Convolution of Functions |
|
|
85 | (4) |
|
7.2 Regularization of Distributions |
|
|
89 | (4) |
|
7.3 Convolution of Distributions |
|
|
93 | (7) |
|
|
100 | (1) |
|
|
100 | (1) |
|
8 Applications of Convolution |
|
|
101 | (18) |
|
8.1 Symbolic Calculus---Ordinary Linear Differential Equations |
|
|
102 | (4) |
|
8.2 Integral Equation of Volterra |
|
|
106 | (1) |
|
8.3 Linear Partial Differential Equations with Constant Coefficients |
|
|
107 | (3) |
|
8.4 Elementary Solutions of Partial Differential Operators |
|
|
110 | (7) |
|
8.4.1 The Laplace Operator Δn = Σn i=1 ∂2/∂x2i in Rn |
|
|
111 | (1) |
|
8.4.2 The PDE Operator ∂/∂t --- Δn of the Heat Equation in Rn+1 |
|
|
112 | (2) |
|
8.4.3 The Wave Operator 4 = ∂20 -- Δ3 in R4 |
|
|
114 | (3) |
|
|
117 | (2) |
|
|
117 | (2) |
|
|
119 | (14) |
|
|
119 | (3) |
|
|
122 | (3) |
|
9.3 Some Properties of Holomorphic Functions |
|
|
125 | (6) |
|
|
131 | (2) |
|
|
131 | (2) |
|
10 Fourier Transformation |
|
|
133 | (30) |
|
10.1 Fourier Transformation for Integrable Functions |
|
|
134 | (7) |
|
10.2 Fourier Transformation on S(Rn) |
|
|
141 | (3) |
|
10.3 Fourier Transformation for Tempered Distributions |
|
|
144 | (9) |
|
|
153 | (7) |
|
10.4.1 Examples of Tempered Elementary Solutions |
|
|
155 | (4) |
|
10.4.2 Summary of Properties of the Fourier Transformation |
|
|
159 | (1) |
|
|
160 | (3) |
|
|
162 | (1) |
|
11 Distributions as Boundary Values of Analytic Functions |
|
|
163 | (6) |
|
|
167 | (2) |
|
|
168 | (1) |
|
12 Other Spaces of Generalized Functions |
|
|
169 | (12) |
|
12.1 Generalized Functions of Gelfand Type S |
|
|
170 | (3) |
|
12.2 Hyperfunctions and Fourier Hyperfunctions |
|
|
173 | (4) |
|
|
177 | (4) |
|
|
178 | (3) |
|
|
181 | (20) |
|
|
181 | (1) |
|
|
181 | (3) |
|
|
184 | (9) |
|
13.3.1 Morrey's Inequality |
|
|
184 | (4) |
|
13.3.2 Gagliardo-Nirenberg-Sobolev Inequality |
|
|
188 | (5) |
|
13.4 Embeddings of Sobolev Spaces |
|
|
193 | (5) |
|
13.4.1 Continuous Embeddings |
|
|
193 | (2) |
|
13.4.2 Compact Embeddings |
|
|
195 | (3) |
|
|
198 | (3) |
|
|
198 | (3) |
|
Part II Hilbert Space Operators |
|
|
|
14 Hilbert Spaces: A Brief Historical Introduction |
|
|
201 | (12) |
|
14.1 Survey: Hilbert Spaces |
|
|
201 | (7) |
|
14.2 Some Historical Remarks |
|
|
208 | (2) |
|
14.3 Hilbert Spaces and Physics |
|
|
210 | (3) |
|
|
211 | (2) |
|
15 Inner Product Spaces and Hilbert Spaces |
|
|
213 | (14) |
|
15.1 Inner Product Spaces |
|
|
213 | (11) |
|
15.1.1 Basic Definitions and Results |
|
|
214 | (4) |
|
15.1.2 Basic Topological Concepts |
|
|
218 | (1) |
|
15.1.3 On the Relation Between Normed Spaces and Inner Product spaces |
|
|
219 | (2) |
|
15.1.4 Examples of Hilbert Spaces |
|
|
221 | (3) |
|
|
224 | (3) |
|
|
225 | (2) |
|
16 Geometry of Hilbert Spaces |
|
|
227 | (12) |
|
16.1 Orthogonal Complements and Projections |
|
|
227 | (4) |
|
|
231 | (2) |
|
16.3 The Dual of a Hilbert Space |
|
|
233 | (4) |
|
|
237 | (2) |
|
17 Separable Hilbert Spaces |
|
|
239 | (16) |
|
|
239 | (6) |
|
17.2 Weight Functions and Orthogonal Polynomials |
|
|
245 | (4) |
|
17.3 Examples of Complete Orthonormal Systems for L2(I,ρdx) |
|
|
249 | (4) |
|
|
253 | (2) |
|
|
254 | (1) |
|
18 Direct Sums and Tensor Products |
|
|
255 | (10) |
|
18.1 Direct Sums of Hilbert Spaces |
|
|
255 | (3) |
|
|
258 | (3) |
|
18.3 Some Applications of Tensor Products and Direct Sums |
|
|
261 | (1) |
|
18.3.1 State Space of Particles with Spin |
|
|
261 | (1) |
|
18.3.2 State Space of Multi Particle Quantum Systems |
|
|
261 | (1) |
|
|
262 | (3) |
|
|
263 | (2) |
|
|
265 | (12) |
|
|
265 | (2) |
|
|
267 | (8) |
|
|
275 | (2) |
|
|
276 | (1) |
|
|
277 | (18) |
|
|
277 | (3) |
|
20.2 Adjoints, Closed and Closable Operators |
|
|
280 | (6) |
|
20.3 Symmetric and Self-Adjoint Operators |
|
|
286 | (3) |
|
|
289 | (3) |
|
20.4.1 Operator of Multiplication |
|
|
289 | (1) |
|
|
290 | (1) |
|
20.4.3 Free Hamilton Operator |
|
|
291 | (1) |
|
|
292 | (3) |
|
|
295 | (12) |
|
21.1 Basic Concepts. Examples |
|
|
295 | (3) |
|
21.2 Representation of Quadratic Forms |
|
|
298 | (4) |
|
|
302 | (2) |
|
|
304 | (3) |
|
22 Bounded Linear Operators |
|
|
307 | (18) |
|
|
307 | (2) |
|
|
309 | (4) |
|
22.3 The Space B(H, K.) of Bounded Linear Operators |
|
|
313 | (2) |
|
|
315 | (3) |
|
22.5 Calculus in the C*-Algebra B(H) |
|
|
318 | (3) |
|
|
318 | (2) |
|
22.5.2 Polar Decomposition of Operators |
|
|
320 | (1) |
|
|
321 | (4) |
|
|
323 | (2) |
|
23 Special Classes of Linear Operators |
|
|
325 | (18) |
|
23.1 Projection Operators |
|
|
325 | (4) |
|
|
329 | (4) |
|
|
329 | (1) |
|
23.2.2 Unitary Operators and Groups of Unitary Operators |
|
|
330 | (3) |
|
23.2.3 Examples of Unitary Operators |
|
|
333 | (1) |
|
23.3 Some Applications of Unitary Operators in Ergodic Theory |
|
|
333 | (4) |
|
23.3.1 Poincare Recurrence Results |
|
|
334 | (1) |
|
23.3.2 The Mean Ergodic Theorem of von Neumann |
|
|
335 | (2) |
|
23.4 Self-Adjoint Hamilton Operators |
|
|
337 | (4) |
|
23.4.1 Kato Perturbations |
|
|
337 | (2) |
|
23.4.2 Kato Perturbations of the Free Hamiltonian |
|
|
339 | (2) |
|
|
341 | (2) |
|
|
342 | (1) |
|
24 Elements of Spectral Theory |
|
|
343 | (12) |
|
24.1 Basic Concepts and Results |
|
|
344 | (4) |
|
24.2 The Spectrum of Special Operators |
|
|
348 | (2) |
|
24.3 Comments on Spectral Properties of Linear Operators |
|
|
350 | (2) |
|
|
352 | (3) |
|
|
353 | (2) |
|
|
355 | (10) |
|
|
355 | (4) |
|
|
359 | (4) |
|
25.2.1 The Results of Riesz and Schauder |
|
|
359 | (2) |
|
25.2.2 The Fredholm Alternative |
|
|
361 | (2) |
|
|
363 | (2) |
|
|
363 | (2) |
|
26 Hilbert--Schmidt and Trace Class Operators |
|
|
365 | (28) |
|
|
365 | (8) |
|
26.2 Dual Spaces of the Spaces of Compact and of Trace Class Operators |
|
|
373 | (4) |
|
26.3 Related Locally Convex Topologies on B(H) |
|
|
377 | (5) |
|
26.4 Partial Trace and Schmidt Decomposition in Separable Hilbert Spaces |
|
|
382 | (5) |
|
|
382 | (4) |
|
26.4.2 Schmidt Decomposition |
|
|
386 | (1) |
|
26.5 Some Applications in Quantum Mechanics |
|
|
387 | (3) |
|
|
390 | (3) |
|
|
391 | (2) |
|
|
393 | (26) |
|
27.1 Geometric Characterization of Self-Adjointness |
|
|
394 | (8) |
|
|
394 | (1) |
|
27.1.2 Subspaces of Controlled Growth |
|
|
395 | (7) |
|
27.2 Spectral Families and Their Integrals |
|
|
402 | (8) |
|
|
402 | (2) |
|
27.2.2 Integration with Respect to a Spectral Family |
|
|
404 | (6) |
|
27.3 The Spectral Theorem |
|
|
410 | (4) |
|
|
414 | (2) |
|
|
416 | (3) |
|
|
417 | (2) |
|
28 Some Applications of the Spectral Representation |
|
|
419 | (20) |
|
|
419 | (2) |
|
28.2 Decomposition of the Spectrum---Spectral Subspaces |
|
|
421 | (8) |
|
28.3 Interpretation of the Spectrum of a Self-Adjoint Hamiltonian |
|
|
429 | (6) |
|
28.4 Probabilistic Description of Commuting Observables |
|
|
435 | (1) |
|
|
435 | (4) |
|
|
436 | (3) |
|
29 Spectral Analysis in Rigged Hilbert Spaces |
|
|
439 | (16) |
|
29.1 Rigged Hilbert Spaces |
|
|
439 | (6) |
|
29.1.1 Motivation for the Use of Generalized Eigenfunctions |
|
|
439 | (1) |
|
29.1.2 Rigged Hilbert Spaces |
|
|
440 | (2) |
|
29.1.3 Examples of Nuclear Spaces |
|
|
442 | (1) |
|
29.1.4 Structure of the Natural Embedding in a Gelfand Triple |
|
|
443 | (2) |
|
29.2 Spectral Analysis of Self-adjoint Operators and Generalized Eigenfunctions |
|
|
445 | (8) |
|
29.2.1 Direct Integral of Hilbert Spaces |
|
|
445 | (2) |
|
29.2.2 Classical Versions of Spectral Representation |
|
|
447 | (2) |
|
29.2.3 Generalized Eigenfunctions |
|
|
449 | (1) |
|
29.2.4 Completeness of Generalized Eigenfunctions |
|
|
450 | (3) |
|
|
453 | (2) |
|
|
453 | (2) |
|
30 Operator Algebras and Positive Mappings |
|
|
455 | (28) |
|
30.1 Representations of C*-Algebras |
|
|
455 | (5) |
|
30.1.1 Representations of B(H) |
|
|
456 | (4) |
|
30.2 On Positive Elements and Positive Functionals |
|
|
460 | (5) |
|
30.2.1 The GNS-Construction |
|
|
462 | (3) |
|
|
465 | (5) |
|
30.4 Completely Positive Maps |
|
|
470 | (12) |
|
30.4.1 Positive Elements in Mk(A) |
|
|
470 | (2) |
|
30.4.2 Some Basic Properties of Positive Linear Mappings |
|
|
472 | (1) |
|
30.4.3 Completely Positive Maps Between C*-Algebras |
|
|
473 | (2) |
|
30.4.4 Stinespring Factorization Theorem for Completely Positive Maps |
|
|
475 | (4) |
|
30.4.5 Completely Positive Mappings on B(H) |
|
|
479 | (3) |
|
|
482 | (1) |
|
|
482 | (1) |
|
31 Positive Mappings in Quantum Physics |
|
|
483 | (20) |
|
|
483 | (3) |
|
31.2 Kraus Form of Quantum Operations |
|
|
486 | (7) |
|
31.2.1 Operations and Effects |
|
|
487 | (3) |
|
31.2.2 The Representation Theorem for Operations |
|
|
490 | (3) |
|
31.3 Choi's Results for Finite Dimensional Completely Positive Maps |
|
|
493 | (3) |
|
31.4 Open Quantum Systems, Reduced Dynamics and Decoherence |
|
|
496 | (2) |
|
|
498 | (5) |
|
|
499 | (4) |
|
Part III Variational Methods |
|
|
|
|
503 | (8) |
|
32.1 Roads to Calculus of Variations |
|
|
504 | (1) |
|
32.2 Classical Approach Versus Direct Methods |
|
|
505 | (3) |
|
32.3 The Objectives of the Following Chapters |
|
|
508 | (3) |
|
|
508 | (3) |
|
33 Direct Methods in the Calculus of Variations |
|
|
511 | (8) |
|
33.1 General Existence Results |
|
|
511 | (2) |
|
33.2 Minimization in Banach Spaces |
|
|
513 | (2) |
|
33.3 Minimization of Special Classes of Functionals |
|
|
515 | (1) |
|
|
516 | (3) |
|
|
517 | (2) |
|
34 Differential Calculus on Banach Spaces and Extrema of Functions |
|
|
519 | (18) |
|
34.1 The Frechet Derivative |
|
|
520 | (6) |
|
34.2 Extrema of Differentiable Functions |
|
|
526 | (2) |
|
34.3 Convexity and Monotonicity |
|
|
528 | (2) |
|
34.4 Gateaux Derivatives and Variations |
|
|
530 | (4) |
|
|
534 | (3) |
|
|
535 | (2) |
|
35 Constrained Minimization Problems (Method of Lagrange Multipliers) |
|
|
537 | (10) |
|
35.1 Geometrical Interpretation of Constrained Minimization |
|
|
538 | (1) |
|
35.2 Tangent Spaces of Level Surfaces |
|
|
539 | (2) |
|
35.3 Existence of Lagrange Multipliers |
|
|
541 | (4) |
|
35.3.1 Comments on Dido's Problem |
|
|
543 | (2) |
|
|
545 | (2) |
|
|
546 | (1) |
|
36 Boundary and Eigenvalue Problems |
|
|
547 | (16) |
|
36.1 Minimization in Hilbert Spaces |
|
|
547 | (4) |
|
36.2 The Dirichlet--Laplace Operator and Other Elliptic Differential Operators |
|
|
551 | (3) |
|
36.3 Nonlinear Convex Problems |
|
|
554 | (6) |
|
|
560 | (3) |
|
|
562 | (1) |
|
37 Density Functional Theory of Atoms and Molecules |
|
|
563 | (12) |
|
|
563 | (2) |
|
37.2 Semiclassical Theories of Density Functionals |
|
|
565 | (1) |
|
37.3 Hohenberg--Kohn Theory |
|
|
566 | (6) |
|
37.3.1 Hohenberg--Kohn Variational Principle |
|
|
570 | (1) |
|
37.3.2 The Kohn--Sham Equations |
|
|
571 | (1) |
|
|
572 | (3) |
|
|
573 | (2) |
Appendix A Completion of Metric Spaces |
|
575 | (4) |
Appendix B Metrizable Locally Convex Topological Vector Spaces |
|
579 | (2) |
Appendix C The Theorem of Baire |
|
581 | (8) |
Appendix D Bilinear Functionals |
|
589 | (2) |
Index |
|
591 | |