• logo

พิกัดความโค้ง

ในรูปทรงเรขาคณิต , curvilinear พิกัดเป็นระบบพิกัดสำหรับพื้นที่ Euclideanซึ่งในสายการประสานงานอาจจะโค้ง พิกัดเหล่านี้อาจได้มาจากชุดของพิกัดคาร์ทีเซียนโดยใช้การแปลงที่เปลี่ยนในเครื่องได้ (แผนที่แบบหนึ่งต่อหนึ่ง) ในแต่ละจุด ซึ่งหมายความว่าเราสามารถแปลงจุดที่กำหนดในระบบพิกัดคาร์ทีเซียนเป็นพิกัดโค้งและย้อนกลับได้ ชื่อพิกัดความโค้งกำหนดโดยนักคณิตศาสตร์ชาวฝรั่งเศสLaméเกิดขึ้นจากข้อเท็จจริงที่ว่าพื้นผิวพิกัดของระบบเส้นโค้งนั้นโค้ง

Curvilinear (บน) affine (ขวา) และ Cartesian (ซ้าย) พิกัดในพื้นที่สองมิติ

ตัวอย่างที่รู้จักกันดีของระบบพิกัดความโค้งในปริภูมิสามมิติแบบยุคลิด ( R 3 ) คือพิกัดทรงกระบอกและทรงกลม คาร์ทีเซียนประสานงานพื้นผิวในพื้นที่นี้เป็นเครื่องบินประสานงาน ; ตัวอย่างเช่นz = 0 กำหนดระนาบx - y ในพื้นที่เดียวกัน พื้นผิวพิกัดr = 1 ในพิกัดทรงกลมคือพื้นผิวของหน่วยทรงกลมซึ่งเป็นส่วนโค้ง รูปแบบของพิกัดโค้งให้คำอธิบายแบบรวมและทั่วไปของระบบพิกัดมาตรฐาน

curvilinear พิกัดมักจะถูกใช้ในการกำหนดสถานที่หรือการกระจายของปริมาณทางกายภาพซึ่งอาจจะยกตัวอย่างเช่นสเกลา , เวกเตอร์หรือเทนเซอร์ นิพจน์ทางคณิตศาสตร์ที่เกี่ยวข้องกับปริมาณเหล่านี้ในการวิเคราะห์เวกเตอร์แคลคูลัสและเทนเซอร์ (เช่น เกรเดียนท์ ไดเวอร์เจนซ์เคิร์ล และลาปลาเซียน ) สามารถแปลงจากระบบพิกัดหนึ่งเป็นอีกระบบหนึ่งได้ ตามกฎการแปลงสำหรับสเกลาร์ เวกเตอร์ และเทนเซอร์ นิพจน์ดังกล่าวจะใช้ได้กับระบบพิกัดโค้งใดๆ

ระบบพิกัดโค้งอาจใช้งานได้ง่ายกว่าระบบพิกัดคาร์ทีเซียนสำหรับบางแอพพลิเคชั่น การเคลื่อนที่ของอนุภาคภายใต้อิทธิพลของแรงจากศูนย์กลางมักจะแก้ได้ง่ายกว่าในพิกัดทรงกลมมากกว่าพิกัดคาร์ทีเซียน นี่คือความจริงของปัญหาทางกายภาพหลายคนที่มีความสมมาตรทรงกลมที่กำหนดไว้ในR 3 สมการที่มีเงื่อนไขขอบเขตที่เป็นไปตามพื้นผิวพิกัดสำหรับระบบพิกัดความโค้งเฉพาะอาจแก้ได้ง่ายกว่าในระบบนั้น ในขณะที่บางคนอาจอธิบายการเคลื่อนที่ของอนุภาคในกล่องสี่เหลี่ยมโดยใช้พิกัดคาร์ทีเซียน การเคลื่อนที่ในทรงกลมนั้นง่ายกว่าด้วยพิกัดทรงกลม พิกัดทรงกลมเป็นโค้งที่พบมากที่สุดระบบการประสานงานและมีการใช้ในวิทยาศาสตร์โลก , แผนที่ , กลศาสตร์ควอนตัม , สัมพัทธภาพและวิศวกรรม

พิกัดความโค้งมุมฉากในสามมิติ

พิกัด ฐาน และเวกเตอร์

รูปที่ 1 - พิกัดพื้นผิว เส้นพิกัด และแกนพิกัดของพิกัดส่วนโค้งทั่วไป
รูปที่ 2 - พิกัดพื้นผิว เส้นพิกัด และแกนพิกัดของพิกัดทรงกลม พื้นผิว: r - ทรงกลม, θ - กรวย, φ - ครึ่งระนาบ; เส้น: r - คานตรง, θ - ครึ่งวงกลมแนวตั้ง, φ - วงกลมแนวนอน; แกน: r - คานตรง, θ - แทนเจนต์ถึงครึ่งวงกลมแนวตั้ง, φ - แทนเจนต์ถึงวงกลมแนวนอน

สำหรับตอนนี้พิจารณา3-D พื้นที่ จุดPในพื้นที่ 3 มิติ (หรือเวกเตอร์ตำแหน่ง r ) สามารถกำหนดได้โดยใช้พิกัดคาร์ทีเซียน ( x , y , z ) [เขียนเทียบเท่า ( x 1 , x 2 , x 3 )] โดย r = x อี x + y อี y + z อี z {\displaystyle \mathbf {r} =x\mathbf {e} _{x}+y\mathbf {e} _{y}+z\mathbf {e} _{z}} \mathbf{r} = x \mathbf{e}_x + y\mathbf{e}_y + z\mathbf{e}_zที่อีx , E Y , อีซีเป็นพื้นฐานมาตรฐานเวกเตอร์

นอกจากนี้ยังสามารถกำหนดได้ด้วยพิกัดโค้ง ( q 1 , q 2 , q 3 ) หากตัวเลขสามตัวนี้กำหนดจุดเดียวในลักษณะที่ชัดเจน ความสัมพันธ์ระหว่างพิกัดนั้นถูกกำหนดโดยฟังก์ชันการแปลงกลับด้าน:

x = ฉ 1 ( q 1 , q 2 , q 3 ) , y = ฉ 2 ( q 1 , q 2 , q 3 ) , z = ฉ 3 ( q 1 , q 2 , q 3 ) {\displaystyle x=f^{1}(q^{1},q^{2},q^{3}),\,y=f^{2}(q^{1},q^{2 },q^{3}),\,z=f^{3}(q^{1},q^{2},q^{3})} {\displaystyle x=f^{1}(q^{1},q^{2},q^{3}),\,y=f^{2}(q^{1},q^{2},q^{3}),\,z=f^{3}(q^{1},q^{2},q^{3})}
q 1 = ก 1 ( x , y , z ) , q 2 = ก 2 ( x , y , z ) , q 3 = ก 3 ( x , y , z ) {\displaystyle q^{1}=g^{1}(x,y,z),\,q^{2}=g^{2}(x,y,z),\,q^{3} =g^{3}(x,y,z)} {\displaystyle q^{1}=g^{1}(x,y,z),\,q^{2}=g^{2}(x,y,z),\,q^{3}=g^{3}(x,y,z)}

พื้นผิวq 1 = ค่าคงที่q 2 = ค่าคงที่q 3 = ค่าคงที่ เรียกว่าพื้นผิวพิกัด ; และเส้นโค้งพื้นที่ที่เกิดขึ้นจากการตัดกันของพวกเขาเป็นคู่เรียกว่าประสานงานโค้ง แกนพิกัดจะถูกกำหนดโดยเสียบ้างเพื่อพิกัดเส้นโค้งที่จุดตัดของสามพื้นผิว พวกมันไม่ได้อยู่ในทิศทางคงที่ทั่วไปในอวกาศ ซึ่งเป็นกรณีของพิกัดคาร์ทีเซียนอย่างง่าย ดังนั้นจึงไม่มีพื้นฐานระดับโลกตามธรรมชาติสำหรับพิกัดโค้ง

ในระบบคาร์ทีเซียน เวกเตอร์พื้นฐานมาตรฐานสามารถหาได้จากอนุพันธ์ของตำแหน่งของจุดPเทียบกับพิกัดท้องถิ่น

อี x = ∂ r ∂ x ; อี y = ∂ r ∂ y ; อี z = ∂ r ∂ z . {\displaystyle \mathbf {e} _{x}={\dfrac {\partial \mathbf {r} }{\partial x}};\;\mathbf {e} _{y}={\dfrac {\partial \mathbf {r} }{\partial y}};\;\mathbf {e} _{z}={\dfrac {\partial \mathbf {r} }{\partial z}}.} \mathbf{e}_x = \dfrac{\partial\mathbf{r}}{\partial x}; \;
\mathbf{e}_y = \dfrac{\partial\mathbf{r}}{\partial y}; \;
\mathbf{e}_z = \dfrac{\partial\mathbf{r}}{\partial z}.

การใช้อนุพันธ์เดียวกันกับระบบเส้นโค้ง ณ จุดPกำหนดเวกเตอร์พื้นฐานทางธรรมชาติ:

ห่า 1 = ∂ r ∂ q 1 ; ห่า 2 = ∂ r ∂ q 2 ; ห่า 3 = ∂ r ∂ q 3 . {\displaystyle \mathbf {h} _{1}={\dfrac {\partial \mathbf {r} }{\partial q^{1}}};\;\mathbf {h} _{2}={\ dfrac {\partial \mathbf {r} }{\partial q^{2}}};\;\mathbf {h} _{3}={\dfrac {\partial \mathbf {r} }{\partial q^ {3}}}.} {\displaystyle \mathbf {h} _{1}={\dfrac {\partial \mathbf {r} }{\partial q^{1}}};\;\mathbf {h} _{2}={\dfrac {\partial \mathbf {r} }{\partial q^{2}}};\;\mathbf {h} _{3}={\dfrac {\partial \mathbf {r} }{\partial q^{3}}}.}

พื้นฐานดังกล่าวซึ่งเป็นพาหะเปลี่ยนทิศทางและ / หรือขนาดจากจุดหนึ่งไปจุดของพวกเขาจะเรียกว่าเป็นพื้นฐานในท้องถิ่น ฐานทั้งหมดที่เกี่ยวข้องกับพิกัดโค้งนั้นจำเป็นต้องอยู่ในพื้นที่ เวกเตอร์พื้นฐานที่เหมือนกันในทุกจุดที่มีฐานทั่วโลกและสามารถนำมาเกี่ยวข้องกับเส้นหรือเลียนแบบระบบพิกัด

สำหรับบทความนี้eสงวนไว้สำหรับพื้นฐานมาตรฐาน (คาร์ทีเซียน) และhหรือbสำหรับพื้นฐานโค้ง

สิ่งเหล่านี้อาจไม่มีความยาวหน่วยและอาจไม่ใช่มุมฉาก ในกรณีที่พวกมันเป็นมุมฉากในทุกจุดที่อนุพันธ์ถูกกำหนดไว้อย่างดี เราจะกำหนดสัมประสิทธิ์ลาเม (หลังGabriel Lamé ) โดย

ห่า 1 = | ห่า 1 | ; ห่า 2 = | ห่า 2 | ; ห่า 3 = | ห่า 3 | {\displaystyle h_{1}=|\mathbf {h} _{1}|;\;h_{2}=|\mathbf {h} _{2}|;\;h_{3}=|\mathbf { h} _{3}|} h_1 = |\mathbf{h}_1|; \; h_2 = |\mathbf{h}_2|; \; h_3 = |\mathbf{h}_3|

และเวกเตอร์พื้นฐานทางออร์โธนอร์มอลส่วนโค้งโดย

ข 1 = ห่า 1 ห่า 1 ; ข 2 = ห่า 2 ห่า 2 ; ข 3 = ห่า 3 ห่า 3 . {\displaystyle \mathbf {b} _{1}={\dfrac {\mathbf {h} _{1}}{h_{1}}};\;\mathbf {b} _{2}={\dfrac {\mathbf {h} _{2}}{h_{2}}};\;\mathbf {b} _{3}={\dfrac {\mathbf {h} _{3}}{h_{3} }}.} \mathbf{b}_1 = \dfrac{\mathbf{h}_1}{h_1}; \;
\mathbf{b}_2 = \dfrac{\mathbf{h}_2}{h_2}; \;
\mathbf{b}_3 = \dfrac{\mathbf{h}_3}{h_3}.

เวกเตอร์พื้นฐานเหล่านี้อาจขึ้นอยู่กับตำแหน่งของP ; ดังนั้นจึงจำเป็นที่จะไม่ถือว่าค่าคงที่ทั่วทั้งภูมิภาค (ในทางเทคนิคแล้วเป็นพื้นฐานสำหรับมัดแทนเจนต์ของ R 3 {\displaystyle \mathbb {R} ^{3}} \mathbb {R} ^{3}ที่Pและท้องถิ่นสำหรับP )

โดยทั่วไป พิกัดโค้งอนุญาตให้มีเวกเตอร์พื้นฐานตามธรรมชาติh ฉันไม่ได้ตั้งฉากซึ่งกันและกัน และไม่จำเป็นต้องมีความยาวหน่วย: พวกมันสามารถมีขนาดและทิศทางได้ตามอำเภอใจ การใช้ฐานตั้งฉากทำให้การปรับเวกเตอร์ง่ายกว่าแบบที่ไม่ใช่มุมฉาก อย่างไรก็ตามฟิสิกส์และวิศวกรรมบางพื้นที่โดยเฉพาะอย่างยิ่งกลศาสตร์ของไหลและกลศาสตร์ต่อเนื่องต้องใช้ฐานที่ไม่ใช่มุมฉากเพื่ออธิบายการเสียรูปและการขนส่งของไหลเพื่ออธิบายการพึ่งพาปริมาณทางกายภาพที่ซับซ้อนในเชิงทิศทาง การอภิปรายกรณีทั่วไปจะปรากฏในหน้านี้ในภายหลัง

แคลคูลัสเวกเตอร์

องค์ประกอบที่แตกต่าง

ในพิกัดโค้งมุมฉาก เนื่องจากการเปลี่ยนแปลงส่วนต่างทั้งหมดในr is

d r = ∂ r ∂ q 1 d q 1 + ∂ r ∂ q 2 d q 2 + ∂ r ∂ q 3 d q 3 = ห่า 1 d q 1 ข 1 + ห่า 2 d q 2 ข 2 + ห่า 3 d q 3 ข 3 {\displaystyle d\mathbf {r} ={\dfrac {\partial \mathbf {r} }{\partial q^{1}}}dq^{1}+{\dfrac {\partial \mathbf {r} } {\partial q^{2}}}dq^{2}+{\dfrac {\partial \mathbf {r} }{\partial q^{3}}}dq^{3}=h_{1}dq^ {1}\mathbf {b} _{1}+h_{2}dq^{2}\mathbf {b} _{2}+h_{3}dq^{3}\mathbf {b} _{3} } {\displaystyle d\mathbf {r} ={\dfrac {\partial \mathbf {r} }{\partial q^{1}}}dq^{1}+{\dfrac {\partial \mathbf {r} }{\partial q^{2}}}dq^{2}+{\dfrac {\partial \mathbf {r} }{\partial q^{3}}}dq^{3}=h_{1}dq^{1}\mathbf {b} _{1}+h_{2}dq^{2}\mathbf {b} _{2}+h_{3}dq^{3}\mathbf {b} _{3}}

