|
Part I Elements of Analysis of Stratified Groups |
|
|
|
Stratified Groups and Sub-Laplacians |
|
|
3 | (84) |
|
Vector Fields in RN: Exponential Maps and Lie Algebras |
|
|
3 | (10) |
|
|
3 | (3) |
|
|
6 | (2) |
|
Exponentials of Vector Fields |
|
|
8 | (2) |
|
Lie Brackets of Vector Fields in RN |
|
|
10 | (3) |
|
|
13 | (18) |
|
The Lie Algebra of a Lie Group on RN |
|
|
13 | (6) |
|
|
19 | (3) |
|
The (Jacobian) Total Gradient |
|
|
22 | (1) |
|
The Exponential Map of a Lie Group on RN |
|
|
23 | (8) |
|
Homogeneous Lie Groups on RN |
|
|
31 | (25) |
|
homogeneous Functions and Differential Operators |
|
|
32 | (6) |
|
The Composition Law of a Homogeneous Lie Group |
|
|
38 | (6) |
|
The Lie Algebra of a Homogeneous Lie Group on RN |
|
|
44 | (4) |
|
The Exponential Map of a Homogeneous Lie Group |
|
|
48 | (8) |
|
Homogeneous Carnot Groups |
|
|
56 | (6) |
|
The Sub-Laplacians on a Homogeneous Carnot Group |
|
|
62 | (11) |
|
The Horizontal L-gradient |
|
|
68 | (5) |
|
|
73 | (14) |
|
Abstract Lie Groups and Carnot Groups |
|
|
87 | (68) |
|
|
87 | (34) |
|
|
87 | (4) |
|
|
91 | (4) |
|
|
95 | (2) |
|
|
97 | (5) |
|
Commutators. φ-relatedness |
|
|
102 | (4) |
|
|
106 | (1) |
|
Left Invariant Vector Fields and the Lie Algebra |
|
|
107 | (5) |
|
|
112 | (4) |
|
|
116 | (5) |
|
|
121 | (26) |
|
Some Properties of the Stratification of a Carnot Group |
|
|
125 | (3) |
|
Some General Results on Nilpotent Lie Groups |
|
|
128 | (2) |
|
Abstract and Homogeneous Carnot Groups |
|
|
130 | (8) |
|
More Properties of the Lie Algebra |
|
|
138 | (6) |
|
Sub-Laplacians of a Stratified Group |
|
|
144 | (3) |
|
|
147 | (8) |
|
Carnot Groups of Step Two |
|
|
155 | (28) |
|
The Heisenberg-Weyl Group |
|
|
155 | (3) |
|
Homogeneous Carnot Groups of Step Two |
|
|
158 | (5) |
|
Free Step-two Homogeneous Groups |
|
|
163 | (2) |
|
|
165 | (1) |
|
The Exponential Map of a Step-two Homogeneous Group |
|
|
166 | (3) |
|
Prototype Groups of Heisenberg Type |
|
|
169 | (4) |
|
H-groups (in the Sense of Metivier) |
|
|
173 | (4) |
|
|
177 | (6) |
|
Examples of Carnot Groups |
|
|
183 | (44) |
|
A Primer of Examples of Carnot Groups |
|
|
183 | (8) |
|
|
183 | (1) |
|
Carnot Groups with Homogeneous Dimension Q ≤ 3 |
|
|
184 | (1) |
|
|
184 | (2) |
|
|
186 | (4) |
|
|
190 | (1) |
|
From a Set of Vector Fields to a Stratified Group |
|
|
191 | (7) |
|
|
198 | (12) |
|
The Vector Fields ∂1,∂2+∂3 |
|
|
198 | (2) |
|
Classical and Kohn Laplacians |
|
|
200 | (2) |
|
|
202 | (2) |
|
Kolmogorov-type Sub-Laplacians |
|
|
204 | (1) |
|
Sub-Laplacians Arising in Control Theory |
|
|
205 | (2) |
|
|
207 | (3) |
|
Fields not Satisfying One of the Hypotheses (HO), (H1), (H2) |
|
|
210 | (5) |
|
Fields not Satisfying Hypothesis (HO) |
|
|
210 | (2) |
|
Fields not Satisfying Hypothesis (H1) |
|
|
212 | (3) |
|
Fields not Satisfying Hypothesis (H2) |
|
|
215 | (1) |
|
|
215 | (12) |
|
The Fundamental Solution for a Sub-Laplacian and Applications |
|
|
227 | (110) |
|
|
229 | (3) |
|
Control Distances or Carnot-Caratheodory Distances |
|
|
232 | (4) |
|
|
236 | (10) |
|
The Fundamental Solution in the Abstract Setting |
|
|
244 | (2) |
|
L-gauges and L-radial Functions |
|
|
246 | (5) |
|
Gauge Functions and Surface Mean Value Theorem |
|
|
251 | (6) |
|
Superposition of Average Operators |
|
|
257 | (5) |
|
|
262 | (7) |
|
|
269 | (7) |
|
Asymptotic Liouville-type Theorems |
|
|
274 | (2) |
|
Sobolev-Stein Embedding Inequality |
|
|
276 | (4) |
|
Analytic Hypoellipticity of Sub-Laplacians |
|
|
280 | (7) |
|
|
287 | (4) |
|
An Integral Representation Formula for Γ |
|
|
291 | (2) |
|
Appendix A. Maximum Principles |
|
|
293 | (13) |
|
A Decomposition Theorem for L-harmonic Functions |
|
|
303 | (3) |
|
Appendix B. The Improved Pseudo-triangle Inequality |
|
|
306 | (3) |
|
Appendix C. Existence of Geodesies |
|
|
309 | (10) |
|
|
319 | (18) |
|
Part II Elements of Potential Theory for Sub-Laplacians |
|
|
|
|
337 | (44) |
|
|
338 | (2) |
|
Sheafs of Functions. Harmonic Sheafs |
|
|
340 | (5) |
|
Harmonic Measures and Hyperharmonic Functions |
|
|
341 | (1) |
|
Directed Families of Functions |
|
|
342 | (3) |
|
|
345 | (3) |
|
Directed Families of Harmonic and Hyperharmonic Functions |
|
|
347 | (1) |
|
β-hyperharmonic Functions. Minimum Principle |
|
|
348 | (5) |
|
Subharmonic and Superharmonic Functions. Perron Families |
|
|
353 | (5) |
|
Harmonic Majorants and Minorants |
|
|
358 | (1) |
|
The Perron-Wiener-Brelot Operator |
|
|
359 | (4) |
|
G-harmonic Spaces: Wiener Resolutivity Theorem |
|
|
363 | (4) |
|
Appendix: The Stone-Weierstrass Theorem |
|
|
366 | (1) |
|
H-harmonic Measures for Relatively Compact Open Sets |
|
|
367 | (3) |
|
G-harmonic Spaces: Bouligand's Theorem |
|
|
370 | (5) |
|
Reduced Functions and Balayage |
|
|
375 | (3) |
|
|
378 | (3) |
|
|
381 | (16) |
|
|
381 | (7) |
|
Some Basic Definitions and Selecta of Properties |
|
|
388 | (4) |
|
|
392 | (5) |
|
|
397 | (28) |
|
|
397 | (4) |
|
Some Characterizations of L-subharmonic Functions |
|
|
401 | (10) |
|
Continuous Convex Functions on G |
|
|
411 | (11) |
|
|
422 | (3) |
|
|
425 | (48) |
|
L-Green Function for L-regular Domains |
|
|
425 | (2) |
|
L-Green Function for General Domains |
|
|
427 | (5) |
|
Potentials of Radon Measures |
|
|
432 | (9) |
|
Potentials Related to the Average Operators |
|
|
435 | (6) |
|
Riesz Representation Theorems for L-subharmonic Functions |
|
|
441 | (4) |
|
The Poisson-Jensen Formula |
|
|
445 | (6) |
|
Bounded-above L-subharmonic Functions in G |
|
|
451 | (4) |
|
Smoothing of L-subharmonic Functions |
|
|
455 | (3) |
|
Isolated Singularities---Bocher-type Theorems |
|
|
458 | (5) |
|
An Application of Bocher's Theorem |
|
|
462 | (1) |
|
|
463 | (10) |
|
Maximum Principle on Unbounded Domains |
|
|
473 | (16) |
|
MP Sets and L-thinness at Infinity |
|
|
473 | (4) |
|
q-sets and the Maximum Principle |
|
|
477 | (5) |
|
The Maximum Principle on Unbounded Domains |
|
|
482 | (1) |
|
The Proof of Lemma 10.2.3 |
|
|
483 | (4) |
|
|
487 | (2) |
|
L-capacity, L-polar Sets and Applications |
|
|
489 | (48) |
|
The Continuity Principle for L-potentials |
|
|
489 | (2) |
|
|
491 | (3) |
|
The Maria-Frostman Domination Principle |
|
|
494 | (3) |
|
L-energy and L-equilibrium Potentials |
|
|
497 | (3) |
|
L-balayage and L-capacity |
|
|
500 | (10) |
|
The Fundamental Convergence Theorem |
|
|
510 | (4) |
|
The Extended Poisson-Jensen Formula |
|
|
514 | (5) |
|
Further Results. A Miscellanea |
|
|
519 | (8) |
|
Further Reading and the Quasi-continuity Property |
|
|
527 | (6) |
|
|
533 | (4) |
|
L-thinness and L-fine Topology |
|
|
537 | (20) |
|
The L-fine Topology: A More Intrinsic Tool |
|
|
537 | (1) |
|
|
538 | (4) |
|
L-thinness and L-regularity |
|
|
542 | (5) |
|
Functions Peaking at a Point |
|
|
542 | (2) |
|
L-thinness and L-regularity |
|
|
544 | (3) |
|
Wiener's Criterion for Sub-Laplacians |
|
|
547 | (6) |
|
|
547 | (3) |
|
|
550 | (3) |
|
|
553 | (4) |
|
d-Hausdorff Measure and L-capacity |
|
|
557 | (20) |
|
d-Hausdorff Measure and Dimension |
|
|
557 | (4) |
|
d-Hausdorff Measure and L-capacity |
|
|
561 | (8) |
|
New Phenomena Concerning the d-Hausdorff Dimension |
|
|
569 | (3) |
|
|
572 | (5) |
|
Part III Further Topics on Carnot Groups |
|
|
|
Some Remarks on Free Lie Algebras |
|
|
577 | (16) |
|
Free Lie Algebras and Free Lie Groups |
|
|
577 | (7) |
|
A Canonical Way to Construct Free Carnot Groups |
|
|
584 | (5) |
|
The Campbell-Hausdorff Composition |
|
|
584 | (2) |
|
A Canonical Way to Construct Free Carnot Groups |
|
|
586 | (3) |
|
|
589 | (4) |
|
More on the Campbell-Hausdorff Formula |
|
|
593 | (28) |
|
The Campbell-Hausdorff Formula for Stratified Fields |
|
|
593 | (6) |
|
The Campbell-Hausdorff Formula for Formal Power Series-1 |
|
|
599 | (6) |
|
The Campbell-Hausdorff Formula for Formal Power Series-2 |
|
|
605 | (5) |
|
The Campbell-Hausdorff Formula for Smooth Vector Fields |
|
|
610 | (6) |
|
|
616 | (5) |
|
Families of Diffeomorphic Sub-Laplacians |
|
|
621 | (28) |
|
An Isomorphism Turning Σi, jai, j XiXi into Σi, jai, j XiXj into ΔG |
|
|
622 | (6) |
|
Examples and Counter-examples |
|
|
628 | (9) |
|
Canonical or Non-canonical? |
|
|
637 | (7) |
|
|
641 | (3) |
|
Further Reading: An Application to PDE's |
|
|
644 | (1) |
|
|
645 | (4) |
|
|
649 | (32) |
|
Lifting to Free Carnot Groups |
|
|
649 | (10) |
|
|
659 | (2) |
|
An Example of Application to PDE's |
|
|
661 | (5) |
|
Folland's Lifting of Homogeneous Vector Fields |
|
|
666 | (10) |
|
The Hypotheses on the Vector Fields |
|
|
669 | (7) |
|
|
676 | (5) |
|
Groups of Heisenberg Type |
|
|
681 | (34) |
|
|
681 | (5) |
|
A Direct Characterization of H-type Groups |
|
|
686 | (9) |
|
The Fundamental Solution on H-type Groups |
|
|
695 | (7) |
|
H-type Groups of Iwasawa-type |
|
|
702 | (2) |
|
The H-inversion and the H-Kelvin Transform |
|
|
704 | (5) |
|
|
709 | (6) |
|
The Caratheodory-Chow-Rashevsky Theorem |
|
|
715 | (18) |
|
The Caratheodory-Chow-Rashevsky Theorem for Stratified Vector Fields |
|
|
715 | (12) |
|
An Application of Caratheodory-Chow-Rashevsky Theorem |
|
|
727 | (3) |
|
|
730 | (3) |
|
Taylor Formula on Carnot Groups |
|
|
733 | (40) |
|
Polynomials and Derivatives on Homogeneous Carnot Groups |
|
|
734 | (7) |
|
Polynomial Functions on G |
|
|
734 | (2) |
|
|
736 | (5) |
|
Taylor Polynomials on Homogeneous Carnot Groups |
|
|
741 | (5) |
|
Taylor Formula on Homogeneous Carnot Groups |
|
|
746 | (20) |
|
Stratified Taylor Formula with Peano Remainder |
|
|
751 | (3) |
|
Stratified Taylor Formula with Integral Remainder |
|
|
754 | (12) |
|
|
766 | (7) |
References |
|
773 | (16) |
Index of the Basic Notation |
|
789 | (6) |
Index |
|
795 | |