โอลิเวอร์ เคลล็อกก์: ผู้วางรากฐาน “ทฤษฎีศักย์” ที่อยู่เบื้องหลังแรงโน้มถ่วงและสนามไฟฟ้า

นักคณิตศาสตร์ที่ไม่มีใครจดจำชื่อ แต่ทุกคนใช้ผลงานของเขา

10 กรกฎาคม ค.ศ. 1878 (พ.ศ. 2421) ที่เมืองลินวูด รัฐเพนซิลเวเนีย สหรัฐอเมริกา โอลิเวอร์ ดีมอน เคลล็อกก์ (Oliver Dimon Kellogg) ถือกำเนิดในครอบครัวนักวิชาการ บิดาเป็นทั้งบาทหลวงนิกายเอพิสโคพัลและต่อมาผันตัวเป็นศาสตราจารย์ด้านวรรณคดีอังกฤษ รวมถึงเคยเป็นบรรณาธิการของสารานุกรม Encyclopaedia Britannica ฉบับอเมริกัน

ชื่อของเคลล็อกก์อาจไม่คุ้นหูเท่าเกาส์หรือเทสลา แต่ตำราที่เขาเขียนขึ้นในปี 1929 ชื่อ Foundations of Potential Theory กลับกลายเป็นหนึ่งในตำราอ้างอิงสำคัญที่สุดเล่มหนึ่งของคณิตศาสตร์ประยุกต์ในศตวรรษที่ 20 และยังคงพิมพ์ซ้ำใช้สอนกันอยู่จนถึงปัจจุบัน

ทฤษฎีศักย์คืออะไร

ทฤษฎีศักย์ (Potential Theory) คือการศึกษาฟังก์ชันที่สอดคล้องกับ สมการลาปลาซ (Laplace’s equation)

$$ \nabla^2 u = \frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} + \frac{\partial^2 u}{\partial z^2} = 0 $$

ฟังก์ชัน $u$ ที่สอดคล้องกับสมการนี้เรียกว่า ฟังก์ชันฮาร์มอนิก (harmonic function) ความน่าทึ่งคือ สมการเดียวกันนี้ปรากฏซ้ำแล้วซ้ำเล่าในธรรมชาติ:

• ศักย์โน้มถ่วง (gravitational potential) รอบมวลที่ไม่มีสสารอยู่
• ศักย์ไฟฟ้าสถิต (electrostatic potential) ในบริเวณที่ไม่มีประจุ
• การกระจายอุณหภูมิในสภาวะคงตัว (steady-state temperature distribution)
• ศักย์ความเร็วของการไหลแบบไม่หมุนวน (irrotational fluid flow)

ตัวอย่างเช่น ศักย์โน้มถ่วงจากมวลจุด $m$ ที่ตำแหน่งจุดกำเนิด คำนวณได้จาก

$$ u(\mathbf{x}) = \frac{Gm}{|\mathbf{x}|} $$

และเมื่อมีการกระจายมวลต่อเนื่องในบริเวณ $D$ ด้วยความหนาแน่น $\rho(\mathbf{y})$ ศักย์รวมคือ

$$ u(\mathbf{x}) = G\int_D \frac{\rho(\mathbf{y})}{|\mathbf{x}-\mathbf{y}|}, dV(\mathbf{y}) $$

เคลล็อกก์เป็นผู้จัดระบบทฤษฎีนี้อย่างเข้มงวดตั้งแต่รากฐาน โดยใช้ ทฤษฎีบทไดเวอร์เจนซ์ (Divergence Theorem) ซึ่งเป็นเครื่องมือหลักในวิชาการวิเคราะห์เชิงเวกเตอร์

$$ \iiint_D (\nabla \cdot \mathbf{F}), dV = \oiint_{\partial D} \mathbf{F} \cdot \mathbf{n}, dS $$

เป็นฐานพิสูจน์ทฤษฎีบทการมีอยู่ (existence theorems) ของคำตอบปัญหาดีรีเคล่ (Dirichlet problem) นั่นคือ การหาฟังก์ชันฮาร์มอนิกในบริเวณหนึ่งเมื่อกำหนดค่าบนขอบเขตไว้แล้ว