ตัวประกอบมาตราส่วนคือ ห่า ผม = | ∂ r ∂ q ผม | {\displaystyle h_{i}=\left|{\frac {\partial \mathbf {r} }{\partial q^{i}}}\right|} {\displaystyle h_{i}=\left|{\frac {\partial \mathbf {r} }{\partial q^{i}}}\right|}

ในพิกัดที่ไม่ใช่มุมฉากความยาวของ d r = d q 1 ห่า 1 + d q 2 ห่า 2 + d q 3 ห่า 3 {\displaystyle d\mathbf {r} =dq^{1}\mathbf {h} _{1}+dq^{2}\mathbf {h} _{2}+dq^{3}\mathbf {h} _{3}} {\displaystyle d\mathbf {r} =dq^{1}\mathbf {h} _{1}+dq^{2}\mathbf {h} _{2}+dq^{3}\mathbf {h} _{3}} เป็นรากที่สองที่เป็นบวกของ d r ⋅ d r = d q ผม d q เจ ห่า ผม ⋅ ห่า เจ {\displaystyle d\mathbf {r} \cdot d\mathbf {r} =dq^{i}dq^{j}\mathbf {h} _{i}\cdot \mathbf {h} _{j}} {\displaystyle d\mathbf {r} \cdot d\mathbf {r} =dq^{i}dq^{j}\mathbf {h} _{i}\cdot \mathbf {h} _{j}}(ด้วยแบบแผนการบวกของไอน์สไตน์ ) ผลิตภัณฑ์สเกลาอิสระหกกรัมIJ = Hฉัน h jของเวกเตอร์พื้นฐานทางธรรมชาติสรุปปัจจัยมาตราส่วนสามตัวที่กำหนดไว้ข้างต้นสำหรับพิกัดมุมฉาก เก้าg ijเป็นส่วนประกอบของเมตริกซ์ซึ่งมีองค์ประกอบที่ไม่ใช่ศูนย์เพียงสามองค์ประกอบในพิกัดมุมฉาก: g 11 = h 1 h 1 , g 22 = h 2 h 2 , g 33 = h 3 h 3 .

ค่าความแปรปรวนร่วมและฐานตรงกันข้าม

เวกเตอร์ v ( สีแดง ) แทนด้วย • ฐานเวกเตอร์ ( สีเหลือง , ซ้าย: e 1 , e 2 , e 3 ) เวกเตอร์แทนเจนต์เพื่อประสานเส้นโค้ง ( สีดำ ) และ • ฐานโคเวคเตอร์หรือโคบาซิส ( สีน้ำเงิน , ขวา: e 1 , e 2 , e 3 ) เวกเตอร์ปกติเพื่อประสานพื้นผิว ( สีเทา ) โดยทั่วไป (ไม่จำเป็นต้องเป็น มุมฉาก ) พิกัดเส้นโค้ง ( q 1 , q 2 , q 3 ) พื้นฐานและโคบาซิสไม่ตรงกันเว้นแต่ระบบพิกัดจะเป็นมุมฉาก [1]

การไล่ระดับสีเชิงพื้นที่ ระยะทาง อนุพันธ์ของเวลา และปัจจัยมาตราส่วนสัมพันธ์กันภายในระบบพิกัดโดยเวกเตอร์พื้นฐานสองกลุ่ม:

  1. เวกเตอร์พื้นฐานที่สัมผัสกันเฉพาะที่กับเส้นทางพิกัดที่เกี่ยวข้อง:
    ข ผม = ∂ r ∂ q ผม {\displaystyle \mathbf {b} _{i}={\dfrac {\partial \mathbf {r} }{\partial q^{i}}}} {\displaystyle \mathbf {b} _{i}={\dfrac {\partial \mathbf {r} }{\partial q^{i}}}}
    ซึ่งแปลงเป็นเวกเตอร์ร่วม (แสดงด้วยดัชนีที่ลดลง) หรือ
  2. เวกเตอร์พื้นฐานที่ปกติในเครื่องสำหรับ isosurface ที่สร้างโดยพิกัดอื่น:
    ข ผม = ∇ q ผม {\displaystyle \mathbf {b} ^{i}=\nabla q^{i}} {\displaystyle \mathbf {b} ^{i}=\nabla q^{i}}
    ซึ่งแปลงเช่นเวกเตอร์ contravariant (แสดงโดยดัชนียก) ∇เป็นเดล ผู้ประกอบการ

ดังนั้น ระบบพิกัดความโค้งทั่วไปจึงมีเวกเตอร์ฐานสองชุดสำหรับทุกจุด: { b 1 , b 2 , b 3 } คือค่าโควาเรียนต์พื้นฐาน และ { b 1 , b 2 , b 3 } คือสิ่งที่ตรงกันข้าม (aka reciprocal) พื้นฐาน ชนิดเวกเตอร์พื้นฐานแบบโควาเรียนต์และคอนทราแวเรียนท์มีทิศทางเหมือนกันสำหรับระบบพิกัดความโค้งมุมฉาก แต่ตามปกติจะมีหน่วยกลับด้านที่สัมพันธ์กัน

สังเกตความเท่าเทียมกันที่สำคัญดังต่อไปนี้:

ข ผม ⋅ ข เจ = δ เจ ผม {\displaystyle \mathbf {b} ^{i}\cdot \mathbf {b} _{j}=\delta _{j}^{i}}  \mathbf{b}^i\cdot\mathbf{b}_j = \delta^i_j

นั้น δ เจ ผม {\displaystyle \delta _{j}^{i}}  \delta^i_j หมายถึงKronecker deltaทั่วไป

หลักฐาน

ในระบบพิกัดคาร์ทีเซียน ( อี x , อี y , อี z ) {\displaystyle (\mathbf {e} _{x},\mathbf {e} _{y},\mathbf {e} _{z})}  ( \mathbf{e}_x , \mathbf{e}_y, \mathbf{e}_z ) เราสามารถเขียนผลคูณดอทเป็น:

ข ผม ⋅ ข เจ = ( ∂ x ∂ q ผม , ∂ y ∂ q ผม , ∂ z ∂ q ผม ) ⋅ ( ∂ q เจ ∂ x , ∂ q เจ ∂ y , ∂ q เจ ∂ z ) = ∂ x ∂ q ผม ∂ q เจ ∂ x + ∂ y ∂ q ผม ∂ q เจ ∂ y + ∂ z ∂ q ผม ∂ q เจ ∂ z {\displaystyle \mathbf {b} _{i}\cdot \mathbf {b} ^{j}=({\dfrac {\partial x}{\partial q_{i}}},{\dfrac {\partial y }{\partial q_{i}}},{\dfrac {\partial z}{\partial q_{i}}})\cdot ({\dfrac {\partial q_{j}}{\partial x}}, {\dfrac {\partial q_{j}}{\partial y}},{\dfrac {\partial q_{j}}{\partial z}})={\dfrac {\partial x}{\partial q_{ i}}}{\dfrac {\partial q_{j}}{\partial x}}+{\dfrac {\partial y}{\partial q_{i}}}{\dfrac {\partial q_{j}} {\partial y}}+{\dfrac {\partial z}{\partial q_{i}}}{\dfrac {\partial q_{j}}{\partial z}}} {\displaystyle \mathbf {b} _{i}\cdot \mathbf {b} ^{j}=({\dfrac {\partial x}{\partial q_{i}}},{\dfrac {\partial y}{\partial q_{i}}},{\dfrac {\partial z}{\partial q_{i}}})\cdot ({\dfrac {\partial q_{j}}{\partial x}},{\dfrac {\partial q_{j}}{\partial y}},{\dfrac {\partial q_{j}}{\partial z}})={\dfrac {\partial x}{\partial q_{i}}}{\dfrac {\partial q_{j}}{\partial x}}+{\dfrac {\partial y}{\partial q_{i}}}{\dfrac {\partial q_{j}}{\partial y}}+{\dfrac {\partial z}{\partial q_{i}}}{\dfrac {\partial q_{j}}{\partial z}}}

พิจารณาการกระจัดเล็กน้อย d r = d x ⋅ อี x + d y ⋅ อี y + d z ⋅ อี z {\displaystyle d\mathbf {r} =dx\cdot \mathbf {e} _{x}+dy\cdot \mathbf {e} _{y}+dz\cdot \mathbf {e} _{z}}  d \mathbf{r} = dx \cdot \mathbf{e}_x + dy \cdot \mathbf{e}_y + dz \cdot \mathbf{e}_z . ให้ dq 1 , dq 2และ dq 3แสดงการเปลี่ยนแปลงเล็กน้อยที่สอดคล้องกันในพิกัดโค้ง q 1 , q 2และ q 3ตามลำดับ

ตามกฎลูกโซ่ dq 1สามารถแสดงเป็น:

d q 1 = ∂ q 1 ∂ x d x + ∂ q 1 ∂ y d y + ∂ q 1 ∂ z d z = ∂ q 1 ∂ x d x + ∂ q 1 ∂ y ( ∂ y ∂ q 1 d q 1 + ∂ y ∂ q 2 d q 2 + ∂ y ∂ q 3 d q 3 ) + ∂ q 1 ∂ z ( ∂ z ∂ q 1 d q 1 + ∂ z ∂ q 2 d q 2 + ∂ z ∂ q 3 d q 3 ) {\displaystyle dq_{1}={\dfrac {\partial q_{1}}{\partial x}}dx+{\dfrac {\partial q_{1}}{\partial y}}dy+{\dfrac {\partial q_{1}}{\partial z}}dz={\dfrac {\partial q_{1}}{\partial x}}dx+{\dfrac {\partial q_{1}}{\partial y}}({ \dfrac {\partial y}{\partial q_{1}}}dq_{1}+{\dfrac {\partial y}{\partial q_{2}}}dq_{2}+{\dfrac {\partial y }{\partial q_{3}}}dq_{3})+{\dfrac {\partial q_{1}}{\partial z}}({\dfrac {\partial z}{\partial q_{1}} }dq_{1}+{\dfrac {\partial z}{\partial q_{2}}}dq_{2}+{\dfrac {\partial z}{\partial q_{3}}}dq_{3}) }  dq_1 = \dfrac {\partial q_1} {\partial x} dx + \dfrac {\partial q_1} {\partial y} dy + \dfrac {\partial q_1} {\partial z} dz
= \dfrac {\partial q_1} {\partial x} dx + \dfrac {\partial q_1} {\partial y} (\dfrac {\partial y} {\partial q_1} dq_1 + \dfrac {\partial y} {\partial q_2} dq_2 + \dfrac {\partial y} {\partial q_3} dq_3) + \dfrac {\partial q_1} {\partial z} (\dfrac {\partial z} {\partial q_1} dq_1 + \dfrac {\partial z} {\partial q_2} dq_2 + \dfrac {\partial z} {\partial q_3} dq_3)

หากการกระจัด d rเป็นเช่นนั้น dq 2 = dq 3 = 0 นั่นคือเวกเตอร์ตำแหน่งrเคลื่อนที่ด้วยจำนวนที่น้อยมากตามแกนพิกัด q 2 =const และ q 3 =const ดังนั้น:

d q 1 = ∂ q 1 ∂ x d x + ∂ q 1 ∂ y ∂ y ∂ q 1 d q 1 + ∂ q 1 ∂ z ∂ z ∂ q 1 d q 1 {\displaystyle dq_{1}={\dfrac {\partial q_{1}}{\partial x}}dx+{\dfrac {\partial q_{1}}{\partial y}}{\dfrac {\partial y }{\partial q_{1}}}dq_{1}+{\dfrac {\partial q_{1}}{\partial z}}{\dfrac {\partial z}{\partial q_{1}}}dq_ {1}}  dq_1 = \dfrac {\partial q_1} {\partial x} dx + \dfrac {\partial q_1} {\partial y} \dfrac {\partial y} {\partial q_1} dq_1 + \dfrac {\partial q_1} {\partial z} \dfrac {\partial z} {\partial q_1} dq_1

หารด้วย dq 1และรับขีด จำกัด dq 1 → 0:

1 = ∂ q 1 ∂ x ∂ x ∂ q 1 + ∂ q 1 ∂ y ∂ y ∂ q 1 + ∂ q 1 ∂ z ∂ z ∂ q 1 = ∂ x ∂ q 1 ∂ q 1 ∂ x + ∂ y ∂ q 1 ∂ q 1 ∂ y + ∂ z ∂ q 1 ∂ q 1 ∂ z {\displaystyle 1={\dfrac {\partial q_{1}}{\partial x}}{\dfrac {\partial x}{\partial q_{1}}}+{\dfrac {\partial q_{1} }{\partial y}}{\dfrac {\partial y}{\partial q_{1}}}+{\dfrac {\partial q_{1}}{\partial z}}{\dfrac {\partial z} {\partial q_{1}}}={\dfrac {\partial x}{\partial q_{1}}}{\dfrac {\partial q_{1}}{\partial x}}+{\dfrac {\ บางส่วน y}{\partial q_{1}}}{\dfrac {\partial q_{1}}{\partial y}}+{\dfrac {\partial z}{\partial q_{1}}}{\dfrac {\partial q_{1}}{\partial z}}}  1 = \dfrac {\partial q_1} {\partial x} \dfrac {\partial x} {\partial q_1} + \dfrac {\partial q_1} {\partial y} \dfrac {\partial y} {\partial q_1} + \dfrac {\partial q_1} {\partial z} \dfrac {\partial z} {\partial q_1} = \dfrac {\partial x} {\partial q_1} \dfrac {\partial q_1} {\partial x} + \dfrac {\partial y} {\partial q_1} \dfrac {\partial q_1} {\partial y} + \dfrac {\partial z} {\partial q_1} \dfrac {\partial q_1} {\partial z}

หรือเทียบเท่า:

ข 1 ⋅ ข 1 = 1 {\displaystyle \mathbf {b} _{1}\cdot \mathbf {b} ^{1}=1} {\displaystyle \mathbf {b} _{1}\cdot \mathbf {b} ^{1}=1}

ตอนนี้ถ้าการกระจัด d rเป็นเช่นนั้น dq 1 =dq 3 =0 นั่นคือเวกเตอร์ตำแหน่งrเคลื่อนที่ด้วยจำนวนที่น้อยมากตามแกนพิกัด q 1 =const และ q 3 =const ดังนั้น:

0 = ∂ q 1 ∂ x d x + ∂ q 1 ∂ y ∂ y ∂ q 2 d q 2 + ∂ q 1 ∂ z ∂ z ∂ q 2 d q 2 {\displaystyle 0={\dfrac {\partial q_{1}}{\partial x}}dx+{\dfrac {\partial q_{1}}{\partial y}}{\dfrac {\partial y}{\ q_{2}}}dq_{2}+{\dfrac {\partial q_{1}}{\partial z}}{\dfrac {\partial z}{\partial q_{2}}}dq_{2} บางส่วน }  0 = \dfrac {\partial q_1} {\partial x} dx + \dfrac {\partial q_1} {\partial y} \dfrac {\partial y} {\partial q_2} dq_2 + \dfrac {\partial q_1} {\partial z} \dfrac {\partial z} {\partial q_2} dq_2

หารด้วย dq 2และรับขีด จำกัด dq 2 → 0:

0 = ∂ q 1 ∂ x ∂ x ∂ q 2 + ∂ q 1 ∂ y ∂ y ∂ q 2 + ∂ q 1 ∂ z ∂ z ∂ q 2 = ∂ x ∂ q 2 ∂ q 1 ∂ x + ∂ y ∂ q 2 ∂ q 1 ∂ y + ∂ z ∂ q 2 ∂ q 1 ∂ z {\displaystyle 0={\dfrac {\partial q_{1}}{\partial x}}{\dfrac {\partial x}{\partial q_{2}}}+{\dfrac {\partial q_{1} }{\partial y}}{\dfrac {\partial y}{\partial q_{2}}}+{\dfrac {\partial q_{1}}{\partial z}}{\dfrac {\partial z} {\partial q_{2}}}={\dfrac {\partial x}{\partial q_{2}}}{\dfrac {\partial q_{1}}{\partial x}}+{\dfrac {\ บางส่วน y}{\partial q_{2}}}{\dfrac {\partial q_{1}}{\partial y}}+{\dfrac {\partial z}{\partial q_{2}}}{\dfrac {\partial q_{1}}{\partial z}}}  0 = \dfrac {\partial q_1} {\partial x} \dfrac {\partial x} {\partial q_2} + \dfrac {\partial q_1} {\partial y} \dfrac {\partial y} {\partial q_2} + \dfrac {\partial q_1} {\partial z} \dfrac {\partial z} {\partial q_2} = \dfrac {\partial x} {\partial q_2} \dfrac {\partial q_1} {\partial x} + \dfrac {\partial y} {\partial q_2} \dfrac {\partial q_1} {\partial y} + \dfrac {\partial z} {\partial q_2} \dfrac {\partial q_1} {\partial z}

หรือเทียบเท่า:

ข 2 ⋅ ข 1 = 0 {\displaystyle \mathbf {b} _{2}\cdot \mathbf {b} ^{1}=0} {\displaystyle \mathbf {b} _{2}\cdot \mathbf {b} ^{1}=0}

และอื่นๆ สำหรับดอทโปรดัคอื่นๆ

หลักฐานทางเลือก:

δ เจ ผม d q เจ = d q ผม = ∇ q ผม ⋅ d r = ข ผม ⋅ ∂ r ∂ q เจ d q เจ = ข ผม ⋅ ข เจ d q เจ {\displaystyle \delta _{j}^{i}dq^{j}=dq^{i}=\nabla q^{i}\cdot d\mathbf {r} =\mathbf {b} ^{i} \cdot {\dfrac {\partial \mathbf {r} }{\partial q^{j}}}dq^{j}=\mathbf {b} ^{i}\cdot \mathbf {b} _{j} dq^{j}} {\displaystyle \delta _{j}^{i}dq^{j}=dq^{i}=\nabla q^{i}\cdot d\mathbf {r} =\mathbf {b} ^{i}\cdot {\dfrac {\partial \mathbf {r} }{\partial q^{j}}}dq^{j}=\mathbf {b} ^{i}\cdot \mathbf {b} _{j}dq^{j}}

และอนุสัญญาการรวมของไอน์สไตน์เป็นนัย

เวกเตอร์vสามารถระบุได้ในเงื่อนไขอย่างใดอย่างหนึ่ง เช่น

วี = วี 1 ข 1 + วี 2 ข 2 + วี 3 ข 3 = วี 1 ข 1 + วี 2 ข 2 + วี 3 ข 3 {\displaystyle \mathbf {v} =v^{1}\mathbf {b} _{1}+v^{2}\mathbf {b} _{2}+v^{3}\mathbf {b} _ {3}=v_{1}\mathbf {b} ^{1}+v_{2}\mathbf {b} ^{2}+v_{3}\mathbf {b} ^{3}}  \mathbf{v} = v^1\mathbf{b}_1 + v^2\mathbf{b}_2 + v^3\mathbf{b}_3 = v_1\mathbf{b}^1 + v_2\mathbf{b}^2 + v_3\mathbf{b}^3

โดยใช้แบบแผนการบวกของไอน์สไตน์ เวกเตอร์พื้นฐานสัมพันธ์กับส่วนประกอบโดย[2] ( pp30–32 )

วี ⋅ ข ผม = วี k ข k ⋅ ข ผม = วี k δ k ผม = วี ผม {\displaystyle \mathbf {v} \cdot \mathbf {b} ^{i}=v^{k}\mathbf {b} _{k}\cdot \mathbf {b} ^{i}=v^{k }\เดลต้า _{k}^{i}=v^{i}}  \mathbf{v}\cdot\mathbf{b}^i = v^k\mathbf{b}_k\cdot\mathbf{b}^i = v^k\delta^i_k = v^i
วี ⋅ ข ผม = วี k ข k ⋅ ข ผม = วี k δ ผม k = วี ผม {\displaystyle \mathbf {v} \cdot \mathbf {b} _{i}=v_{k}\mathbf {b} ^{k}\cdot \mathbf {b} _{i}=v_{k}\ เดลต้า _{i}^{k}=v_{i}}  \mathbf{v}\cdot\mathbf{b}_i = v_k\mathbf{b}^k\cdot\mathbf{b}_i = v_k\delta_i^k = v_i

และ

วี ⋅ ข ผม = วี k ข k ⋅ ข ผม = ก k ผม วี k {\displaystyle \mathbf {v} \cdot \mathbf {b} _{i}=v^{k}\mathbf {b} _{k}\cdot \mathbf {b} _{i}=g_{ki} วี^{k}}  \mathbf{v}\cdot\mathbf{b}_i = v^k\mathbf{b}_k\cdot\mathbf{b}_i = g_{ki}v^k
วี ⋅ ข ผม = วี k ข k ⋅ ข ผม = ก k ผม วี k {\displaystyle \mathbf {v} \cdot \mathbf {b} ^{i}=v_{k}\mathbf {b} ^{k}\cdot \mathbf {b} ^{i}=g^{ki} v_{k}}  \mathbf{v}\cdot\mathbf{b}^i = v_k\mathbf{b}^k\cdot\mathbf{b}^i = g^{ki}v_k

โดยที่gคือเมตริกซ์ (ดูด้านล่าง)

เวกเตอร์สามารถระบุได้ด้วยพิกัดความแปรปรวนร่วม (ดัชนีล่าง เขียนv k ) หรือพิกัดที่ขัดแย้งกัน (ดัชนีที่เพิ่มขึ้น เขียนv k ) จากผลรวมเวกเตอร์ข้างต้น จะเห็นได้ว่าพิกัดที่ขัดแย้งกันนั้นสัมพันธ์กับเวกเตอร์พื้นฐานของความแปรปรวนร่วม และพิกัดความแปรปรวนร่วมนั้นสัมพันธ์กับเวกเตอร์พื้นฐานที่ขัดแย้งกัน

ลักษณะสำคัญของการแสดงเวกเตอร์และเทนเซอร์ในแง่ขององค์ประกอบที่จัดทำดัชนีและเวกเตอร์พื้นฐานคือค่าคงที่ในแง่ที่ว่าองค์ประกอบเวกเตอร์ที่แปลงในลักษณะที่แปรปรวนร่วม (หรือลักษณะที่ตรงกันข้าม) ถูกจับคู่กับเวกเตอร์พื้นฐานที่แปลงในลักษณะที่ขัดแย้งกัน (หรือ ลักษณะร่วม).

บูรณาการ

การสร้างพื้นฐาน covariant ในมิติเดียว

รูปที่ 3 – การเปลี่ยนแปลงของค่าความแปรปรวนร่วมในท้องถิ่นในกรณีของพิกัดความโค้งทั่วไป

พิจารณาโค้งหนึ่งมิติที่แสดงในรูป. 3. ที่จุดP , นำมาเป็นแหล่งกำเนิด , xเป็นหนึ่งในพิกัดคาร์ทีเซียนและQ 1เป็นหนึ่งใน curvilinear พิกัด ท้องถิ่น (ที่ไม่ใช่หน่วย) พื้นฐานเวกเตอร์เป็นข1 (notated ชั่วโมง1ข้างต้นกับขสงวนไว้สำหรับเวกเตอร์หน่วย) และมันถูกสร้างขึ้นบนQ 1แกนซึ่งเป็นสัมผัสที่ประสานงานสายที่จุดP แกนq 1และเวกเตอร์b 1ทำให้เกิดมุม form α {\displaystyle \alpha } \alpha กับคาร์ทีเซียนxแกนและคาร์ทีเซียนพื้นฐานเวกเตอร์อี 1

เห็นได้จากสามเหลี่ยมPABว่า

cos ⁡ α = | อี 1 | | ข 1 | ⇒ | อี 1 | = | ข 1 | cos ⁡ α {\displaystyle \cos \alpha ={\cfrac {|\mathbf {e} _{1}|}{|\mathbf {b} _{1}|}}\quad \Rightarrow \quad |\mathbf {e} _{1}|=|\mathbf {b} _{1}|\cos \alpha }  \cos \alpha = \cfrac{|\mathbf{e}_1|}{|\mathbf{b}_1|} \quad \Rightarrow \quad |\mathbf{e}_1| = |\mathbf{b}_1|\cos \alpha

ที่ไหน | อี1 |, | b 1 | มีขนาดของสองเวกเตอร์พื้นฐานเช่นการดักสเกลาPBและPA PAเป็นเส้นโครงของb 1บนแกนxด้วย

อย่างไรก็ตาม วิธีการนี้สำหรับการแปลงเวกเตอร์พื้นฐานโดยใช้โคไซน์แบบมีทิศทางไม่สามารถนำมาใช้กับพิกัดโค้งได้ด้วยเหตุผลดังต่อไปนี้:

  1. โดยการเพิ่มระยะห่างจากPมุมระหว่างเส้นโค้งq 1และแกนคาร์ทีเซียนx จะเบี่ยงเบนจาก α {\displaystyle \alpha } \alpha .
  2. ที่ระยะทางPBมุมจริงคือมุมที่แทนเจนต์ที่จุด Cก่อตัวด้วยแกนxและมุมหลังแตกต่างอย่างชัดเจนจาก α {\displaystyle \alpha } \alpha .

มุมที่เส้นq 1และแกนนั้นก่อตัวขึ้นโดยมีแกนx มีค่าใกล้เคียงกัน มุมที่ใกล้จะเคลื่อนไปยังจุดPและมีค่าเท่ากันทุกประการที่P

ให้จุดEอยู่ใกล้กับPมากจนใกล้จนระยะทางPEนั้นน้อยมาก แล้วPEวัดในคิว1แกนเกือบจะเกิดขึ้นพร้อมกับPEวัดในคิว1บรรทัด ในขณะเดียวกัน อัตราส่วนPD/PE ( PDคือเส้นโครงของPEบนแกนx ) เกือบจะเท่ากับ cos ⁡ α {\displaystyle \cos \alpha } {\displaystyle \cos \alpha }.

ให้ตัดขนาดเล็กกระจิริดPDและPEจะมีข้อความตามลำดับเนื่องจากDXและ d Q 1 แล้ว

cos ⁡ α = d x d q 1 = | อี 1 | | ข 1 | {\displaystyle \cos \alpha ={\cfrac {dx}{dq^{1}}}={\frac {|\mathbf {e} _{1}|}{|\mathbf {b} _{1} |}}} \cos \alpha = \cfrac{dx}{dq^1} = \frac{|\mathbf{e}_1|}{|\mathbf{b}_1|}.

ดังนั้น โคไซน์เชิงทิศทางจึงสามารถแทนที่ในการแปลงด้วยอัตราส่วนที่แม่นยำยิ่งขึ้นระหว่างจุดตัดพิกัดที่มีขนาดเล็กที่สุด เป็นไปตามองค์ประกอบ (การฉายภาพ) ของb 1บนแกนxคือ

พี 1 = ข 1 ⋅ อี 1 | อี 1 | = | ข 1 | | อี 1 | | อี 1 | cos ⁡ α = | ข 1 | d x d q 1 ⇒ พี 1 | ข 1 | = d x d q 1 {\displaystyle p^{1}=\mathbf {b} _{1}\cdot {\cfrac {\mathbf {e} _{1}}{|\mathbf {e} _{1}|}}=| \mathbf {b} _{1}|{\cfrac {|\mathbf {e} _{1}|}{|\mathbf {e} _{1}|}}\cos \alpha =|\mathbf {b } _{1}|{\cfrac {dx}{dq^{1}}}\quad \Rightarrow \quad {\cfrac {p^{1}}{|\mathbf {b} _{1}|}} ={\cfrac {dx}{dq^{1}}}} p^1 = \mathbf{b}_1\cdot\cfrac{\mathbf{e}_1}{|\mathbf{e}_1|} = |\mathbf{b}_1|\cfrac{|\mathbf{e}_1|}{|\mathbf{e}_1|}\cos\alpha = |\mathbf{b}_1|\cfrac{dx}{dq^1} \quad \Rightarrow \quad \cfrac{p^1}{|\mathbf{b}_1|} = \cfrac{dx}{dq^1}.

ถ้าq i = q i ( x 1 , x 2 , x 3 ) และx i = x i ( q 1 , q 2 , q 3 ) เป็นฟังก์ชันที่ราบรื่น (สามารถหาอนุพันธ์ได้อย่างต่อเนื่อง) อัตราส่วนการแปลงสามารถเขียนได้เป็น ∂ q ผม ∂ x เจ {\displaystyle {\cfrac {\partial q^{i}}{\partial x_{j}}}} \cfrac{\partial q^i}{\partial x_j} และ ∂ x ผม ∂ q เจ {\displaystyle {\cfrac {\partial x_{i}}{\partial q^{j}}}} \cfrac{\partial x_i}{\partial q^j}. นั่นคืออัตราส่วนเหล่านี้เป็นอนุพันธ์บางส่วนของพิกัดที่เป็นของระบบหนึ่งเทียบกับพิกัดที่เป็นของระบบอื่น

การสร้างพื้นฐานร่วมในสามมิติ

ทำเช่นเดียวกันกับพิกัดในอีก 2 มิติที่เหลือb 1สามารถแสดงเป็น:

ข 1 = พี 1 อี 1 + พี 2 อี 2 + พี 3 อี 3 = ∂ x 1 ∂ q 1 อี 1 + ∂ x 2 ∂ q 1 อี 2 + ∂ x 3 ∂ q 1 อี 3 {\displaystyle \mathbf {b} _{1}=p^{1}\mathbf {e} _{1}+p^{2}\mathbf {e} _{2}+p^{3}\mathbf {e} _{3}={\cfrac {\partial x_{1}}{\partial q^{1}}}\mathbf {e} _{1}+{\cfrac {\partial x_{2}} {\partial q^{1}}}\mathbf {e} _{2}+{\cfrac {\partial x_{3}}{\partial q^{1}}}\mathbf {e} _{3} } 
\mathbf{b}_1 = p^1\mathbf{e}_1 + p^2\mathbf{e}_2 + p^3\mathbf{e}_3 = \cfrac{\partial x_1}{\partial q^1} \mathbf{e}_1 + \cfrac{\partial x_2}{\partial q^1} \mathbf{e}_2 + \cfrac{\partial x_3}{\partial q^1} \mathbf{e}_3

