یک مشتق کوواریانت یک اتصال (Koszul) بر روی بسته مماس و سایر بستههای تانسور است : میدانهای برداری را به روشی مشابه با دیفرانسیل معمول در توابع متمایز میکند. این تعریف به تمایز بر روی میدانهای برداری دوگانه (یعنی میدانهای بردار ) و میدانهای تانسور دلخواه بسط مییابد ، به روشی منحصربهفرد که سازگاری با ضرب تانسور و عملیات ردیابی (انقباض تانسور) را تضمین میکند.
با توجه به یک نکتهمنیفولد، یک تابع حقیقیروی منیفولد و بردار مماس، مشتق کوواریانت f در p در امتداد v اسکالر در p است که نشان داده می شود، که نمایانگر بخش اصلی تغییر در مقدار f است که آرگومان f توسط بردار جابجایی بینهایت کوچک v تغییر می کند . (این دیفرانسیل f است که در برابر بردار v ارزیابی می شود .) به طور رسمی، یک منحنی قابل تمایز وجود دارد .به طوری کهو، و مشتق کوواریانت f در p با تعریف می شود
چه زمانییک میدان برداری استم، مشتق کوواریانت:تابعی است که با هر نقطه p در حوزه مشترک f و v اسکالر مرتبط است.
برای یک تابع اسکالر f و میدان برداری v ، مشتق کوواریانتبا مشتق لی منطبق است و با مشتق بیرونی د.
با توجه به یک نکتهپمنیفولدم، یک میدان برداریتو:م→تیپمدر همسایگی p و بردار مماس تعریف شده است، مشتق کوواریانت u در p در امتداد v بردار مماس در p است که نشان داده می شود، به گونه ای که خواص زیر برقرار است (برای هر بردار مماس v ، x و y در p ، میدانهای برداری u و w که در همسایگی p تعریف شده اند ، مقادیر اسکالر g و h در p ، و تابع اسکالر f تعریف شده در همسایگی p ):
توجه داشته باشید کهنه تنها به مقدار u در p ، بلکه به مقادیر u در همسایگی بینهایت کوچک p نیز بستگی دارد ، زیرا آخرین خاصیت، قانون ضرب است.
اگر u و v هر دو میدانهای برداری هستند که روی یک دامنه مشترک تعریف شده اند، پسنشان دهنده میدان برداری است که مقدار آن در هر نقطه p از دامنه بردار مماس است.
با توجه به میدانی از بردارها (یا یک شکل )در همسایگی p ، مشتق کوواریانت آن تعریف شده استبه گونه ای تعریف شده است که عملیات حاصل را با انقباض تانسور و قانون ضرب سازگار کند. به این معنا که،به عنوان یک شکل یکتا در p تعریف می شود به طوری که هویت زیر برای همه میدانهای برداری u در همسایگی p برآورده می شود.
مشتق کوواریانت یک میدان هم بردار در امتداد یک میدان برداری v دوباره یک میدان هم بردار است.
هنگامی که مشتق کوواریانت برای میدانهای بردارها و بردارها تعریف شد، می توان برای میدان های تانسور دلخواه با اعمال هویت های زیر برای هر جفت میدان تانسوری تعریف کرد.ودر همسایگی نقطه p :
و برایوبا همان ظرفیت
مشتق کوواریانس یک میدان تانسوری در امتداد یک میدان برداری v دوباره یک میدان تانسوری از همان نوع است.
به صراحت، فرض کنید T یک میدان تانسوری از نوع ( p , q ) باشد . T را یک نقشه چندخطی قابل تمایز از مقاطع صاف α 1 ، α 2 ، ...، α q از بسته همتازی T ∗ M و از بخش های X 1 ، X 2 ، ...، X p از دسته مماس TM در نظر بگیرید . , T ( α 1 , α 2 , ..., X 1 , X 2 , ...) به R نوشته شده است . مشتق کوواریانت T در امتداد Y با فرمول داده می شود
ریاضیات...
برچسب : نویسنده : 9math1342d بازدید : 48