ทฤษฎีบทเคลล็อกก์และทฤษฎีบทจุดตรึงเบิร์คฮอฟฟ์-เคลล็อกก์

ในปี 1912 เคลล็อกก์ตีพิมพ์ผลงานสำคัญเรื่อง Harmonic functions and Green’s integral ซึ่งมีสิ่งที่ปัจจุบันเรียกว่า ทฤษฎีบทเคลล็อกก์ (Kellogg’s theorem) เกี่ยวกับความสัมพันธ์ระหว่างฟังก์ชันฮาร์มอนิกกับฟังก์ชันของกรีน (Green’s function)

ต่อมาในปี 1922 เขาร่วมงานกับจอร์จ เดวิด เบิร์คฮอฟฟ์ (George David Birkhoff) นักคณิตศาสตร์ชื่อดัง ตีพิมพ์ผลงาน Invariant points in function space ซึ่งเสนอ ทฤษฎีบทเบิร์คฮอฟฟ์-เคลล็อกก์ (Birkhoff–Kellogg Theorem) เป็นการขยาย ทฤษฎีบทจุดตรึงของเบราวเวอร์ (Brouwer fixed point theorem) จากปริภูมิมิติจำกัดไปสู่ปริภูมิฟังก์ชัน (function space) ที่มีมิติอนันต์

ทฤษฎีบทจุดตรึงเป็นเครื่องมือสำคัญที่ใช้พิสูจน์ว่า “คำตอบมีอยู่จริง” โดยไม่จำเป็นต้องหาคำตอบนั้นออกมาอย่างชัดเจน หลักการนี้ถูกนำไปใช้อย่างกว้างขวางในการพิสูจน์การมีอยู่ของคำตอบสมการเชิงอนุพันธ์ไม่เชิงเส้น (nonlinear differential equations) ซึ่งเป็นรากฐานสำคัญของคณิตศาสตร์วิเคราะห์เชิงฟังก์ชันสมัยใหม่

เส้นทางวิชาการจากพรินซ์ตันสู่ฮาร์วาร์ด

เคลล็อกก์เข้าศึกษาระดับปริญญาตรีที่มหาวิทยาลัยพรินซ์ตันในปี 1895 และได้รับแรงบันดาลใจจากอาจารย์เฮนรี ไฟน์ (Henry Fine) จนตัดสินใจศึกษาต่อคณิตศาสตร์อย่างจริงจัง หลังสำเร็จปริญญาโทที่พรินซ์ตันในปี 1900 เขาได้รับทุนไปศึกษาต่อที่มหาวิทยาลัยเบอร์ลินและมหาวิทยาลัยเกิททิงเงิน ที่นั่นเขาได้เรียนกับดาวิด ฮิลแบร์ท (David Hilbert) หนึ่งในนักคณิตศาสตร์ที่ยิ่งใหญ่ที่สุดแห่งยุค และสำเร็จปริญญาเอกในปี 1902 ด้วยวิทยานิพนธ์เกี่ยวกับปัญหาดีรีเคล่

หลังกลับสหรัฐอเมริกา เคลล็อกก์สอนที่มหาวิทยาลัยมิสซูรีตั้งแต่ปี 1905 และได้รับตำแหน่งศาสตราจารย์ในปี 1910 ระหว่างสงครามโลกครั้งที่หนึ่ง เขาทำหน้าที่เป็นที่ปรึกษาทางวิทยาศาสตร์ให้หน่วยยามฝั่งสหรัฐฯ โดยศึกษาปัญหาคณิตศาสตร์ที่เกี่ยวข้องกับการตรวจจับเรือดำน้ำ ก่อนจะย้ายไปสอนที่มหาวิทยาลัยฮาร์วาร์ดในปี 1919 และได้เป็นศาสตราจารย์เต็มตัวในปี 1927