สมการที่คล้ายกันถือสำหรับb 2และb 3เพื่อให้พื้นฐานมาตรฐาน { e 1 , e 2 , e 3 } ถูกแปลงเป็นฐานท้องถิ่น (เรียงลำดับและทำให้เป็นมาตรฐาน ) { b 1 , b 2 , b 3 } โดยระบบต่อไปนี้ของ สมการ:

ข 1 = ∂ x 1 ∂ q 1 อี 1 + ∂ x 2 ∂ q 1 อี 2 + ∂ x 3 ∂ q 1 อี 3 ข 2 = ∂ x 1 ∂ q 2 อี 1 + ∂ x 2 ∂ q 2 อี 2 + ∂ x 3 ∂ q 2 อี 3 ข 3 = ∂ x 1 ∂ q 3 อี 1 + ∂ x 2 ∂ q 3 อี 2 + ∂ x 3 ∂ q 3 อี 3 {\displaystyle {\begin{aligned}\mathbf {b} _{1}&={\cfrac {\partial x_{1}}{\partial q^{1}}}\mathbf {e} _{1} +{\cfrac {\partial x_{2}}{\partial q^{1}}}\mathbf {e} _{2}+{\cfrac {\partial x_{3}}{\partial q^{1 }}}\mathbf {e} _{3}\\\mathbf {b} _{2}&={\cfrac {\partial x_{1}}{\partial q^{2}}}\mathbf {e } _{1}+{\cfrac {\partial x_{2}}{\partial q^{2}}}\mathbf {e} _{2}+{\cfrac {\partial x_{3}}{\ บางส่วน q^{2}}}\mathbf {e} _{3}\\\mathbf {b} _{3}&={\cfrac {\partial x_{1}}{\partial q^{3}} }\mathbf {e} _{1}+{\cfrac {\partial x_{2}}{\partial q^{3}}}\mathbf {e} _{2}+{\cfrac {\partial x_{ 3}}{\partial q^{3}}}\mathbf {e} _{3}\end{aligned}}} \begin{align} \mathbf{b}_1 & = \cfrac{\partial x_1}{\partial q^1} \mathbf{e}_1 + \cfrac{\partial x_2}{\partial q^1} \mathbf{e}_2 + \cfrac{\partial x_3}{\partial q^1} \mathbf{e}_3 \\ \mathbf{b}_2 & = \cfrac{\partial x_1}{\partial q^2} \mathbf{e}_1 + \cfrac{\partial x_2}{\partial q^2} \mathbf{e}_2 + \cfrac{\partial x_3}{\partial q^2} \mathbf{e}_3 \\ \mathbf{b}_3 & = \cfrac{\partial x_1}{\partial q^3} \mathbf{e}_1 + \cfrac{\partial x_2}{\partial q^3} \mathbf{e}_2 + \cfrac{\partial x_3}{\partial q^3} \mathbf{e}_3
\end{align}

โดยการให้เหตุผลคล้ายคลึงกัน เราสามารถรับการแปลงผกผันจากพื้นฐานเฉพาะที่เป็นพื้นฐานมาตรฐาน:

อี 1 = ∂ q 1 ∂ x 1 ข 1 + ∂ q 2 ∂ x 1 ข 2 + ∂ q 3 ∂ x 1 ข 3 อี 2 = ∂ q 1 ∂ x 2 ข 1 + ∂ q 2 ∂ x 2 ข 2 + ∂ q 3 ∂ x 2 ข 3 อี 3 = ∂ q 1 ∂ x 3 ข 1 + ∂ q 2 ∂ x 3 ข 2 + ∂ q 3 ∂ x 3 ข 3 {\displaystyle {\begin{aligned}\mathbf {e} _{1}&={\cfrac {\partial q^{1}}{\partial x_{1}}}\mathbf {b} _{1} +{\cfrac {\partial q^{2}}{\partial x_{1}}}\mathbf {b} _{2}+{\cfrac {\partial q^{3}}{\partial x_{1 }}}\mathbf {b} _{3}\\\mathbf {e} _{2}&={\cfrac {\partial q^{1}}{\partial x_{2}}}\mathbf {b } _{1}+{\cfrac {\partial q^{2}}{\partial x_{2}}}\mathbf {b} _{2}+{\cfrac {\partial q^{3}}{ \partial x_{2}}}\mathbf {b} _{3}\\\mathbf {e} _{3}&={\cfrac {\partial q^{1}}{\partial x_{3}} }\mathbf {b} _{1}+{\cfrac {\partial q^{2}}{\partial x_{3}}}\mathbf {b} _{2}+{\cfrac {\partial q^ {3}}{\partial x_{3}}}\mathbf {b} _{3}\end{aligned}}} \begin{align} \mathbf{e}_1 & = \cfrac{\partial q^1}{\partial x_1} \mathbf{b}_1 + \cfrac{\partial q^2}{\partial x_1} \mathbf{b}_2 + \cfrac{\partial q^3}{\partial x_1} \mathbf{b}_3 \\ \mathbf{e}_2 & = \cfrac{\partial q^1}{\partial x_2} \mathbf{b}_1 + \cfrac{\partial q^2}{\partial x_2} \mathbf{b}_2 + \cfrac{\partial q^3}{\partial x_2} \mathbf{b}_3 \\ \mathbf{e}_3 & = \cfrac{\partial q^1}{\partial x_3} \mathbf{b}_1 + \cfrac{\partial q^2}{\partial x_3} \mathbf{b}_2 + \cfrac{\partial q^3}{\partial x_3} \mathbf{b}_3
\end{align}

จาโคเบียนแห่งการเปลี่ยนแปลง

ระบบสมการเชิงเส้นข้างต้นสามารถเขียนในรูปแบบเมทริกซ์โดยใช้แบบแผนการบวกของไอน์สไตน์เป็น

∂ x ผม ∂ q k อี ผม = ข k , ∂ q ผม ∂ x k ข ผม = อี k {\displaystyle {\cfrac {\partial x_{i}}{\partial q^{k}}}\mathbf {e} _{i}=\mathbf {b} _{k},\quad {\cfrac { \partial q^{i}}{\partial x_{k}}}\mathbf {b} _{i}=\mathbf {e} _{k}} \cfrac{\partial x_i}{\partial q^k} \mathbf{e}_i = \mathbf{b}_k, \quad \cfrac{\partial q^i}{\partial x_k} \mathbf{b}_i = \mathbf{e}_k.

นี้เมทริกซ์ค่าสัมประสิทธิ์ของระบบเชิงเส้นเป็นเมทริกซ์จาโคเบียน (และผกผันของมัน) ของการเปลี่ยนแปลง สมการเหล่านี้เป็นสมการที่สามารถใช้ในการแปลงฐานคาร์ทีเซียนเป็นฐานโค้ง และในทางกลับกัน

ในสามมิติ รูปแบบขยายของเมทริกซ์เหล่านี้คือ

เจ = [ ∂ x 1 ∂ q 1 ∂ x 1 ∂ q 2 ∂ x 1 ∂ q 3 ∂ x 2 ∂ q 1 ∂ x 2 ∂ q 2 ∂ x 2 ∂ q 3 ∂ x 3 ∂ q 1 ∂ x 3 ∂ q 2 ∂ x 3 ∂ q 3 ] , เจ − 1 = [ ∂ q 1 ∂ x 1 ∂ q 1 ∂ x 2 ∂ q 1 ∂ x 3 ∂ q 2 ∂ x 1 ∂ q 2 ∂ x 2 ∂ q 2 ∂ x 3 ∂ q 3 ∂ x 1 ∂ q 3 ∂ x 2 ∂ q 3 ∂ x 3 ] {\displaystyle \mathbf {J} ={\begin{bmatrix}{\cfrac {\partial x_{1}}{\partial q^{1}}}&{\cfrac {\partial x_{1}}{\ q^{2}}}บางส่วน&{\cfrac {\partial x_{1}}{\partial q^{3}}}\\{\cfrac {\partial x_{2}}{\partial q^{1 }}}&{\cfrac {\partial x_{2}}{\partial q^{2}}}&{\cfrac {\partial x_{2}}{\partial q^{3}}}\\{ \cfrac {\partial x_{3}}{\partial q^{1}}}&{\cfrac {\partial x_{3}}{\partial q^{2}}}&{\cfrac {\partial x_ {3}}{\partial q^{3}}}\\\end{bmatrix}},\quad \mathbf {J} ^{-1}={\begin{bmatrix}{\cfrac {\partial q^ {1}}{\partial x_{1}}}&{\cfrac {\partial q^{1}}{\partial x_{2}}}&{\cfrac {\partial q^{1}}{\ บางส่วน x_{3}}}\\{\cfrac {\partial q^{2}}{\partial x_{1}}}&{\cfrac {\partial q^{2}}{\partial x_{2} }}&{\cfrac {\partial q^{2}}{\partial x_{3}}}\\{\cfrac {\partial q^{3}}{\partial x_{1}}}&{\ cfrac {\partial q^{3}}{\partial x_{2}}}&{\cfrac {\partial q^{3}}{\partial x_{3}}}\\\end{bmatrix}}} 
\mathbf{J} = \begin{bmatrix} \cfrac{\partial x_1}{\partial q^1} & \cfrac{\partial x_1}{\partial q^2} & \cfrac{\partial x_1}{\partial q^3} \\ \cfrac{\partial x_2}{\partial q^1} & \cfrac{\partial x_2}{\partial q^2} & \cfrac{\partial x_2}{\partial q^3} \\ \cfrac{\partial x_3}{\partial q^1} & \cfrac{\partial x_3}{\partial q^2} & \cfrac{\partial x_3}{\partial q^3} \\ \end{bmatrix},\quad
\mathbf{J}^{-1} = \begin{bmatrix} \cfrac{\partial q^1}{\partial x_1} & \cfrac{\partial q^1}{\partial x_2} & \cfrac{\partial q^1}{\partial x_3} \\ \cfrac{\partial q^2}{\partial x_1} & \cfrac{\partial q^2}{\partial x_2} & \cfrac{\partial q^2}{\partial x_3} \\ \cfrac{\partial q^3}{\partial x_1} & \cfrac{\partial q^3}{\partial x_2} & \cfrac{\partial q^3}{\partial x_3} \\ \end{bmatrix}

ในการแปลงผกผัน (ระบบสมการที่สอง) ค่านิรนามเป็นเวกเตอร์ฐานโค้ง สำหรับตำแหน่งเฉพาะใดๆ จะมีเวกเตอร์พื้นฐานได้เพียงชุดเดียวเท่านั้น (มิฉะนั้น พื้นฐานจะไม่ได้กำหนดไว้อย่างชัดเจน ณ จุดนั้น) เงื่อนไขนี้จะเป็นที่พอใจก็ต่อเมื่อระบบสมการมีคำตอบเดียว ในพีชคณิตเชิงเส้น ระบบสมการเชิงเส้นมีคำตอบเดียว (ไม่สำคัญ) ต่อเมื่อดีเทอร์มีแนนต์ของเมทริกซ์ระบบไม่เป็นศูนย์:

det ( เจ − 1 ) ≠ 0 {\displaystyle \det(\mathbf {J} ^{-1})\neq 0}  \det(\mathbf{J}^{-1}) \neq 0

ซึ่งแสดงเหตุผลเบื้องหลังข้อกำหนดข้างต้นเกี่ยวกับดีเทอร์มิแนนต์จาโคเบียนผกผัน

ลักษณะทั่วไปเป็นnมิติ

พิธีการขยายไปสู่มิติใด ๆ ที่ จำกัด ดังต่อไปนี้

พิจารณาจริง ยุคลิด nพื้นที่มิติที่เป็นR n = R × R × ... × R ( nครั้ง) ที่Rคือชุดของตัวเลขจริงและ×หมายถึงผลิตภัณฑ์ Cartesianซึ่งเป็นปริภูมิเวกเตอร์

พิกัดของพื้นที่นี้สามารถแสดงโดย: x = ( x 1 , x 2 , ... , x n ) เนื่องจากนี่คือเวกเตอร์ (องค์ประกอบของเวคเตอร์สเปซ) จึงสามารถเขียนได้ดังนี้:

x = Σ ผม = 1 น x ผม อี ผม {\displaystyle \mathbf {x} =\sum _{i=1}^{n}x_{i}\mathbf {e} ^{i}}  \mathbf{x} = \sum_{i=1}^n x_i\mathbf{e}^i

โดยที่e 1 = (1,0,0...,0), e 2 = (0,1,0,0,0), e 3 = (0,0,1...,0),. .., e n = (0,0,0...,1) เป็นชุดพื้นฐานมาตรฐานของเวกเตอร์สำหรับช่องว่างR nและi = 1, 2,... nเป็นส่วนประกอบการติดฉลากดัชนี เวกเตอร์แต่ละตัวมีองค์ประกอบเดียวในแต่ละมิติ (หรือ "แกน") และมีมุมฉากร่วมกัน( ตั้งฉาก ) และทำให้เป็นมาตรฐาน (มีหน่วยขนาด )

โดยทั่วไปแล้ว เราสามารถกำหนดเวกเตอร์พื้นฐานb iเพื่อให้พวกมันขึ้นอยู่กับq = ( q 1 , q 2 ,..., q n ) นั่นคือพวกมันเปลี่ยนจากจุดหนึ่งไปยังอีกจุดหนึ่ง: b i = b i ( q ) ในกรณีที่กำหนดจุดxเดียวกันในแง่ของพื้นฐานทางเลือกนี้: พิกัดที่เกี่ยวกับพื้นฐานนี้v iก็จำเป็นต้องขึ้นอยู่กับxด้วย นั่นคือv i = v i ( x ) จากนั้นเวกเตอร์vในพื้นที่นี้ เทียบกับพิกัดทางเลือกและเวกเตอร์พื้นฐานเหล่านี้ สามารถขยายเป็นผลรวมเชิงเส้นในฐานนี้ (ซึ่งหมายถึงการคูณเวกเตอร์ พื้นฐานแต่ละตัวe iด้วยจำนวนv ผม – การคูณสเกลาร์ ):

วี = Σ เจ = 1 น วี ¯ เจ ข เจ = Σ เจ = 1 น วี ¯ เจ ( q ) ข เจ ( q ) {\displaystyle \mathbf {v} =\sum _{j=1}^{n}{\bar {v}}^{j}\mathbf {b} _{j}=\sum _{j=1} ^{n}{\bar {v}}^{j}(\mathbf {q} )\mathbf {b} _{j}(\mathbf {q} )}  \mathbf{v} = \sum_{j=1}^n \bar{v}^j\mathbf{b}_j = \sum_{j=1}^n \bar{v}^j(\mathbf{q})\mathbf{b}_j(\mathbf{q})

ผลรวมเวกเตอร์ที่อธิบายvในฐานใหม่ประกอบด้วยเวกเตอร์ที่แตกต่างกัน แม้ว่าผลรวมจะยังคงเหมือนเดิม

การแปลงพิกัด

จากมุมมองที่กว้างกว่าและเป็นนามธรรมมากขึ้น ระบบพิกัดโค้งเป็นเพียงแพทช์พิกัดบนท่อร่วม E n ( ช่องว่างแบบยูคลิดมิติ n ) ที่เป็นดิฟเฟโอมอร์ฟิคไปยังแพทช์พิกัดคาร์ทีเซียนบนท่อร่วม [3]แผ่นแปะพิกัดดิฟเฟโอมอร์ฟิคสองแผ่นบนท่อร่วมต่าง ๆ ไม่จำเป็นต้องทับซ้อนกัน ด้วยคำจำกัดความง่ายๆ ของระบบพิกัดโค้ง ผลลัพธ์ทั้งหมดที่ตามมาด้านล่างเป็นเพียงการประยุกต์ใช้ทฤษฎีบทมาตรฐานในโทโพโลยีดิฟเฟอเรนเชียล

ฟังก์ชั่นการเปลี่ยนแปลงดังกล่าวว่ามีความสัมพันธ์แบบหนึ่งต่อหนึ่งระหว่างจุดใน "เก่า" และพิกัด "ใหม่" ที่เป็นฟังก์ชั่นเหล่านี้จะbijectionsและตอบสนองความต้องการต่อไปของพวกเขาภายในโดเมน :

  1. เป็นฟังก์ชันที่ราบรื่น : q i = q i ( x )
  2. ผกผันจาโคเบียนปัจจัย
    เจ − 1 = | ∂ q 1 ∂ x 1 ∂ q 1 ∂ x 2 ⋯ ∂ q 1 ∂ x น ∂ q 2 ∂ x 1 ∂ q 2 ∂ x 2 ⋯ ∂ q 2 ∂ x น ⋮ ⋮ ⋱ ⋮ ∂ q น ∂ x 1 ∂ q น ∂ x 2 ⋯ ∂ q น ∂ x น | ≠ 0 {\displaystyle J^{-1}={\begin{vmatrix}{\dfrac {\partial q^{1}}{\partial x_{1}}}&{\dfrac {\partial q^{1}} {\partial x_{2}}}&\cdots &{\dfrac {\partial q^{1}}{\partial x_{n}}}\\{\dfrac {\partial q^{2}}{\ บางส่วน x_{1}}}&{\dfrac {\partial q^{2}}{\partial x_{2}}}&\cdots &{\dfrac {\partial q^{2}}{\partial x_{ n}}}\\\vdots &\vdots &\ddots &\vdots \\{\dfrac {\partial q^{n}}{\partial x_{1}}}&{\dfrac {\partial q^{ n}}{\partial x_{2}}}&\cdots &{\dfrac {\partial q^{n}}{\partial x_{n}}}\end{vmatrix}}\neq 0}  J^{-1}=\begin{vmatrix}
\dfrac{\partial q^1}{\partial x_1} & \dfrac{\partial q^1}{\partial x_2} & \cdots & \dfrac{\partial q^1}{\partial x_n} \\
\dfrac{\partial q^2}{\partial x_1} & \dfrac{\partial q^2}{\partial x_2} & \cdots & \dfrac{\partial q^2}{\partial x_n} \\
\vdots & \vdots & \ddots & \vdots \\
\dfrac{\partial q^n}{\partial x_1} & \dfrac{\partial q^n}{\partial x_2} & \cdots & \dfrac{\partial q^n}{\partial x_n}
\end{vmatrix} \neq 0

    ไม่เป็นศูนย์ หมายถึงการแปลงแบบกลับด้านได้ : x i ( q )

    ตามทฤษฎีบทฟังก์ชันผกผัน เงื่อนไขว่าดีเทอร์มิแนนต์ของจาโคเบียนไม่ใช่ศูนย์สะท้อนถึงข้อเท็จจริงที่ว่าพื้นผิวทั้งสามจากตระกูลต่างๆ ตัดกันในจุดเดียวและจุดเดียวเท่านั้น และด้วยเหตุนี้จึงกำหนดตำแหน่งของจุดนี้ในลักษณะเฉพาะ [4]

พีชคณิตเวกเตอร์และเทนเซอร์ในพิกัดโค้งสามมิติ

หมายเหตุ: ใช้หลักการสรุปของไอน์สไตน์ในการบวกดัชนีซ้ำกันด้านล่าง

เวกเตอร์เบื้องต้นและพีชคณิตเทนเซอร์ในพิกัดโค้งถูกนำมาใช้ในวรรณคดีทางวิทยาศาสตร์ที่เก่ากว่าในด้านกลศาสตร์และฟิสิกส์และอาจขาดไม่ได้ในการทำความเข้าใจงานตั้งแต่ต้นและกลางปี ​​1900 เช่น ข้อความโดย Green และ Zerna [5]ความสัมพันธ์ที่เป็นประโยชน์บางอย่างในพีชคณิตของเวกเตอร์และเทนเซอร์อันดับสองในพิกัดโค้งแสดงไว้ในส่วนนี้ สัญกรณ์และเนื้อหาส่วนใหญ่มาจาก Ogden, [6] Naghdi, [7] Simmonds, [2] Green and Zerna, [5] Basar และ Weichert, [8]และ Ciarlet [9]

เทนเซอร์ในพิกัดโค้ง

เทนเซอร์อันดับสองสามารถแสดงเป็น

ส = ส ผม เจ ข ผม ⊗ ข เจ = ส ผม เจ ข ผม ⊗ ข เจ = ส ผม เจ ข ผม ⊗ ข เจ = ส ผม เจ ข ผม ⊗ ข เจ {\displaystyle {\boldsymbol {S}}=S^{ij}\mathbf {b} _{i}\otimes \mathbf {b} _{j}=S^{i}{}_{j}\mathbf {b} _{i}\otimes \mathbf {b} ^{j}=S_{i}{}^{j}\mathbf {b} ^{i}\otimes \mathbf {b} _{j}= S_{ij}\mathbf {b} ^{i}\otimes \mathbf {b} ^{j}}  \boldsymbol{S} = S^{ij}\mathbf{b}_i\otimes\mathbf{b}_j = S^i{}_j\mathbf{b}_i\otimes\mathbf{b}^j = S_i{}^j\mathbf{b}^i\otimes\mathbf{b}_j = S_{ij}\mathbf{b}^i\otimes\mathbf{b}^j

ที่ไหน ⊗ {\displaystyle \scriptstyle \otimes } \scriptstyle\otimesหมายถึงเมตริกซ์ผลิตภัณฑ์ ส่วนประกอบS IJจะเรียกว่าcontravariantส่วนประกอบS ฉัน เจขวา covariant ผสมส่วนประกอบS ฉัน เจซ้าย covariant ผสมส่วนประกอบและS IJ covariantองค์ประกอบของเมตริกซ์ที่สองการสั่งซื้อ ส่วนประกอบของเทนเซอร์อันดับสองสัมพันธ์กันโดย

ส ผม เจ = ก ผม k ส k เจ = ก เจ k ส ผม k = ก ผม k ก เจ ℓ ส k ℓ {\displaystyle S^{ij}=g^{ik}S_{k}{}^{j}=g^{jk}S^{i}{}_{k}=g^{ik}g^{ j\ell }S_{k\ell }}  S^{ij} = g^{ik}S_k{}^j = g^{jk}S^i{}_k = g^{ik}g^{j\ell}S_{k\ell}

เมตริกเมตริกในพิกัดความโค้งมุมฉาก

ในแต่ละจุด เราสามารถสร้างองค์ประกอบเส้นเล็กd xดังนั้นกำลังสองของความยาวขององค์ประกอบเส้นคือผลคูณสเกลาร์ d x • d xและเรียกว่าหน่วยเมตริกของช่องว่างกำหนดโดย:

d x ⋅ d x = ∂ x ผม ∂ q เจ ∂ x ผม ∂ q k d q เจ d q k {\displaystyle d\mathbf {x} \cdot d\mathbf {x} ={\cfrac {\partial x_{i}}{\partial q^{j}}}{\cfrac {\partial x_{i}} {\บางส่วน q^{k}}}dq^{j}dq^{k}} d\mathbf{x}\cdot d\mathbf{x} = \cfrac{\partial x_i}{\partial q^j}\cfrac{\partial x_i}{\partial q^k}dq^jdq^k .

ส่วนต่อไปนี้ของสมการข้างต้น

∂ x k ∂ q ผม ∂ x k ∂ q เจ = ก ผม เจ ( q ผม , q เจ ) = ข ผม ⋅ ข เจ {\displaystyle {\cfrac {\partial x_{k}}{\partial q^{i}}}{\cfrac {\partial x_{k}}{\partial q^{j}}}=g_{ij} (q^{i},q^{j})=\mathbf {b} _{i}\cdot \mathbf {b} _{j}} {\cfrac {\partial x_{k}}{\partial q^{i}}}{\cfrac {\partial x_{k}}{\partial q^{j}}}=g_{{ij}}(q^{i},q^{j})={\mathbf {b}}_{i}\cdot {\mathbf {b}}_{j}

เป็นเมตริกซ์สมมาตรที่เรียกว่าเมตริกซ์พื้นฐาน (หรือเมตริก)ของอวกาศแบบยุคลิดในพิกัดโค้ง

ดัชนีสามารถเพิ่มและลดได้ตามเมตริก:

วี ผม = ก ผม k วี k {\displaystyle v^{i}=g^{ik}v_{k}}  v^i = g^{ik}v_k

ความสัมพันธ์กับสัมประสิทธิ์ลาเม

การกำหนดตัวประกอบมาตราส่วนh ฉันโดย

ห่า ผม ห่า เจ = ก ผม เจ = ข ผม ⋅ ข เจ ⇒ ห่า ผม = ก ผม ผม = | ข ผม | = | ∂ x ∂ q ผม | {\displaystyle h_{i}h_{j}=g_{ij}=\mathbf {b} _{i}\cdot \mathbf {b} _{j}\quad \Rightarrow \quad h_{i}={\ sqrt {g_{ii}}}=\left|\mathbf {b} _{i}\right|=\left|{\cfrac {\partial \mathbf {x} }{\partial q^{i}}} \right|}  h_ih_j = g_{ij} = \mathbf{b}_i\cdot\mathbf{b}_j \quad \Rightarrow \quad h_i =\sqrt{g_{ii}}= \left|\mathbf{b}_i\right|=\left|\cfrac{\partial\mathbf{x}}{\partial q^i}\right|

ให้ความสัมพันธ์ระหว่างเมตริกซ์กับสัมประสิทธิ์ลาเมและ

ก ผม เจ = ∂ x ∂ q ผม ⋅ ∂ x ∂ q เจ = ( ห่า k ผม อี k ) ⋅ ( ห่า ม เจ อี ม ) = ห่า k ผม ห่า k เจ {\displaystyle g_{ij}={\cfrac {\partial \mathbf {x} }{\partial q^{i}}}\cdot {\cfrac {\partial \mathbf {x} }{\partial q^{ j}}}=\left(h_{ki}\mathbf {e} _{k}\right)\cdot \left(h_{mj}\mathbf {e} _{m}\right)=h_{ki} h_{kj}}  g_{ij} = \cfrac{\partial\mathbf{x}}{\partial q^i}\cdot\cfrac{\partial\mathbf{x}}{\partial q^j}
= \left( h_{ki}\mathbf{e}_k\right)\cdot\left( h_{mj}\mathbf{e}_m\right)
= h_{ki}h_{kj}

โดยที่h ijคือสัมประสิทธิ์ลาเม สำหรับพื้นฐานมุมฉาก เรายังมี:

ก = ก 11 ก 22 ก 33 = ห่า 1 2 ห่า 2 2 ห่า 3 2 ⇒ ก = ห่า 1 ห่า 2 ห่า 3 = เจ {\displaystyle g=g_{11}g_{22}g_{33}=h_{1}^{2}h_{2}^{2}h_{3}^{2}\quad \Rightarrow \quad {\ sqrt {g}}=h_{1}h_{2}h_{3}=J}  g = g_{11}g_{22}g_{33} = h_1^2h_2^2h_3^2 \quad \Rightarrow \quad \sqrt{g} = h_1h_2h_3 = J

ตัวอย่าง: พิกัดเชิงขั้ว

หากเราพิจารณาพิกัดเชิงขั้วสำหรับR 2 ,

( x , y ) = ( r cos ⁡ θ , r บาป ⁡ θ ) {\displaystyle (x,y)=(r\cos \theta ,r\sin \theta )} {\displaystyle (x,y)=(r\cos \theta ,r\sin \theta )}

(R, θ) เป็น curvilinear พิกัดและปัจจัยจาโคเบียนของการเปลี่ยนแปลง ( R , θ) → ( R cos θ, Rบาปθ) เป็นR

มุมฉากเวกเตอร์พื้นฐานมีขR = (cos θบาปθ) ขθ = (-r บาปθ, R cos θ) ปัจจัยที่มีขนาดH R = 1 และเอชθ = R เทนเซอร์พื้นฐานคือg 11 =1, g 22 = r 2 , g 12 = g 21 =0

เทนเซอร์สลับ

ตามหลักปกติทางขวามือเทนเซอร์สลับอันดับสามถูกกำหนดเป็น

อี = ε ผม เจ k อี ผม ⊗ อี เจ ⊗ อี k {\displaystyle {\boldsymbol {\mathcal {E}}}=\varepsilon _{ijk}\mathbf {e} ^{i}\otimes \mathbf {e} ^{j}\otimes \mathbf {e} ^{ k}} {\displaystyle {\boldsymbol {\mathcal {E}}}=\varepsilon _{ijk}\mathbf {e} ^{i}\otimes \mathbf {e} ^{j}\otimes \mathbf {e} ^{k}}

ในพื้นฐานเส้นโค้งทั่วไป เทนเซอร์เดียวกันอาจแสดงเป็น

อี = อี ผม เจ k ข ผม ⊗ ข เจ ⊗ ข k = อี ผม เจ k ข ผม ⊗ ข เจ ⊗ ข k {\displaystyle {\boldsymbol {\mathcal {E}}}={\mathcal {E}}_{ijk}\mathbf {b} ^{i}\otimes \mathbf {b} ^{j}\otimes \mathbf {b} ^{k}={\mathcal {E}}^{ijk}\mathbf {b} _{i}\otimes \mathbf {b} _{j}\otimes \mathbf {b} _{k} }  \boldsymbol{\mathcal{E}} = \mathcal{E}_{ijk}\mathbf{b}^i\otimes\mathbf{b}^j\otimes\mathbf{b}^k = \mathcal{E}^{ijk}\mathbf{b}_i\otimes\mathbf{b}_j\otimes\mathbf{b}_k

นอกจากนี้ยังสามารถแสดงให้เห็นได้ว่า

อี ผม เจ k = 1 เจ ε ผม เจ k = 1 + ก ε ผม เจ k {\displaystyle {\mathcal {E}}^{ijk}={\cfrac {1}{J}}\varepsilon _{ijk}={\cfrac {1}{+{\sqrt {g}}}}\ วาเรซิลอน _{ijk}} {\displaystyle {\mathcal {E}}^{ijk}={\cfrac {1}{J}}\varepsilon _{ijk}={\cfrac {1}{+{\sqrt {g}}}}\varepsilon _{ijk}}

สัญลักษณ์ของคริสตอฟเฟิล

สัญลักษณ์ของคริสตอฟเฟิลชนิดแรก Γ k ผม เจ {\displaystyle \Gamma _{kij}} {\displaystyle \Gamma _{kij}}
ข ผม , เจ = ∂ ข ผม ∂ q เจ = ข k Γ k ผม เจ ⇒ ข k ⋅ ข ผม , เจ = Γ k ผม เจ {\displaystyle \mathbf {b} _{i,j}={\frac {\partial \mathbf {b} _{i}}{\partial q^{j}}}=\mathbf {b} ^{k }\Gamma _{kij}\quad \Rightarrow \quad \mathbf {b} _{k}\cdot \mathbf {b} _{i,j}=\Gamma _{kij}} {\displaystyle \mathbf {b} _{i,j}={\frac {\partial \mathbf {b} _{i}}{\partial q^{j}}}=\mathbf {b} ^{k}\Gamma _{kij}\quad \Rightarrow \quad \mathbf {b} _{k}\cdot \mathbf {b} _{i,j}=\Gamma _{kij}}

โดยที่เครื่องหมายจุลภาคแสดงถึงอนุพันธ์บางส่วน (ดูRicci calculus ) เพื่อแสดง Γ kijในรูปของg ij ,

ก ผม เจ , k = ( ข ผม ⋅ ข เจ ) , k = ข ผม , k ⋅ ข เจ + ข ผม ⋅ ข เจ , k = Γ เจ ผม k + Γ ผม เจ k ก ผม k , เจ = ( ข ผม ⋅ ข k ) , เจ = ข ผม , เจ ⋅ ข k + ข ผม ⋅ ข k , เจ = Γ k ผม เจ + Γ ผม k เจ ก เจ k , ผม = ( ข เจ ⋅ ข k ) , ผม = ข เจ , ผม ⋅ ข k + ข เจ ⋅ ข k , ผม = Γ k เจ ผม + Γ เจ k ผม {\displaystyle {\begin{aligned}g_{ij,k}&=(\mathbf {b} _{i}\cdot \mathbf {b} _{j})_{,k}=\mathbf {b} _{i,k}\cdot \mathbf {b} _{j}+\mathbf {b} _{i}\cdot \mathbf {b} _{j,k}=\Gamma _{jik}+\Gamma _{ijk}\\g_{ik,j}&=(\mathbf {b} _{i}\cdot \mathbf {b} _{k})_{,j}=\mathbf {b} _{i ,j}\cdot \mathbf {b} _{k}+\mathbf {b} _{i}\cdot \mathbf {b} _{k,j}=\Gamma _{kij}+\Gamma _{ikj }\\g_{jk,i}&=(\mathbf {b} _{j}\cdot \mathbf {b} _{k})_{,i}=\mathbf {b} _{j,i} \cdot \mathbf {b} _{k}+\mathbf {b} _{j}\cdot \mathbf {b} _{k,i}=\Gamma _{kji}+\Gamma _{jki}\end {จัดตำแหน่ง}}} {\displaystyle {\begin{aligned}g_{ij,k}&=(\mathbf {b} _{i}\cdot \mathbf {b} _{j})_{,k}=\mathbf {b} _{i,k}\cdot \mathbf {b} _{j}+\mathbf {b} _{i}\cdot \mathbf {b} _{j,k}=\Gamma _{jik}+\Gamma _{ijk}\\g_{ik,j}&=(\mathbf {b} _{i}\cdot \mathbf {b} _{k})_{,j}=\mathbf {b} _{i,j}\cdot \mathbf {b} _{k}+\mathbf {b} _{i}\cdot \mathbf {b} _{k,j}=\Gamma _{kij}+\Gamma _{ikj}\\g_{jk,i}&=(\mathbf {b} _{j}\cdot \mathbf {b} _{k})_{,i}=\mathbf {b} _{j,i}\cdot \mathbf {b} _{k}+\mathbf {b} _{j}\cdot \mathbf {b} _{k,i}=\Gamma _{kji}+\Gamma _{jki}\end{aligned}}}

ตั้งแต่

ข ผม , เจ = ข เจ , ผม ⇒ Γ k ผม เจ = Γ k เจ ผม {\displaystyle \mathbf {b} _{i,j}=\mathbf {b} _{j,i}\quad \Rightarrow \quad \Gamma _{kij}=\Gamma _{kji}} {\displaystyle \mathbf {b} _{i,j}=\mathbf {b} _{j,i}\quad \Rightarrow \quad \Gamma _{kij}=\Gamma _{kji}}

ใช้สิ่งเหล่านี้เพื่อจัดเรียงความสัมพันธ์ข้างต้นให้

Γ k ผม เจ = 1 2 ( ก ผม k , เจ + ก เจ k , ผม − ก ผม เจ , k ) = 1 2 [ ( ข ผม ⋅ ข k ) , เจ + ( ข เจ ⋅ ข k ) , ผม − ( ข ผม ⋅ ข เจ ) , k ] {\displaystyle \Gamma _{kij}={\frac {1}{2}}(g_{ik,j}+g_{jk,i}-g_{ij,k})={\frac {1}{ 2}}[(\mathbf {b} _{i}\cdot \mathbf {b} _{k})_{,j}+(\mathbf {b} _{j}\cdot \mathbf {b} _ {k})_{,i}-(\mathbf {b} _{i}\cdot \mathbf {b} _{j})_{,k}]} {\displaystyle \Gamma _{kij}={\frac {1}{2}}(g_{ik,j}+g_{jk,i}-g_{ij,k})={\frac {1}{2}}[(\mathbf {b} _{i}\cdot \mathbf {b} _{k})_{,j}+(\mathbf {b} _{j}\cdot \mathbf {b} _{k})_{,i}-(\mathbf {b} _{i}\cdot \mathbf {b} _{j})_{,k}]}
สัญลักษณ์ Christoffelชนิดที่สอง Γ k เจ ผม {\displaystyle \Gamma ^{k}{}_{ji}} {\displaystyle \Gamma ^{k}{}_{ji}}
Γ k ผม เจ = ก k l Γ l ผม เจ = Γ k เจ ผม , ∂ ข ผม ∂ q เจ = ข k Γ k ผม เจ {\displaystyle \Gamma ^{k}{}_{ij}=g^{kl}\Gamma _{lij}=\Gamma ^{k}{}_{ji},\quad {\cfrac {\partial \ mathbf {b} _{i}}{\partial q^{j}}}=\mathbf {b} _{k}\Gamma ^{k}{}_{ij}} {\displaystyle \Gamma ^{k}{}_{ij}=g^{kl}\Gamma _{lij}=\Gamma ^{k}{}_{ji},\quad {\cfrac {\partial \mathbf {b} _{i}}{\partial q^{j}}}=\mathbf {b} _{k}\Gamma ^{k}{}_{ij}}

นี่ก็หมายความว่า

Γ k ผม เจ = ∂ ข ผม ∂ q เจ ⋅ ข k = − ข ผม ⋅ ∂ ข k ∂ q เจ {\displaystyle \Gamma ^{k}{}_{ij}={\cfrac {\partial \mathbf {b} _{i}}{\partial q^{j}}}\cdot \mathbf {b} ^ {k}=-\mathbf {b} _{i}\cdot {\cfrac {\partial \mathbf {b} ^{k}}{\partial q^{j}}}\quad } {\displaystyle \Gamma ^{k}{}_{ij}={\cfrac {\partial \mathbf {b} _{i}}{\partial q^{j}}}\cdot \mathbf {b} ^{k}=-\mathbf {b} _{i}\cdot {\cfrac {\partial \mathbf {b} ^{k}}{\partial q^{j}}}\quad } ตั้งแต่ ∂ ∂ q เจ ( ข ผม ⋅ ข k ) = 0 {\displaystyle \quad {\cfrac {\partial }{\partial q^{j}}}(\mathbf {b} _{i}\cdot \mathbf {b} ^{k})=0} {\displaystyle \quad {\cfrac {\partial }{\partial q^{j}}}(\mathbf {b} _{i}\cdot \mathbf {b} ^{k})=0}.

ความสัมพันธ์อื่นๆ ที่ตามมาคือ

∂ ข ผม ∂ q เจ = − Γ ผม เจ k ข k , ∇ ข ผม = Γ k ผม เจ ข k ⊗ ข เจ , ∇ ข ผม = − Γ ผม เจ k ข k ⊗ ข เจ {\displaystyle {\cfrac {\partial \mathbf {b} ^{i}}{\partial q^{j}}}=-\Gamma ^{i}{}_{jk}\mathbf {b} ^{ k},\quad {\boldsymbol {\nabla }}\mathbf {b} _{i}=\Gamma ^{k}{}_{ij}\mathbf {b} _{k}\otimes \mathbf {b } ^{j},\quad {\boldsymbol {\nabla }}\mathbf {b} ^{i}=-\Gamma ^{i}{}_{jk}\mathbf {b} ^{k}\otimes \mathbf {b} ^{j}} {\displaystyle {\cfrac {\partial \mathbf {b} ^{i}}{\partial q^{j}}}=-\Gamma ^{i}{}_{jk}\mathbf {b} ^{k},\quad {\boldsymbol {\nabla }}\mathbf {b} _{i}=\Gamma ^{k}{}_{ij}\mathbf {b} _{k}\otimes \mathbf {b} ^{j},\quad {\boldsymbol {\nabla }}\mathbf {b} ^{i}=-\Gamma ^{i}{}_{jk}\mathbf {b} ^{k}\otimes \mathbf {b} ^{j}}

การทำงานของเวกเตอร์

  1. สินค้าจุด :

    ผลคูณสเกลาร์ของเวกเตอร์สองตัวในพิกัดความโค้งคือ[2] ( p32 )

    ยู ⋅ วี = ยู ผม วี ผม = ยู ผม วี ผม = ก ผม เจ ยู ผม วี เจ = ก ผม เจ ยู ผม วี เจ {\displaystyle \mathbf {u} \cdot \mathbf {v} =u^{i}v_{i}=u_{i}v^{i}=g_{ij}u^{i}v^{j} =g^{ij}u_{i}v_{j}}  \mathbf{u}\cdot\mathbf{v} = u^iv_i = u_iv^i = g_{ij}u^iv^j = g^{ij}u_iv_j
  2. ข้ามผลิตภัณฑ์ :

    ผลคูณของเวกเตอร์สองตัวถูกกำหนดโดย[2] ( pp32–34 )

    ยู × วี = ε ผม เจ k ยู เจ วี k อี ผม {\displaystyle \mathbf {u} \times \mathbf {v} =\epsilon _{ijk}{u}_{j}{v}_{k}\mathbf {e} _{i}}  \mathbf{u}\times\mathbf{v} = \epsilon_{ijk}{u}_j{v}_k\mathbf{e}_i

    ที่ไหน ε ผม เจ k {\displaystyle \epsilon _{ijk}} \epsilon _{ijk}เป็นสัญลักษณ์การเรียงสับเปลี่ยนและ อี ผม {\displaystyle \mathbf {e} _{i}} \mathbf {e} _{i}เป็นเวกเตอร์พื้นฐานคาร์ทีเซียน ในพิกัดโค้ง นิพจน์ที่เทียบเท่าคือ

    ยู × วี = [ ( ข ม × ข น ) ⋅ ข ส ] ยู ม วี น ข ส = อี ส ม น ยู ม วี น ข ส {\displaystyle \mathbf {u} \times \mathbf {v} =[(\mathbf {b} _{m}\times \mathbf {b} _{n})\cdot \mathbf {b} _{s} ]u^{m}v^{n}\mathbf {b} ^{s}={\mathcal {E}}_{smn}u^{m}v^{n}\mathbf {b} ^{s }}  \mathbf{u}\times\mathbf{v} = [(\mathbf{b}_m\times\mathbf{b}_n)\cdot\mathbf{b}_s]u^mv^n\mathbf{b}^s = \mathcal{E}_{smn}u^mv^n\mathbf{b}^s
    ที่ไหน อี ผม เจ k {\displaystyle {\mathcal {E}}_{ijk}} \mathcal{E}_{ijk}เป็นบุคคลที่สามเพื่อสลับเมตริกซ์

แคลคูลัสเวกเตอร์และเทนเซอร์ในพิกัดความโค้งสามมิติ

หมายเหตุ: ใช้หลักการสรุปของไอน์สไตน์ในการบวกดัชนีซ้ำกันด้านล่าง

การปรับเปลี่ยนจะต้องทำในการคำนวณเส้น , พื้นผิวและปริมาณ ปริพันธ์ เพื่อความเรียบง่าย ต่อไปนี้จะจำกัดให้เหลือเพียงสามมิติและพิกัดความโค้งมุมฉาก อย่างไรก็ตาม อาร์กิวเมนต์เดียวกันนี้ใช้กับช่องว่างnมิติ เมื่อระบบพิกัดไม่ตั้งฉาก มีคำศัพท์เพิ่มเติมบางคำในนิพจน์

Simmonds, [2]ในหนังสือของเขาเกี่ยวกับการวิเคราะห์เทนเซอร์คำพูดของAlbert Einsteinกล่าวว่า[10]

ความมหัศจรรย์ของทฤษฎีนี้แทบจะล้มเหลวในการกำหนดตัวเองให้กับใครก็ตามที่เข้าใจมันอย่างแท้จริง มันแสดงถึงชัยชนะอย่างแท้จริงของวิธีการแคลคูลัสเชิงอนุพันธ์ที่แท้จริงซึ่งก่อตั้งโดย Gauss, Riemann, Ricci และ Levi-Civita

เวกเตอร์และแคลคูลัสเมตริกซ์ในพิกัดโค้งทั่วไปจะใช้ในการวิเคราะห์เมตริกซ์บนโค้งสี่มิติmanifoldsในพัทธภาพทั่วไป , [11]ในกลศาสตร์ของโค้งหอย , [9]ในการตรวจสอบความไม่แปรเปลี่ยนคุณสมบัติของสมการของแมกซ์เวลล์ซึ่งได้รับความสนใจในmetamaterials [12] [13]และในด้านอื่น ๆ อีกมากมาย

ความสัมพันธ์ที่เป็นประโยชน์บางประการในแคลคูลัสของเวกเตอร์และเทนเซอร์อันดับสองในพิกัดโค้งแสดงไว้ในส่วนนี้ สัญกรณ์และเนื้อหาส่วนใหญ่มาจาก Ogden, [14] Simmonds, [2] Green and Zerna, [5] Basar และ Weichert, [8]และ Ciarlet [9]

ให้ φ = φ( x ) เป็นสนามสเกลาร์ที่กำหนดไว้อย่างดี และv = v ( x ) เป็นสนามเวกเตอร์ที่กำหนดไว้อย่างดี และλ 1 , λ 2 ... เป็นพารามิเตอร์ของพิกัด

องค์ประกอบทางเรขาคณิต

  1. เวกเตอร์แทนเจนต์ :ถ้า x ( λ ) กำหนดเส้นโค้ง Cในพิกัดคาร์ทีเซียน ดังนั้น
    ∂ x ∂ λ = ∂ x ∂ q ผม ∂ q ผม ∂ λ = ( ห่า k ผม ∂ q ผม ∂ λ ) ข k {\displaystyle {\partial \mathbf {x} \over \partial \lambda }={\partial \mathbf {x} \over \partial q^{i}}{\partial q^{i} \over \partial \ แลมบ์ดา }=\left(h_{ki}{\cfrac {\partial q^{i}}{\partial \lambda }}\right)\mathbf {b} _{k}}  {\partial \mathbf{x} \over \partial \lambda} = {\partial \mathbf{x} \over \partial q^i}{\partial q^i \over \partial \lambda} = \left( h_{ki}\cfrac{\partial q^i}{\partial \lambda}\right)\mathbf{b}_k

    เป็นเวกเตอร์แทนเจนต์ถึงCในพิกัดโค้ง (โดยใช้กฎลูกโซ่ ) ใช้คำจำกัดความของสัมประสิทธิ์ Lamé และสำหรับเมตริกg ij = 0 เมื่อi ≠ jขนาดคือ:

    | ∂ x ∂ λ | = ห่า k ผม ห่า k เจ ∂ q ผม ∂ λ ∂ q เจ ∂ λ = ก ผม เจ ∂ q ผม ∂ λ ∂ q เจ ∂ λ = ห่า ผม 2 ( ∂ q ผม ∂ λ ) 2 {\displaystyle \left|{\partial \mathbf {x} \over \partial \lambda }\right|={\sqrt {h_{ki}h_{kj}{\cfrac {\partial q^{i}}{ \partial \lambda }}{\cfrac {\partial q^{j}}{\partial \lambda }}}}={\sqrt {g_{ij}{\cfrac {\partial q^{i}}{\ บางส่วน \lambda }}{\cfrac {\partial q^{j}}{\partial \lambda }}}}={\sqrt {h_{i}^{2}\left({\cfrac {\partial q^ {i}}{\partial \lambda }}\right)^{2}}}}  \left|{\partial \mathbf{x} \over \partial \lambda} \right| = \sqrt{h_{ki}h_{kj}\cfrac{\partial q^i}{\partial \lambda}\cfrac{\partial q^j}{\partial \lambda}} = \sqrt{ g_{ij}\cfrac{\partial q^i}{\partial \lambda}\cfrac{\partial q^j}{\partial \lambda}} = \sqrt{h_{i}^2\left(\cfrac{\partial q^i}{\partial \lambda}\right)^2}
  2. องค์ประกอบระนาบสัมผัส :ถ้า x ( λ 1 , λ 2 ) กำหนดพื้นผิว Sในพิกัดคาร์ทีเซียน ผลคูณของเวกเตอร์แทนเจนต์ต่อไปนี้เป็นเวกเตอร์ปกติของ S ที่มีขนาดขององค์ประกอบระนาบน้อยในพิกัดโค้ง โดยใช้ผลลัพธ์ข้างต้น
    ∂ x ∂ λ 1 × ∂ x ∂ λ 2 = ( ∂ x ∂ q ผม ∂ q ผม ∂ λ 1 ) × ( ∂ x ∂ q เจ ∂ q เจ ∂ λ 2 ) = อี k ม พี ( ห่า k ผม ∂ q ผม ∂ λ 1 ) ( ห่า ม เจ ∂ q เจ ∂ λ 2 ) ข พี {\displaystyle {\partial \mathbf {x} \over \partial \lambda _{1}}\times {\partial \mathbf {x} \over \partial \lambda _{2}}=\left({\partial \mathbf {x} \over \partial q^{i}}{\partial q^{i} \over \partial \lambda _{1}}\right)\times \left({\partial \mathbf {x} \over \partial q^{j}}{\partial q^{j} \over \partial \lambda _{2}}\right)={\mathcal {E}}_{kmp}\left(h_{ki) }{\partial q^{i} \over \partial \lambda _{1}}\right)\left(h_{mj}{\partial q^{j} \over \partial \lambda _{2}}\ ขวา)\mathbf {b} _{p}}  {\partial \mathbf{x} \over \partial \lambda_1}\times {\partial \mathbf{x} \over \partial \lambda_2} =\left({\partial \mathbf{x} \over \partial q^i}{\partial q^i \over \partial \lambda_1}\right) \times \left({\partial \mathbf{x} \over \partial q^j}{\partial q^j \over \partial \lambda_2}\right) = \mathcal{E}_{kmp}\left( h_{ki}{\partial q^i \over \partial \lambda_1}\right)\left(h_{mj}{\partial q^j \over \partial \lambda_2}\right) \mathbf{b}_p

    ที่ไหน อี {\displaystyle {\mathcal {E}}} {\mathcal {E}}เป็นสัญลักษณ์การเปลี่ยนแปลง ในรูปแบบดีเทอร์มิแนนต์:

    ∂ x ∂ λ 1 × ∂ x ∂ λ 2 = | อี 1 อี 2 อี 3 ห่า 1 ผม ∂ q ผม ∂ λ 1 ห่า 2 ผม ∂ q ผม ∂ λ 1 ห่า 3 ผม ∂ q ผม ∂ λ 1 ห่า 1 เจ ∂ q เจ ∂ λ 2 ห่า 2 เจ ∂ q เจ ∂ λ 2 ห่า 3 เจ ∂ q เจ ∂ λ 2 | {\displaystyle {\partial \mathbf {x} \over \partial \lambda _{1}}\times {\partial \mathbf {x} \over \partial \lambda _{2}}={\begin{vmatrix} \mathbf {e} _{1}&\mathbf {e} _{2}&\mathbf {e} _{3}\\h_{1i}{\dfrac {\partial q^{i}}{\partial \lambda _{1}}}&h_{2i}{\dfrac {\partial q^{i}}{\partial \lambda _{1}}}&h_{3i}{\dfrac {\partial q^{i} }{\partial \lambda _{1}}}\\h_{1j}{\dfrac {\partial q^{j}}{\partial \lambda _{2}}}&h_{2j}{\dfrac {\ q^{j}}{\partial \lambda _{2}}}&h_{3j}{\dfrac {\partial q^{j}}{\partial \lambda _{2}}}\end{vmatrix} บางส่วน }} {\partial \mathbf{x} \over \partial \lambda_1}\times {\partial \mathbf{x} \over \partial \lambda_2}
=\begin{vmatrix}
\mathbf{e}_1 & \mathbf{e}_2 & \mathbf{e}_3 \\
h_{1i} \dfrac{\partial q^i}{\partial \lambda_1} & h_{2i} \dfrac{\partial q^i}{\partial \lambda_1} & h_{3i} \dfrac{\partial q^i }{\partial \lambda_1} \\
h_{1j} \dfrac{\partial q^j}{\partial \lambda_2} & h_{2j} \dfrac{\partial q^j}{\partial \lambda_2} & h_{3j} \dfrac{\partial q^j }{\partial \lambda_2}
\end{vmatrix}

บูรณาการ

โอเปอเรเตอร์ สนามสเกลาร์ สนามเวกเตอร์
อินทิกรัลเส้น ∫ ค φ ( x ) d ส = ∫ ข φ ( x ( λ ) ) | ∂ x ∂ λ | d λ {\displaystyle \int _{C}\varphi (\mathbf {x} )ds=\int _{a}^{b}\varphi (\mathbf {x} (\lambda ))\left|{\partial \ mathbf {x} \over \partial \lambda }\right|d\lambda }  \int_C \varphi(\mathbf{x}) ds = \int_a^b \varphi(\mathbf{x}(\lambda))\left|{\partial \mathbf{x} \over \partial \lambda}\right| d\lambda ∫ ค วี ( x ) ⋅ d ส = ∫ ข วี ( x ( λ ) ) ⋅ ( ∂ x ∂ λ ) d λ {\displaystyle \int _{C}\mathbf {v} (\mathbf {x} )\cdot d\mathbf {s} =\int _{a}^{b}\mathbf {v} (\mathbf {x } (\lambda ))\cdot \left({\partial \mathbf {x} \over \partial \lambda }\right)d\lambda }  \int_C \mathbf{v}(\mathbf{x}) \cdot d\mathbf{s} = \int_a^b \mathbf{v}(\mathbf{x}(\lambda))\cdot\left({\partial \mathbf{x} \over \partial \lambda}\right) d\lambda
อินทิกรัลพื้นผิว ∫ ส φ ( x ) d ส = ∬ ตู่ φ ( x ( λ 1 , λ 2 ) ) | ∂ x ∂ λ 1 × ∂ x ∂ λ 2 | d λ 1 d λ 2 {\displaystyle \int _{S}\varphi (\mathbf {x} )dS=\iint _{T}\varphi (\mathbf {x} (\lambda _{1},\lambda _{2})) \left|{\partial \mathbf {x} \over \partial \lambda _{1}}\times {\partial \mathbf {x} \over \partial \lambda _{2}}\right|d\lambda _ {1}d\แลมบ์ดา _{2}} \int_S \varphi(\mathbf{x}) dS = \iint_T \varphi(\mathbf{x}(\lambda_1, \lambda_2)) \left|{\partial \mathbf{x} \over \partial \lambda_1}\times {\partial \mathbf{x} \over \partial \lambda_2}\right| d\lambda_1 d\lambda_2 ∫ ส วี ( x ) ⋅ d ส = ∬ ตู่ วี ( x ( λ 1 , λ 2 ) ) ⋅ ( ∂ x ∂ λ 1 × ∂ x ∂ λ 2 ) d λ 1 d λ 2 {\displaystyle \int _{S}\mathbf {v} (\mathbf {x} )\cdot dS=\iint _{T}\mathbf {v} (\mathbf {x} (\lambda _{1}, \lambda _{2}))\cdot \left({\partial \mathbf {x} \over \partial \lambda _{1}}\times {\partial \mathbf {x} \over \partial \lambda _{ 2}}\right)d\lambda _{1}d\lambda _{2}} \int_S \mathbf{v}(\mathbf{x}) \cdot dS = \iint_T \mathbf{v}(\mathbf{x}(\lambda_1, \lambda_2)) \cdot\left({\partial \mathbf{x} \over \partial \lambda_1}\times {\partial \mathbf{x} \over \partial \lambda_2}\right) d\lambda_1 d\lambda_2
อินทิกรัลปริมาตร ∭ วี φ ( x , y , z ) d วี = ∭ วี χ ( q 1 , q 2 , q 3 ) เจ d q 1 d q 2 d q 3 {\displaystyle \iiint _{V}\varphi (x,y,z)dV=\iiint _{V}\chi (q_{1},q_{2},q_{3})Jdq_{1}dq_{ 2}dq_{3}} \iiint_V \varphi(x,y,z) dV = \iiint_V \chi(q_1,q_2,q_3) Jdq_1dq_2dq_3 ∭ วี ยู ( x , y , z ) d วี = ∭ วี วี ( q 1 , q 2 , q 3 ) เจ d q 1 d q 2 d q 3 {\displaystyle \iiint _{V}\mathbf {u} (x,y,z)dV=\iiint _{V}\mathbf {v} (q_{1},q_{2},q_{3}) Jdq_{1}dq_{2}dq_{3}} \iiint_V \mathbf{u}(x,y,z) dV = \iiint_V \mathbf{v}(q_1,q_2,q_3) Jdq_1dq_2dq_3

ความแตกต่าง

นิพจน์สำหรับการไล่ระดับสี ไดเวอร์เจนซ์ และ Laplacian สามารถขยายโดยตรงไปยังมิติnอย่างไรก็ตาม curl ถูกกำหนดไว้ใน 3D เท่านั้น

สนามเวกเตอร์b iสัมผัสกับเส้นโค้งพิกัดq iและสร้างฐานตามธรรมชาติที่แต่ละจุดบนเส้นโค้ง พื้นฐานนี้ ตามที่กล่าวไว้ในตอนต้นของบทความนี้ เรียกอีกอย่างว่าพื้นฐานโค้งโควาเรียนท์ นอกจากนี้เรายังสามารถกำหนดกฎพื้นฐานหรือcontravariantพื้นฐานโค้ง, ขฉัน ทุกความสัมพันธ์ระหว่างเวกเตอร์พีชคณิตพื้นฐานที่กล่าวไว้ในส่วนที่เกี่ยวกับพีชคณิตเมตริกซ์ใช้สำหรับพื้นฐานธรรมชาติและซึ่งกันและกันที่แต่ละจุดx

โอเปอเรเตอร์ สนามสเกลาร์ สนามเวกเตอร์ สนามเทนเซอร์อันดับ 2
ไล่โทนสี ∇ φ = 1 ห่า ผม ∂ φ ∂ q ผม ข ผม {\displaystyle \nabla \varphi ={\cfrac {1}{h_{i}}}{\partial \varphi \over \partial q^{i}}\mathbf {b} ^{i}}  \nabla\varphi = \cfrac{1}{h_i}{\partial\varphi \over \partial q^i} \mathbf{b}^i ∇ วี = 1 ห่า ผม 2 ∂ วี ∂ q ผม ⊗ ข ผม {\displaystyle \nabla \mathbf {v} ={\cfrac {1}{h_{i}^{2}}}{\partial \mathbf {v} \over \partial q^{i}}\otimes \mathbf {b} _{i}} \nabla\mathbf{v} = \cfrac{1}{h_i^2}{\partial \mathbf{v} \over \partial q^i}\otimes\mathbf{b}_i ∇ ส = ∂ ส ∂ q ผม ⊗ ข ผม {\displaystyle {\boldsymbol {\nabla }}{\boldsymbol {S}}={\cfrac {\partial {\boldsymbol {S}}}{\partial q^{i}}}\otimes \mathbf {b} ^{i}} \boldsymbol{\nabla}\boldsymbol{S} = \cfrac{\partial \boldsymbol{S}}{\partial q^i}\otimes\mathbf{b}^i
ความแตกต่าง ไม่มี ∇ ⋅ วี = 1 Π เจ ห่า เจ ∂ ∂ q ผม ( วี ผม Π เจ ≠ ผม ห่า เจ ) {\displaystyle \nabla \cdot \mathbf {v} ={\cfrac {1}{\prod _{j}h_{j}}}{\frac {\partial }{\partial q^{i}}}( v^{i}\prod _{j\neq i}h_{j})}  \nabla \cdot \mathbf{v} = \cfrac{1}{\prod_j h_j} \frac{\partial }{\partial q^i}(v^i\prod_{j\ne i} h_j) ( ∇ ⋅ ส ) ⋅ = ∇ ⋅ ( ส ⋅ ) {\displaystyle ({\boldsymbol {\nabla }}\cdot {\boldsymbol {S}})\cdot \mathbf {a} ={\boldsymbol {\nabla }}\cdot ({\boldsymbol {S}}\cdot \mathbf {a} )}  (\boldsymbol{\nabla}\cdot\boldsymbol{S})\cdot\mathbf{a} = \boldsymbol{\nabla}\cdot(\boldsymbol{S}\cdot\mathbf{a})

