|
|
1 | (32) |
|
1.1 Statement of the Problem |
|
|
1 | (2) |
|
1.2 Exterior and Differential Forms |
|
|
3 | (7) |
|
1.2.1 Definitions and Basic Properties of Exterior Forms |
|
|
3 | (3) |
|
|
6 | (1) |
|
|
7 | (3) |
|
1.3 Hodge-Morrey Decomposition and Poincare Lemma |
|
|
10 | (5) |
|
1.3.1 A General Identity and Gaffney Inequality |
|
|
10 | (1) |
|
1.3.2 The Hodge-Morrey Decomposition |
|
|
11 | (1) |
|
1.3.3 First-Order Systems of Cauchy-Riemann Type |
|
|
12 | (1) |
|
|
13 | (2) |
|
1.4 The Case of Volume Forms |
|
|
15 | (5) |
|
1.4.1 Statement of the Problem |
|
|
15 | (2) |
|
1.4.2 The One-Dimensional Case |
|
|
17 | (1) |
|
|
18 | (1) |
|
1.4.4 The Case with No Sign Hypothesis on f |
|
|
19 | (1) |
|
1.5 The Case 0 ≤ k ≤ n - 1 |
|
|
20 | (5) |
|
|
20 | (1) |
|
1.5.2 The Cases k = 0 and k = 1 |
|
|
21 | (1) |
|
|
22 | (2) |
|
1.5.4 The Case 3 ≤ k ≤ n - 1 |
|
|
24 | (1) |
|
|
25 | (8) |
|
1.6.1 Definition and Extension of Holder Functions |
|
|
25 | (2) |
|
1.6.2 Interpolation, Product, Composition and Inverse |
|
|
27 | (1) |
|
|
28 | (5) |
|
Part I Exterior and Differential Forms |
|
|
|
2 Exterior Forms and the Notion of Divisibility |
|
|
33 | (42) |
|
|
34 | (12) |
|
2.1.1 Exterior Forms and Exterior Product |
|
|
34 | (2) |
|
2.1.2 Scalar Product, Hodge Star Operator and Interior Product |
|
|
36 | (3) |
|
2.1.3 Pullback and Dimension Reduction |
|
|
39 | (3) |
|
2.1.4 Canonical Forms for 1, 2, (n - 2) and (n - 1)-Forms |
|
|
42 | (4) |
|
2.2 Annihilators, Rank and Corank |
|
|
46 | (11) |
|
2.2.1 Exterior and Interior Annihilators |
|
|
46 | (2) |
|
|
48 | (5) |
|
2.2.3 Properties of the Rank of Order 1 |
|
|
53 | (4) |
|
|
57 | (18) |
|
2.3.1 Definition and First Properties |
|
|
57 | (6) |
|
|
63 | (4) |
|
|
67 | (4) |
|
2.3.4 Proof of the Main Theorem |
|
|
71 | (4) |
|
|
75 | (16) |
|
|
75 | (4) |
|
3.2 Tangential and Normal Components |
|
|
79 | (8) |
|
3.3 Gauss-Green Theorem and Integration-by-Parts Formula |
|
|
87 | (4) |
|
|
91 | (10) |
|
|
91 | (2) |
|
|
93 | (8) |
|
Part II Hodge-Morrey Decomposition and Poincare Lemma |
|
|
|
5 An Identity Involving Exterior Derivatives and Gaffney Inequality |
|
|
101 | (20) |
|
|
101 | (2) |
|
5.2 An Identity Involving Exterior Derivatives |
|
|
103 | (10) |
|
5.2.1 Preliminary Formulas |
|
|
103 | (4) |
|
|
107 | (6) |
|
|
113 | (8) |
|
5.3.1 An Elementary Proof |
|
|
113 | (2) |
|
5.3.2 A Generalization of the Boundary Condition |
|
|
115 | (3) |
|
5.3.3 Gaffney-Type Inequalities in Lp and Holder Spaces |
|
|
118 | (3) |
|
6 The Hodge-Morrey Decomposition |
|
|
121 | (14) |
|
6.1 Properties of Harmonic Fields |
|
|
121 | (3) |
|
6.2 Existence of Minimizers and Euler-Lagrange Equation |
|
|
124 | (3) |
|
6.3 The Hodge-Morrey Decomposition |
|
|
127 | (3) |
|
|
130 | (5) |
|
7 First-Order Elliptic Systems of Cauchy-Riemann Type |
|
|
135 | (12) |
|
7.1 System with Prescribed Tangential Component |
|
|
135 | (5) |
|
7.2 System with Prescribed Normal Component |
|
|
140 | (2) |
|
7.3 Weak Formulation for Closed Forms |
|
|
142 | (3) |
|
7.4 Equivalence Between Hodge Decomposition and Cauchy-Riemann-Type Systems |
|
|
145 | (2) |
|
|
147 | (32) |
|
8.1 The Classical Poincare Lemma |
|
|
147 | (1) |
|
8.2 Global Poincare Lemma with Optimal Regularity |
|
|
148 | (2) |
|
8.3 Some Preliminary Lemmas |
|
|
150 | (7) |
|
8.4 Poincare Lemma with Dirichlet Boundary Data |
|
|
157 | (4) |
|
8.5 Poincare Lemma with Constraints |
|
|
161 | (18) |
|
|
161 | (1) |
|
|
161 | (5) |
|
8.5.3 Some Technical Lemmas |
|
|
166 | (13) |
|
|
179 | (12) |
|
|
179 | (2) |
|
9.2 Regularity of Divergence-Free Vector Fields |
|
|
181 | (1) |
|
|
182 | (9) |
|
|
182 | (2) |
|
|
184 | (7) |
|
|
|
|
191 | (20) |
|
|
191 | (2) |
|
|
193 | (5) |
|
10.3 The Fixed Point Method |
|
|
198 | (3) |
|
10.4 Two Proofs of the Main Theorem |
|
|
201 | (8) |
|
|
201 | (5) |
|
|
206 | (3) |
|
10.5 A Constructive Method |
|
|
209 | (2) |
|
11 The Case Without Sign Hypothesis on f |
|
|
211 | (44) |
|
|
211 | (2) |
|
11.2 Remarks and Related Results |
|
|
213 | (4) |
|
11.3 Proof of the Main Result |
|
|
217 | (5) |
|
|
222 | (7) |
|
11.5 Concentration of Mass |
|
|
229 | (6) |
|
11.6 Positive Radial Integration |
|
|
235 | (20) |
|
Part IV The Case 0 ≤ k ≤ n - 1 |
|
|
|
12 General Considerations on the Flow Method |
|
|
255 | (12) |
|
12.1 Basic Properties of the Flow |
|
|
255 | (3) |
|
|
258 | (3) |
|
|
261 | (6) |
|
13 The Cases k = 0 and k = 1 |
|
|
267 | (18) |
|
13.1 The Case of 0-Forms and of Closed 1-Forms |
|
|
267 | (4) |
|
13.1.1 The Case of 0-Forms |
|
|
267 | (2) |
|
13.1.2 The Case of Closed 1-Forms |
|
|
269 | (2) |
|
13.2 Darboux Theorem for 1-Forms |
|
|
271 | (14) |
|
|
271 | (5) |
|
13.2.2 A Technical Result |
|
|
276 | (9) |
|
|
285 | (34) |
|
|
285 | (1) |
|
14.2 Local Result for Forms with Maximal Rank |
|
|
286 | (4) |
|
14.3 Local Result for Forms of Nonmaximal Rank |
|
|
290 | (2) |
|
14.3.1 The Theorem and a First Proof |
|
|
290 | (1) |
|
|
291 | (1) |
|
14.4 Global Result with Dirichlet Data |
|
|
292 | (27) |
|
|
292 | (2) |
|
|
294 | (1) |
|
14.4.3 The Key Estimate for Regularity |
|
|
295 | (7) |
|
14.4.4 The Fixed Point Method |
|
|
302 | (6) |
|
14.4.5 A First Proof of the Main Theorem |
|
|
308 | (6) |
|
14.4.6 A Second Proof of the Main Theorem |
|
|
314 | (5) |
|
15 The Case 3 ≤ k ≤ n - 1 |
|
|
319 | (16) |
|
15.1 A General Theorem for Forms of Rank = k |
|
|
319 | (2) |
|
15.2 The Case of (n - 1)-Forms |
|
|
321 | (3) |
|
15.2.1 The Case of Closed (n - 1)-Forms |
|
|
321 | (1) |
|
15.2.2 The Case of Nonclosed (n - 1)-Forms |
|
|
322 | (2) |
|
15.3 Simultaneous Resolutions and Applications |
|
|
324 | (11) |
|
15.3.1 Simultaneous Resolution for 1-Forms |
|
|
324 | (2) |
|
15.3.2 Applications to k-Forms |
|
|
326 | (9) |
|
|
|
16 Holder Continuous Functions |
|
|
335 | (72) |
|
16.1 Definitions of Continuous and Holder Continuous Functions |
|
|
335 | (6) |
|
|
335 | (3) |
|
16.1.2 Regularity of Boundaries |
|
|
338 | (1) |
|
16.1.3 Some Elementary Properties |
|
|
339 | (2) |
|
16.2 Extension of Continuous and Holder Continuous Functions |
|
|
341 | (15) |
|
16.2.1 The Main Result and Some Corollaries |
|
|
341 | (4) |
|
16.2.2 Preliminary Results |
|
|
345 | (8) |
|
16.2.3 Proof of the Main Theorem |
|
|
353 | (3) |
|
|
356 | (2) |
|
16.4 A Lower Semicontinuity Result |
|
|
358 | (1) |
|
16.5 Interpolation and Product |
|
|
359 | (10) |
|
|
359 | (7) |
|
16.5.2 Product and Quotient |
|
|
366 | (3) |
|
16.6 Composition and Inverse |
|
|
369 | (6) |
|
|
369 | (1) |
|
|
370 | (2) |
|
|
372 | (3) |
|
16.7 Difference of Composition |
|
|
375 | (11) |
|
|
376 | (1) |
|
|
377 | (7) |
|
|
384 | (2) |
|
16.8 The Smoothing Operator |
|
|
386 | (10) |
|
|
386 | (4) |
|
16.8.2 A First Application |
|
|
390 | (3) |
|
16.8.3 A Second Application |
|
|
393 | (3) |
|
16.9 Smoothing Operator for Differential Forms |
|
|
396 | (11) |
|
|
|
|
407 | (6) |
|
18 An Abstract Fixed Point Theorem |
|
|
413 | (4) |
|
|
417 | (8) |
|
19.1 Definition and Main Properties |
|
|
417 | (1) |
|
19.2 General Change of Variables Formula |
|
|
418 | (2) |
|
19.3 Local and Global Invertibility |
|
|
420 | (5) |
References |
|
425 | (4) |
Further Reading |
|
429 | (2) |
Notations |
|
431 | (4) |
Index |
|
435 | |