เคลล็อกก์เสียชีวิตกะทันหันด้วยอาการหัวใจวายขณะปีนเขาใกล้เมืองกรีนวิลล์ รัฐเมน เมื่อวันที่ 26 กรกฎาคม ค.ศ. 1932 ขณะกำลังเขียนตำราเล่มต่อไปเพื่อขยายความจาก Foundations of Potential Theory เพื่อนร่วมงานอย่างเบิร์คฮอฟฟ์เขียนไว้อาลัยว่า เคลล็อกก์มีน้ำใจและเสน่ห์เฉพาะตัวที่หายาก พร้อมความคิดริเริ่มที่เปี่ยมด้วยความคิดสร้างสรรค์

มรดกที่ยังคำนวณอยู่ในทุกวันนี้

ทฤษฎีศักย์ที่เคลล็อกก์วางรากฐานไว้ ยังคงเป็นแกนกลางของฟิสิกส์คณิตศาสตร์สมัยใหม่ สมการลาปลาซและสมการปัวซองที่เกี่ยวข้องกันเป็นแกนหลักของระเบียบวิธีไฟไนต์เอลิเมนต์ (Finite Element Method) ที่ใช้จำลองการไหลของความร้อน สนามไฟฟ้า และโครงสร้างทางวิศวกรรมในซอฟต์แวร์คำนวณสมัยใหม่ ซึ่งเป็นหัวข้อที่ต่อยอดจากวิชาระเบียบวิธีเชิงตัวเลขโดยตรง ส่วนทฤษฎีบทจุดตรึงแบบเบิร์คฮอฟฟ์-เคลล็อกก์ก็ยังเป็นเครื่องมือมาตรฐานในการวิเคราะห์เชิงฟังก์ชันและทฤษฎีสมการเชิงอนุพันธ์ไม่เชิงเส้นจนถึงทุกวันนี้

กิจกรรมสำหรับผู้เรียน

1. ตรวจสอบฟังก์ชันฮาร์มอนิก: ตรวจสอบว่า $u(x,y) = x^2 – y^2$ และ $u(x,y,z) = \dfrac{1}{\sqrt{x^2+y^2+z^2}}$ (เมื่อ $(x,y,z) \neq (0,0,0)$) สอดคล้องกับสมการลาปลาซหรือไม่
2. ใช้ทฤษฎีบทไดเวอร์เจนซ์: พิสูจน์เอกลักษณ์ของกรีนข้อแรก (Green’s first identity) โดยเริ่มจากทฤษฎีบทไดเวอร์เจนซ์กับสนามเวกเตอร์ $\mathbf{F} = u\nabla v$
3. อภิปรายแนวคิด: เปรียบเทียบแนวคิด “ทฤษฎีบทการมีอยู่” (existence theorem) ของทฤษฎีบทจุดตรึง กับการหาคำตอบเชิงตัวเลขโดยตรง เหตุใดนักคณิตศาสตร์จึงให้ความสำคัญกับการพิสูจน์ว่าคำตอบ “มีอยู่จริง” ก่อนจะพยายามคำนวณหาคำตอบนั้น
4. เชื่อมโยงกับฟิสิกส์: ให้นักเรียนยกตัวอย่างปรากฏการณ์ทางฟิสิกส์อย่างน้อย 3 อย่างที่อธิบายได้ด้วยฟังก์ชันฮาร์มอนิก พร้อมอธิบายว่าเหตุใดสมการลาปลาซจึงเกิดขึ้นซ้ำ ๆ ในบริบทที่แตกต่างกัน

References

• Kellogg, O. D. (1929). Foundations of Potential Theory. Berlin: Julius Springer.
• Birkhoff, G. D., & Kellogg, O. D. (1922). “Invariant Points in Function Space.” Transactions of the American Mathematical Society, 23(1), 96–115.
• Kellogg, O. D. (1912). “Harmonic Functions and Green’s Integral.” Transactions of the American Mathematical Society, 13(1), 109–132.
• Birkhoff, G. D. (1933). “Oliver Dimon Kellogg — In Memoriam.” Bulletin of the American Mathematical Society, 39(3), 171–177.
• O’Connor, J. J., & Robertson, E. F. “Oliver Kellogg.” MacTutor History of Mathematics Archive, University of St Andrews.