H-princip (čti popel-princip ) je obecný způsob řešení parciálních diferenciálních rovnic a obecněji parciálních diferenciálních vztahů. H-princip je dobrý pro nedostatečně určené systémy, jako jsou ty, které se objevují v problémech s ponořením , izometrické ponoření a další.
Tato teorie se zformovala v dílech Eliashberga , Gromova a Phillipse.
Základem byly dřívější výsledky, ve kterých bylo řešení diferenciálních vztahů redukováno na homotopii, zejména v problémech s imerzí.
První myšlenky h-principu se objevily ve Whitney-Graussteinově teorému , sphere everzní paradoxu , Nash-Kuiperově teorému a Smale-Hirschově teorému .
Řekněme, že chceme najít funkci , která splňuje parciální diferenciální rovnici stupně v souřadnicích . Tuto rovnici lze zapsat jako
kde znamená všechny parciální derivace až do mocniny . Místo každé proměnné do dosadíme nezávislou proměnnou Naši původní rovnici lze považovat za systém
a množství rovnic následujícího typu
Řešení rovnice
se nazývá formální nebo neholonomní řešení , řešení soustavy (které je řešením naší původní rovnice) se nazývá holonomní řešení .
Aby mohlo existovat holonomní řešení, musí existovat neholonomní řešení. Obvykle je to druhé poměrně snadné zkontrolovat, a pokud není, pak naše původní rovnice nemá řešení.
Říká se , že PDE splňuje h-princip , jestliže jakékoli neholonomní řešení může být deformováno na holonomní ve třídě neholonomních řešení. Když je tedy h-princip splněn, diferenciálně-topologický problém se redukuje na algebraický a topologický problém. Přesněji to znamená, že kromě topologických neexistují žádné další překážky pro existenci holonomních řešení. Topologický problém nalezení neholonomního řešení je obvykle mnohem jednodušší.
Mnoho podurčených parciálních diferenciálních rovnic vyhovuje h-principu.
Zajímavým tvrzením je také nenaplnění h-principu pro určitou rovnici, intuitivně to znamená, že zkoumané objekty mají netriviální geometrii, kterou nelze redukovat na topologii. Příkladem je Lagrangiánské vložení do symplektického manifoldu ; nesplňují h-princip, aby to dokázali, používají invarianty založené na pseudoholomorfních křivkách.
Představte si auto pohybující se v letadle. Poloha vozu v rovině je určena třemi parametry: dvěma souřadnicemi a (například tyto souřadnice určují polohu středu mezi zadními koly) a úhlem , který popisuje orientaci vozu. V pohybu vůz splňuje rovnici
za předpokladu, že se vozidlo pohybuje bez smyku.
Neholonomní řešení v tomto případě odpovídá pohybu vozu vlivem klouzání v rovině. V tomto případě jsou neholonomní řešení nejen homotopická k holonomním, ale jsou také libovolně dobře aproximována holonomními (toho lze dosáhnout pohybem tam a zpět, jako při paralelním parkování na omezeném prostoru) - všimněte si, že v v tomto případě jsou poloha i směr vozu aproximovány libovolně blízko. Druhá vlastnost je silnější než obecný h-princip; nazývá se to hustý h-princip .
Zde je několik neintuitivních výsledků , které lze prokázat aplikací h-principu: