Паралельне перенесення векторів

Паралельне перенесення вектора на малу відстань

Розглянемо многовид в евклідовому просторі і точку $P$ на многовиді з координатами $u^{i}$, з цієї точки відкладемо дотичний до многовида вектор $\mathbf {a} =a^{i}\mathbf {r} _{i}$. Тепер перейдемо до близької точки ${\tilde {P}}$ на многовиді з координатами ${\tilde {u}}^{i}=u^{i}+du^{i}$. В цій точці вектор $\mathbf {a}$ вже, взагалі кажучи, не буде дотичним до многовида, оскільки дотичний до многовида афінний простір повернеться на деяку величину.

Але ми можемо розглянути ортогональну проекцію вектора $\mathbf {a}$ на цей новий дотичний афінний простір. Коваріантні координати проекції:

${\tilde {a_{i}}}=(\mathbf {a} \cdot {\tilde {\mathbf {r} }}_{i})=(\mathbf {a} \cdot (\mathbf {r} _{i}+\mathbf {r} _{ij}du^{j}))=a_{i}+(a^{s}\mathbf {r} _{s}\cdot (\Gamma _{ij}^{k}\mathbf {r} _{k}+\mathbf {b} _{ij}))du^{j}=a_{i}+\Gamma _{ij}^{k}a_{k}du^{j}$

Отже зміна коваріантних координат $da_{i}={\tilde {a}}_{i}-a_{i}$ паралельно перенесеного вектора обчислюється за формулою:

$(1)\qquad da_{i}=\Gamma _{ij}^{k}a_{k}du^{j}$

Тензорний диференціал

Можна вести поняття тензорного диференціала вектора $Da_{i}$ (аналогічно коваріантній похідній) за формулою:

$(2)\qquad Da_{i}=da_{i}-\Gamma _{ij}^{k}a_{k}du^{j}$

Тоді паралельне перенесення вектора можна записати так:

$(3)\qquad Da_{i}=0$

Тензорний диференціал (2) можна розглядати для векторів, які визначені тільки в двох близьких точках і ніде інде. Але у випадку, коли вектор $a_{i}$ визначений у деякій області многовиду довкола точки $P$, то можна розглядати також коваріантну похідну векторного поля $a_{i}$, маємо:

$(4)\qquad Da_{i}=da_{i}-\Gamma _{ij}^{k}a_{k}du^{j}=(\partial _{j}a_{i}-\Gamma _{ij}^{k}a_{k})du^{j}=\nabla _{j}a_{i}du^{j}$

Як бачимо з формули (4), тензорний диференціал від вектора є дійсно тензором, оскільки є згорткою тензора коваріантної похідної $\nabla _{j}a_{i}$ і вектора диференціала координат $du^{j}$.

Користуючись формулою (4) ми можемо поширити тензорний диференціал на тензори довільного рангу.

$DT_{j_{1}j_{2}\cdots }^{i_{1}i_{2}\cdots }=(\nabla _{s}T_{j_{1}j_{2}\cdots }^{i_{1}i_{2}\cdots })du^{s}=$

$dT_{j_{1}j_{2}\cdots }^{i_{1}i_{2}\cdots }+\Gamma _{sk}^{i_{1}}T_{j_{1}j_{2}\cdots }^{ki_{2}\cdots }du^{s}+\cdots -\Gamma _{sj_{1}}^{k}T_{kj_{2}\cdots }^{i_{1}i_{2}\cdots }du^{s}-\cdots$

Тензорний диференціал від метричного тензора дорівнює нулю:

$Dg_{ij}=dg_{ij}-\Gamma _{is}^{k}g_{kj}du^{s}-\Gamma _{js}^{k}g_{ik}du^{s}=(\nabla _{s}g_{ij})du^{s}=0$

Отже метричний тензор можна вносити і виносити за знак тензорного диференціала. Наприклад для контраваріантних координат паралельно перенесеного вектора маємо:

$\qquad Da^{i}=g^{ij}Da_{j}=0$

або аналогічну до (1) формулу:

$(5)\qquad Da^{i}=da_{i}+\Gamma _{jk}^{i}a^{j}du^{k}=0$

Звичайно, формулу (5) можна одержати і прямими обчисленнями з формули (1):

$\qquad Da_{i}=d(g_{ij}a^{j})-\Gamma _{ij,k}a^{k}du^{j}=g_{ij}da^{j}+(dg_{ik}-\Gamma _{ij,k}du^{j})a^{k}=$

$=g_{ij}da^{j}+(\partial _{j}g_{ik}-{1 \over 2}(\partial _{i}g_{jk}+\partial _{j}g_{ik}-\partial _{k}g_{ij}))a^{k}du^{j}=$

$=g_{ij}a^{j}+\Gamma _{jk;i}a^{k}du^{j}=g_{ij}(da^{j}+\Gamma _{sk}^{j}a^{k}du^{s})=g_{ij}Da^{i}=0$

Групова властивість паралельного перенесення

Якщо ми одночасно переносимо паралельно два вектора $a_{i}$ і $b^{i}$, (тобто $Da_{i}=0$, $Db^{i}=0$) то їхній скалярний добуток в процесі переносу не змінюється:

$(6)\qquad d(a_{i}b^{i})=D(a_{i}b^{i})=(Da_{i})b^{i}+a_{i}(Db^{i})=0$

Звідси робимо висновок, що при паралельному перенесенні групи векторів, довжини цих векторів, а також взаємні кути між цими векторами не змінюються.

Паралельне перенесення вздовж кривої

Формула (1) дозволяє обчислити паралельний вектор в одній близькій до $P$ точці $P_{2}$. Але ми можемо, послідовно застосовуючи формулу (1), перейти до наступної точки $P_{3}$, близької до попередньої точки $P_{2}$, тоді до $P_{4}$ і так далі, рухаючись вздовж деякої кривої.

Якщо на многовиді задано відрізок кривої лінії $u^{i}=u^{i}(t)$ з початком в точці $P$, то для знаходження координат паралельно перенесеного вектора із (1) одержуємо таке звичайне диференціальне рівняння:

$(7)\qquad {da_{i} \over dt}=\Gamma _{ij}^{k}{\dot {u}}^{j}a_{k}$

з початковими умовами:

$(8)\qquad a_{i}{\big |}_{t=0}=a_{i}{\big |}_{P}$

Координати перенесеного вектора як функціонал від кривої

Дві точки $P$ і $Q$ многовиду можна сполучити різними кривими. Для визначеності будемо вважати, що параметр $t$ кожної з цих кривих змінюється від нуля в точці $P$ до одиниці в точці $Q$. Розв'язуючи систему рівнянь (7) з початковими умовами (8) для кожної з цих кривих, ми одержимо свій набір чисел $a_{i}$ в точці $Q$. Тобто числа $a_{i}$ в точці $Q$ є функціоналом від проведеної кривої.

Дослідимо, в якому випадку цей функціонал буде постійним, незалежним від кривої — лише в цьому випадку ми зможемо говорити про вектор в точці $Q$, який паралельний вектору в точці $P$.

Для того, щоб диференційовний функціонал був константою, необхідно і достатньо щоб скрізь його перша варіація (тобто похідна) дорівнювала нулю.

Розглянемо варіацію $\delta u^{i}(t)$ кривої, що сполучає точки $P$ і $Q$. На кінцях кривої маємо:

$(9)\qquad \delta u^{i}{\big |}_{t=0}=\delta u^{i}{\big |}_{t=1}=0;\qquad \delta a^{i}{\big |}_{t=0}=0$

нам треба обчислити $\delta a_{i}{\big |}_{t=1}$

Для проведення обчислень буде зручно ввести позначення величин $q_{i}$:

$(10)\qquad q_{i}=\delta a_{i}-\Gamma _{ij}^{k}a_{k}\delta u^{j}$

Обчислюємо тензорну похідну цих величин:

${Dq_{i} \over Dt}={\dot {q}}_{i}-\Gamma _{ij}^{k}q_{k}{\dot {u}}^{j}=\delta {\dot {a}}_{i}-{d \over dt}(\Gamma _{ij}^{k}a_{k}\delta u^{j})-\Gamma _{ij}^{k}{\dot {u}}^{j}(\delta a_{k}-\Gamma _{ks}^{p}a_{p}\delta u^{s})=$

$=\delta (\Gamma _{ij}^{k}{\dot {u}}^{j}a_{k})-[({d \over dt}\Gamma _{ij}^{k})a_{k}\delta u^{j}+\Gamma _{ij}^{k}{\dot {a}}_{k}\delta u^{j}+\Gamma _{ij}^{k}a_{k}\delta {\dot {u}}^{j}]-$

$-\Gamma _{ij}^{k}{\dot {u}}^{j}\delta a_{k}+\Gamma _{ij}^{k}\Gamma _{ks}^{p}a_{p}\delta u^{s}=$