โดยที่aคือเวกเตอร์คงที่ตามอำเภอใจ ในพิกัดโค้ง

∇ ⋅ ส = [ ∂ ส ผม เจ ∂ q k − Γ k ผม l ส l เจ − Γ k เจ l ส ผม l ] ก ผม k ข เจ {\displaystyle {\boldsymbol {\nabla }}\cdot {\boldsymbol {S}}=\left[{\cfrac {\partial S_{ij}}{\partial q^{k}}}-\Gamma _{ ki}^{l}S_{lj}-\Gamma _{kj}^{l}S_{il}\right]g^{ik}\mathbf {b} ^{j}} \boldsymbol{\nabla}\cdot\boldsymbol{S} = \left[\cfrac{\partial S_{ij}}{\partial q^k} - \Gamma^l_{ki}S_{lj} - \Gamma^l_{kj}S_{il}\right]g^{ik}\mathbf{b}^j

ลาปลาเซียน ∇ 2 φ = 1 Π เจ ห่า เจ ∂ ∂ q ผม ( Π เจ ห่า เจ ห่า ผม 2 ∂ φ ∂ q ผม ) {\displaystyle \nabla ^{2}\varphi ={\cfrac {1}{\prod _{j}h_{j}}}{\frac {\partial }{\partial q^{i}}}\left ({\cfrac {\prod _{j}h_{j}}{h_{i}^{2}}}{\frac {\partial \varphi }{\partial q^{i}}}\right)} 
\nabla^2 \varphi = \cfrac{1}{\prod _j h_j}\frac{\partial }{\partial q^i}\left(\cfrac{\prod _j h_j}{h_i^2}\frac{\partial \varphi}{\partial q^i}\right)
Curl ไม่มี สำหรับฟิลด์เวกเตอร์ในแบบ 3 มิติเท่านั้น

∇ × วี = 1 ห่า 1 ห่า 2 ห่า 3 อี ผม ε ผม เจ k ห่า ผม ∂ ( ห่า k วี k ) ∂ q เจ {\displaystyle \nabla \times \mathbf {v} ={\frac {1}{h_{1}h_{2}h_{3}}}\mathbf {e} _{i}\epsilon _{ijk}h_ {i}{\frac {\partial (h_{k}v_{k})}{\partial q^{j}}}}  \nabla\times\mathbf{v} = \frac{1}{h_1h_2h_3} \mathbf{e}_i \epsilon_{ijk} h_i \frac{\partial (h_k v_k)}{\partial q^j}

ที่ไหน ε ผม เจ k {\displaystyle \epsilon _{ijk}} \epsilon _{ijk}คือสัญลักษณ์ลีวาย-ซิวิตา

ดูความโค้งของสนามเทนเซอร์

แรงสมมติในพิกัดโค้งทั่วไป

ตามคำนิยาม ถ้าอนุภาคที่ไม่มีแรงกระทำต่อมันมีตำแหน่งที่แสดงในระบบพิกัดเฉื่อย ( x 1 ,  x 2 ,  x 3 ,  t ) มันก็จะไม่มีการเร่งความเร็ว (d 2 x j /d t 2  = 0). [15]ในบริบทนี้ ระบบพิกัดอาจล้มเหลวในการเป็น "เฉื่อย" ได้เนื่องจากแกนเวลาที่ไม่ตรงหรือแกนช่องว่างที่ไม่ตรง (หรือทั้งสองอย่าง) กล่าวอีกนัยหนึ่ง เวกเตอร์พื้นฐานของพิกัดอาจแตกต่างกันในเวลาที่ตำแหน่งคงที่ หรืออาจแตกต่างกันไปตามตำแหน่งในเวลาที่กำหนด หรือทั้งสองอย่าง เมื่อสมการการเคลื่อนที่แสดงในรูปของระบบพิกัดที่ไม่เฉื่อยใดๆ (ในแง่นี้) จะมีคำศัพท์พิเศษปรากฏขึ้น ซึ่งเรียกว่าสัญลักษณ์คริสทอฟเฟล กล่าวโดยเคร่งครัด คำศัพท์เหล่านี้แสดงถึงองค์ประกอบของความเร่งสัมบูรณ์ (ในกลศาสตร์ดั้งเดิม) แต่เราอาจเลือกที่จะพิจารณา d 2 x j /d t 2 ต่อไปเป็นการเร่งความเร็ว (ราวกับว่าพิกัดนั้นเฉื่อย) และรักษาเงื่อนไขเพิ่มเติม ราวกับว่าพวกเขาเป็นกองกำลังซึ่งในกรณีนี้เรียกว่ากองกำลังที่สมมติขึ้น [16]องค์ประกอบของแรงโกหกใด ๆ เช่นปกติไปยังเส้นทางของอนุภาคและในระนาบของความโค้งเส้นทางของแล้วจะเรียกว่าแรงเหวี่ยง [17]

บริบททั่วไปนี้ทำให้เห็นชัดเจนว่ามีความสอดคล้องกันระหว่างแนวความคิดของแรงเหวี่ยงในระบบพิกัดหมุนและในระบบพิกัดความโค้งที่อยู่กับที่ (แนวคิดทั้งสองนี้มักปรากฏในวรรณกรรม[18] [19] [20] ) ตัวอย่างเช่น ลองพิจารณาอนุภาคมวลm ที่เคลื่อนที่ในวงกลมรัศมีrด้วยความเร็วเชิงมุมwสัมพันธ์กับระบบพิกัดเชิงขั้ว หมุนด้วยความเร็วเชิงมุมW . สมรัศมีของการเคลื่อนไหวคือนาย ” =  F R  +  นาย ( W  +  W ) 2 ดังนั้นแรงเหวี่ยงหนีศูนย์กลางคือmr คูณกำลังสองของความเร็วการหมุนสัมบูรณ์A  =  w  +  Wของอนุภาค หากเราเลือกระบบพิกัดที่หมุนด้วยความเร็วของอนุภาคแล้วW  =  Aและw  = 0 ซึ่งในกรณีนี้แรงเหวี่ยงหนีศูนย์กลางคือmrA 2ในขณะที่ถ้าเราเลือกระบบพิกัดนิ่ง เราก็มีW  = 0 และw  =  Aซึ่งในกรณีนี้แรงเหวี่ยงเป็นอีกครั้งMRA 2 สาเหตุของความเท่าเทียมกันของผลลัพธ์ก็คือในทั้งสองกรณีเวกเตอร์พื้นฐานที่ตำแหน่งของอนุภาคจะเปลี่ยนแปลงตามเวลาในลักษณะเดียวกันทุกประการ ดังนั้น นี่เป็นเพียงสองวิธีที่แตกต่างกันในการอธิบายสิ่งเดียวกันทุกประการ หนึ่งคำอธิบายอยู่ในแง่ของพิกัดหมุน และอีกวิธีหนึ่งอยู่ในแง่ของพิกัดโค้งคงที่ ซึ่งทั้งสองอย่างนี้ไม่เฉื่อยตามความหมายที่เป็นนามธรรมมากกว่าของคำนั้น .

เมื่ออธิบายการเคลื่อนที่ทั่วๆ ไป แรงจริงที่กระทำต่ออนุภาคมักจะอ้างถึงวงกลมที่สั่นทันทีแทนเจนต์กับเส้นทางการเคลื่อนที่ และวงกลมนี้ในกรณีทั่วไปไม่ได้อยู่กึ่งกลางที่ตำแหน่งคงที่ ดังนั้นการสลายตัวเป็นแรงเหวี่ยงและโคริโอลิส ส่วนประกอบมีการเปลี่ยนแปลงตลอดเวลา สิ่งนี้เป็นจริงโดยไม่คำนึงว่าการเคลื่อนไหวจะอธิบายในแง่ของพิกัดนิ่งหรือพิกัดหมุน

ดูสิ่งนี้ด้วย

  • ความแปรปรวนร่วมและความแปรปรวน
  • ความรู้เบื้องต้นเกี่ยวกับคณิตศาสตร์สัมพัทธภาพทั่วไป
  • พิกัดมุมฉาก
  • สูตร Frenet–Serret
  • อนุพันธ์โควาเรียนต์
  • อนุพันธ์เทนเซอร์ (กลศาสตร์ต่อเนื่อง)
  • มุมมองโค้ง
  • เดลในพิกัดทรงกระบอกและทรงกลม

อ้างอิง

  1. ^ เจเอ วีลเลอร์; ค. มิสเนอร์; เคเอส ธ อร์น (1973) ความโน้มถ่วง . WH Freeman & Co. ISBN 0-7167-0344-0.
  2. ^ a b c d e f ซิมมอนด์ส, เจจี (1994). สั้น ๆ เกี่ยวกับการวิเคราะห์เมตริกซ์ สปริงเกอร์. ISBN 0-387-90639-8.
  3. ^ บูธบี้, WM (2002). บทนำสู่ดิฟเฟอเรนเชียลแมนิโฟลด์และรีมันเนียนเรขาคณิต (แก้ไข ed.) นิวยอร์ก นิวยอร์ก: สำนักพิมพ์วิชาการ
  4. ^ แมคคอนเนลล์ เอเจ (1957) การประยุกต์ใช้การวิเคราะห์ tensor นิวยอร์ก นิวยอร์ก: Dover Publications, Inc. Ch. 9 วินาที 1. ISBN 0-486-60373-3.
  5. ^ a b c กรีน, AE; Zerna, W. (1968). ทฤษฎีความยืดหยุ่น สำนักพิมพ์มหาวิทยาลัยอ็อกซ์ฟอร์ด. ISBN 0-19-853486-8.
  6. ^ อ็อกเดน, อาร์ดับบลิว (2000). รูปร่างยืดหยุ่นไม่เชิงเส้น โดเวอร์
  7. ^ นาฆดี PM (1972) "ทฤษฎีเปลือกและจาน". ใน S. Flügge (ed.) คู่มือฟิสิกส์ . ผ่าน/2. หน้า 425–640.
  8. ^ ข บาซาร์, Y.; เวยเชิร์ต, ดี. (2000). กลศาสตร์ต่อเนื่องเชิงตัวเลขของของแข็ง: แนวคิดพื้นฐานและมุมมอง สปริงเกอร์.
  9. ^ a b c Ciarlet, PG (2000). ทฤษฎีเปลือกหอย . 1 . วิทยาศาสตร์เอลส์เวียร์
  10. ^ ไอน์สไตน์, เอ. (1915). "การมีส่วนร่วมในทฤษฎีสัมพัทธภาพทั่วไป". ใน Laczos, C. (ed.) ทศวรรษน์สไตน์ หน้า 213. ISBN 0-521-38105-3.
  11. ^ มิสเนอร์ CW; ธอร์น แคนซัส; วีลเลอร์, จอร์เจีย (1973). ความโน้มถ่วง . WH Freeman and Co. ISBN 0-7167-0344-0.
  12. ^ กรีนลีฟ, ก.; Lassas, ม.; Uhlmann, G. (2003). "ค่าการนำไฟฟ้าแบบแอนไอโซโทรปิกที่ EIT ตรวจไม่พบ" การวัดทางสรีรวิทยา 24 (2): 413–419. ดอย : 10.1088/0967-3334/24/2/353 . PMID  12812426 .
  13. ^ เลออนฮาร์ด ยู.; ฟิลบิน, ทีจี (2006). "ทฤษฎีสัมพัทธภาพทั่วไปทางวิศวกรรมไฟฟ้า". วารสารฟิสิกส์ใหม่. 8 (10): 247. arXiv : cond-mat/0607418 . ดอย : 10.1088/1367-2630/8/10/247 .
  14. ^ อ็อกเดน
  15. ^ ฟรีดแมน, ไมเคิล (1989). รากฐานของทฤษฎีพื้นที่เวลา สำนักพิมพ์มหาวิทยาลัยพรินซ์ตัน. ISBN 0-691-07239-6.
  16. ^ สตอมเมล, เฮนรี่ เอ็ม.; มัวร์, เดนนิส ดับเบิลยู. (1989). รู้เบื้องต้นเกี่ยวกับโบลิทาร์กองทัพ สำนักพิมพ์มหาวิทยาลัยโคลัมเบีย. ISBN 0-231-06636-8.
  17. ^ เบียร์; จอห์นสตัน (1972) สถิตยศาสตร์และพลวัต (ฉบับที่ 2) แมคกรอว์–ฮิลล์. หน้า 485. ISBN 0-07-736650-6.
  18. ^ ฮิลเดอแบรนด์, ฟรานซิส บี. (1992). วิธีการ คณิตศาสตร์ ประยุกต์ . โดเวอร์ หน้า 156 . ISBN 0-13-579201-0.
  19. ^ แมคควารี, โดนัลด์ อัลลัน (2000). กลศาสตร์สถิติ . หนังสือวิทยาศาสตร์มหาวิทยาลัย. ISBN 0-06-044366-9.
  20. ^ เวเบอร์, ฮานส์-เยอร์เก้น; อาร์ฟเคน, จอร์จ บราวน์ (2004). วิธีการทางคณิตศาสตร์ที่จำเป็นสำหรับนักฟิสิกส์ สื่อวิชาการ. หน้า 843. ISBN 0-12-059877-9.

อ่านเพิ่มเติม

  • สปีเกล ม.ร.ว. (1959) การวิเคราะห์เวกเตอร์ นิวยอร์ก: ซีรี่ส์โครงร่างของ Schaum ISBN 0-07-084378-3.
  • อาร์ฟเคน, จอร์จ (1995). วิธีการทางคณิตศาสตร์สำหรับนักฟิสิกส์ . สื่อวิชาการ. ISBN 0-12-059877-9.

ลิงค์ภายนอก

  • Planetmath.org ที่มาของเวกเตอร์หน่วยในพิกัดโค้ง
  • หน้าของ MathWorld บนพิกัดความโค้ง
  • E-Book ของ Prof. R. Brannon เรื่อง Curvilinear Coordinates
  • Wikiversity:Introduction to Elasticity/Tensors#The Divergence of a tensor field – Wikiversity , Introduction to Elasticity/Tensors.
Language
  • Thai
  • Français
  • Deutsch
  • Arab
  • Português
  • Nederlands
  • Türkçe
  • Tiếng Việt
  • भारत
  • 日本語
  • 한국어
  • Hmoob
  • ខ្មែរ
  • Africa
  • Русский

©Copyright This page is based on the copyrighted Wikipedia article "/wiki/Curvilinear" (Authors); it is used under the Creative Commons Attribution-ShareAlike 3.0 Unported License. You may redistribute it, verbatim or modified, providing that you comply with the terms of the CC-BY-SA. Cookie-policy To contact us: mail to admin@tvd.wiki

TOP