Giacinto Morera: วิศวกรผู้ให้เกณฑ์สำคัญในการพิสูจน์ฟังก์ชัน Holomorphic

ในวิชาการวิเคราะห์เชิงซ้อน การพิสูจน์ว่าฟังก์ชันหนึ่งเป็นฟังก์ชันโฮโลมอร์ฟิก (holomorphic function) มักต้องอาศัยเงื่อนไขที่ตรวจสอบได้ง่ายและชัดเจน หนึ่งในเกณฑ์ที่นักคณิตศาสตร์ใช้กันมาจนถึงทุกวันนี้คือ Morera’s theorem ซึ่งตั้งชื่อตาม Giacinto Morera นักคณิตศาสตร์และวิศวกรชาวอิตาลี

จากตระกูลพ่อค้าผู้มั่งคั่งสู่วงการวิชาการ

Giacinto Morera เกิดเมื่อวันที่ 18 กรกฎาคม ค.ศ. 1856 ที่เมือง Novara ประเทศอิตาลี เป็นบุตรของ Giacomo Morera พ่อค้าผู้มั่งคั่ง และ Vittoria Unico ฐานะที่ดีของครอบครัวช่วยให้เขาสามารถทุ่มเทให้กับการศึกษาได้อย่างเต็มที่หลังจบการศึกษาระดับ laurea แม้จะมีพื้นฐานทางครอบครัวที่เอื้ออำนวย แต่ Morera ก็เป็นที่รู้จักในฐานะผู้ที่ทำงานหนักอย่างยิ่งและใช้ความขยันนี้ในงานวิจัยของตนเองอย่างต่อเนื่อง

เขาสำเร็จการศึกษาด้านวิศวกรรมและคณิตศาสตร์จากมหาวิทยาลัย Turin โดยได้ศึกษากับอาจารย์ชื่อดังหลายท่าน เช่น Enrico D’Ovidio, Angelo Genocchi และ Francesco Siacci ซึ่ง Morera ยกย่อง Siacci ว่าไม่เพียงเป็น “ครู” ทางวิชาการเท่านั้น แต่ยังเป็นครูสอนเรื่องชีวิตให้กับเขาด้วย หลังจากนั้นเขาไปศึกษาต่อที่มหาวิทยาลัย Pavia ภายใต้การดูแลของ Eugenio Beltrami และ Felice Casorati จากนั้นไปที่มหาวิทยาลัย Pisa กับ Enrico Betti และ Ulisse Dini และสุดท้ายไปยังเมือง Leipzig เพื่อศึกษากับ Adolph Mayer และ Felix Klein

เส้นทางอาชีพและผลงานด้านกลศาสตร์

Morera ได้รับตำแหน่งศาสตราจารย์ด้านกลศาสตร์เชิงเหตุผล (rational mechanics) ที่มหาวิทยาลัย Genoa ในปี ค.ศ. 1886 และอยู่ที่นั่นนานถึง 14-15 ปี ทำหน้าที่ทั้งอาจารย์ คณบดี และอธิการบดี ก่อนจะย้ายไปดำรงตำแหน่งเดียวกันที่มหาวิทยาลัย Turin ในปี ค.ศ. 1901 สืบต่อจาก Vito Volterra

งานวิจัยของ Morera มุ่งเน้นไปที่ปัญหาพื้นฐานของกลศาสตร์ โดยเฉพาะการประยุกต์ใช้วิธี Pfaff กับระบบสมการเชิงอนุพันธ์ย่อยแบบ Jacobian และปัญหาการแปลง Lie ของสมการเชิงบัญญัติของการเคลื่อนที่ นักประวัติศาสตร์คณิตศาสตร์บางท่านตั้งข้อสังเกตว่า Morera อาจไม่ใช่นักคิดที่สร้างสรรค์ทฤษฎีใหม่ทั้งหมด แต่มีความสามารถเชิงวิเคราะห์และวิพากษ์สูง ทำให้เขาเชี่ยวชาญในการต่อยอดและพัฒนาทฤษฎีที่มีอยู่แล้วให้สมบูรณ์ยิ่งขึ้น รวมถึงการแก้ปัญหาที่ซับซ้อนและยากที่คนอื่นแก้ไม่ได้

Morera’s Theorem: เกณฑ์กลับด้านของทฤษฎีบทโคชี

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

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

นอกจากนี้ Morera ยังมีผลงานสำคัญด้านทฤษฎีความยืดหยุ่นเชิงเส้น (linear elasticity) รวมถึง Morera stress functions ที่ใช้ในการวิเคราะห์ความเค้นภายในวัสดุ และงานด้านฟังก์ชันฮาร์มอนิกที่ประยุกต์ใช้อธิบายสนามความโน้มถ่วงของทรงรี (ellipsoid)

มรดกที่ยังใช้งานจนถึงทุกวันนี้

Giacinto Morera เสียชีวิตที่เมือง Turin ในปี ค.ศ. 1909 ตลอดชีวิตเขาได้รับเกียรติยศทางวิชาการมากมาย ทั้งการเป็นสมาชิกสมทบของ Accademia Nazionale dei Lincei ในปี ค.ศ. 1896 และสมาชิกเต็มตัวในปี ค.ศ. 1907 รวมถึงสมาชิกของ Accademia delle Scienze di Torino แม้ Morera จะไม่ได้เป็นนักคิดที่สร้างทฤษฎีใหม่จำนวนมาก แต่ทฤษฎีบทเพียงบทเดียวที่ใช้ชื่อของเขากลับกลายเป็นเครื่องมือพื้นฐานที่นักคณิตศาสตร์ทั่วโลกยังคงใช้อยู่ในการวิเคราะห์เชิงซ้อนมาจนถึงปัจจุบัน