$=(\partial _{j}\Gamma _{is}^{k}-\partial _{s}\Gamma _{ij}^{k}+\Gamma _{jp}^{k}\Gamma _{is}^{p}-\Gamma _{sp}^{k}\Gamma _{ij}^{p})a_{k}{\dot {u}}^{s}\delta u^{j}$

Маємо систему лінійних диференціальних рівнянь відносно невідомих функцій $q_{i}$:

$(11)\qquad {dq_{i} \over dt}-\Gamma _{ij}^{k}{\dot {u}}^{j}q_{k}=R_{\;ijs}^{k}{\dot {u}}^{s}\delta u^{j}a_{k}$

з нульовими початковими умовами:

$(12)\qquad q_{i}{\big |}_{t=0}=0$

Паралельність за нульового тензора Рімана

Якщо тензор Рімана тотожно дорівнює нулю на всіх розглядуваних кривих, то система (10) буде однорідною, і матиме розв'язком тотожний нуль: $q_{i}(t)=0$. У цьому разі варіація функціонала координат (оскільки згідно з (9) в кінцевій точці $\delta u^{j}=0$)

$a_{i}{\big |}_{Q}=a_{i}{\big |}_{t=1}=(q_{i}+\Gamma _{ij}^{k}a_{k}\delta u^{j}){\big |}=0$

тотожно дорівнює нулю для всіх кривих (всіх аргументах функціонала), тому функціонал паралельного переносу скрізь постійний і не залежить від кривої.

Висновок: якщо в якійсь однозв'язній області многовида (або на всьому многовиді) тензор Рімана тотожно дорівнює нулю, то цій області можна побудувати векторне поле, яке утворене паралельними переносами вектора із якоїсь однієї точки цієї області. Із формули (4) тоді слідує, що тотожно

$\nabla _{j}a_{i}=0$

тобто векторне поле є постійним.

Паралельне перенесення вздовж замкнутого контура

Тепер розглянемо випадок ненульового тензора Рімана. Візьмемо ненульовий вектор $a_{i}$ в точці $P$ і здійснимо паралельний перенос цього вектора вздовж замкнутого контура. Спробуємо приблизно оцінити, на скільки перенесений вектор відрізняється від оригінального, вважаючи цю різницю малою.

Натягнемо на даний замкнутий контур двомірну поверхню $S$, і в цій поверхні проведемо послідовність все менших контурів, які мають спільну точку $P$ і стягуються в цю точку. Оскільки в формулі (11) величини $q_{k}$ малі, ми знехтуємо другим доданком в лівій частині формули (11). Приблизно:

$(13)\qquad dq_{i}\approx R_{\;ijs}^{k}du^{s}\delta u^{j}a_{k}=R_{\;ijs}^{k}a_{k}d\sigma ^{js}$

де $d\sigma ^{js}$ є елементом площі поверхні між двома сусідніми контурами. Оскільки ми вважаємо зміну вектора $a_{k}$ малою, то можемо проінтегрувати формулу (13) по всіх смугах між контурами послідовності, тобто по всій двомірній поверхні $S$, винісши $a_{k}$ за знак інтеграла:

$(14)\qquad \Delta a_{i}\approx (\int _{S}R_{\;ijs}^{k}\;d\sigma ^{js})a_{k}$

Якщо контур обмежує маленьку приблизно плоску площадку $\sigma ^{js}$, то в інтегралі формули (14) можна тензор Рімана також винести за знак інтеграла, одержуючи ще простішу наближену формулу:

$(15)\qquad \Delta a_{i}\approx R_{\;ijs}^{k}\sigma ^{js}a_{k}$

Можна також поставити перед собою задачу знайти формулу, точнішу за формулу (13). Ця задача в загальному випадку досить складна, але неважко зрозуміти, що в уточненій формулі буде шукатися не зміна вектора $\Delta a_{i}$, а ортогональна матриця перетворення векторів $U_{i}^{j}$. Дійсно, при паралельному переносі групи векторів скалярні добутки цих векторів зберігаються (формула 6). Тому довільний вектор $a_{i}$ при паралельному обході контура переходить у вектор ${\tilde {a}}_{i}$ (у тій же точці, а отже в тій самій системі координат), який знаходиться за формулою:

$(16)\qquad {\tilde {a}}_{i}=U_{i}^{j}a_{j}$

Ортогональна матриця $U_{i}^{j}$ (напевне досить складно) знаходиться як фукціонал, що залежить від контура обходу $u^{i}=u^{i}(t)$ і тензора Рімана $R_{\;ijs}^{k}$.