รูดอล์ฟ ลิปชิตซ์: เจ้าของเงื่อนไขที่ใช้กันทุกวันนี้ตั้งแต่สมการเชิงอนุพันธ์ถึงปัญญาประดิษฐ์

Rudolf Lipschitz (1832–1903)

นักคณิตศาสตร์ชาวเยอรมันเจ้าของ “ภาวะต่อเนื่องแบบลิปชิตซ์” (Lipschitz continuity) เงื่อนไขสำคัญที่ใช้กันอย่างแพร่หลายในสมการเชิงอนุพันธ์และการวิเคราะห์เชิงคณิตศาสตร์ และกลายเป็นหนึ่งในเครื่องมือพื้นฐานที่สุดที่ใช้กันอยู่ในปัจจุบัน ทั้งในคณิตศาสตร์บริสุทธิ์และการเรียนรู้ของเครื่อง (machine learning)

ชีวิตช่วงต้นในปรัสเซียตะวันออก

รูดอล์ฟ อ็อตโต ซีกิสมุนด์ ลิปชิตซ์ เกิดเมื่อวันที่ 14 พฤษภาคม ค.ศ. 1832 ที่เมืองเคอนิกส์แบร์ก ปรัสเซียตะวันออก (ปัจจุบันคือเมืองคาลินินกราด ประเทศรัสเซีย) เขาเข้าศึกษาที่มหาวิทยาลัยเคอนิกส์แบร์กภายใต้การดูแลของฟรันทซ์ นอยมันน์ (Franz Neumann) นักฟิสิกส์คณิตศาสตร์ชื่อดัง ก่อนจะย้ายไปศึกษาต่อที่กรุงเบอร์ลิน ซึ่งเขาได้เรียนกับปีเตอร์ กุสตาฟ เลอเฌิน ดีรีชเลต์ (Peter Gustav Lejeune Dirichlet) นักคณิตศาสตร์ระดับตำนาน ลิปชิตซ์สำเร็จการศึกษาระดับปริญญาเอกในปี 1853

ก้าวแรกในอาชีพการสอน

หลังสำเร็จการศึกษา ลิปชิตซ์ใช้เวลาสี่ปีสอนอยู่ที่โรงเรียนมัธยมในเมืองเคอนิกส์แบร์กและเอลบิง ก่อนจะได้รับตำแหน่งอาจารย์พิเศษ (Privatdozent) ที่เบอร์ลินในปี 1857 ซึ่งเป็นปีเดียวกันที่เขาแต่งงานกับอีดา พาชา ในปี 1862 เขาได้รับตำแหน่งศาสตราจารย์พิเศษ (extraordinary professor) ที่เมืองเบรสเลา และร่วมก่อตั้งสัมมนาวิชาคณิตศาสตร์ขึ้นที่นั่นด้วย

ตำแหน่งตลอดชีวิตที่บอนน์

ในปี 1864 ลิปชิตซ์ย้ายไปรับตำแหน่งศาสตราจารย์เต็มตัว (ordinary professor) ที่มหาวิทยาลัยบอนน์ และทำงานอยู่ที่นั่นตลอดช่วงที่เหลือของอาชีพการงาน แม้ในปี 1873 เขาจะได้รับข้อเสนอให้ไปรับตำแหน่งศาสตราจารย์ที่เกิททิงเงนแทนตำแหน่งของอัลเฟรด เคลบ์ช (Alfred Clebsch) ที่เพิ่งเสียชีวิตลง แต่ลิปชิตซ์เลือกที่จะปฏิเสธข้อเสนอนี้และอยู่ที่บอนน์ต่อไปจนตลอดชีวิตการทำงาน

ภาวะต่อเนื่องแบบลิปชิตซ์: เงื่อนไขที่ทรงอิทธิพลที่สุด

ผลงานที่สร้างชื่อเสียงให้ลิปชิตซ์มากที่สุดคือ “เงื่อนไขลิปชิตซ์” (Lipschitz condition) ซึ่งเป็นอสมการที่กำหนดขอบเขตการเปลี่ยนแปลงของฟังก์ชัน โดยฟังก์ชัน f จะเรียกว่ามีภาวะต่อเนื่องแบบลิปชิตซ์ หากมีค่าคงที่ K ที่ทำให้ระยะห่างระหว่างค่าของฟังก์ชันที่จุดสองจุดใด ๆ ไม่มากกว่า K เท่าของระยะห่างระหว่างจุดทั้งสองนั้น เงื่อนไขนี้เข้มงวดกว่าภาวะต่อเนื่องธรรมดา แต่ผ่อนปรนกว่าการดิฟเฟอเรนเชียลได้ จึงเป็นเครื่องมือที่ทรงพลังอย่างยิ่งในการควบคุมพฤติกรรมของฟังก์ชัน

ลิปชิตซ์นำเงื่อนไขนี้มาใช้พิสูจน์ทฤษฎีบทสำคัญเกี่ยวกับการมีอยู่และความเป็นเอกภาพของคำตอบของสมการเชิงอนุพันธ์สามัญ (ordinary differential equation) ซึ่งปัจจุบันเป็นที่รู้จักกันในชื่อทฤษฎีบทปีการ์-ลินเดอเลิฟ (Picard–Lindelöf theorem) โดยเงื่อนไขลิปชิตซ์คือเงื่อนไขสำคัญที่การันตีว่าสมการเชิงอนุพันธ์สามัญที่กำหนดเงื่อนไขค่าตั้งต้น (initial value problem) จะมีคำตอบที่เป็นเอกภาพเพียงหนึ่งเดียวเท่านั้น หากไม่มีเงื่อนไขนี้ สมการเชิงอนุพันธ์บางสมการอาจมีคำตอบมากกว่าหนึ่งคำตอบ หรือไม่มีคำตอบที่มีเสถียรภาพเลยก็เป็นได้

จากคณิตศาสตร์บริสุทธิ์สู่การเรียนรู้ของเครื่อง

แม้ลิปชิตซ์จะคิดค้นเงื่อนไขนี้ขึ้นในบริบทของสมการเชิงอนุพันธ์ในศตวรรษที่ 19 แต่ภาวะต่อเนื่องแบบลิปชิตซ์กลับกลายเป็นแนวคิดที่มีบทบาทสำคัญอย่างไม่คาดคิดในวงการวิทยาการคอมพิวเตอร์และการเรียนรู้ของเครื่องยุคปัจจุบัน ในการวิเคราะห์เชิงตัวเลข (numerical analysis) เงื่อนไขนี้ใช้ค้ำประกันความเสถียรของขั้นตอนวิธีแก้สมการเชิงอนุพันธ์ ในทฤษฎีการหาค่าเหมาะที่สุด (optimization theory) ค่าคงที่ลิปชิตซ์ของฟังก์ชันสูญเสีย (loss function) เป็นปัจจัยสำคัญที่กำหนดว่าอัลกอริทึมการลดค่าตามความชัน (gradient descent) ที่ใช้ฝึกโครงข่ายประสาทเทียมจะลู่เข้าได้เร็วเพียงใดและมีเสถียรภาพหรือไม่

นอกจากนี้ เงื่อนไขลิปชิตซ์ยังเป็นหัวใจสำคัญของงานวิจัยด้านความทนทาน (robustness) ของโครงข่ายประสาทเทียมในปัจจุบัน นักวิจัยหลายกลุ่มพยายามจำกัดค่าคงที่ลิปชิตซ์ของโครงข่ายประสาทเทียมเพื่อป้องกันการโจมตีแบบ adversarial examples และเพิ่มความมั่นคงของแบบจำลอง รวมถึงเป็นองค์ประกอบสำคัญในโครงข่ายต่อต้านเชิงสร้างสรรค์ (Generative Adversarial Networks หรือ GAN) บางประเภท เช่น Wasserstein GAN ที่ต้องควบคุมค่าคงที่ลิปชิตซ์ของฟังก์ชันตัดสิน (discriminator) อย่างเข้มงวดเพื่อให้การฝึกฝนมีเสถียรภาพ

ผลงานอื่นที่หลากหลาย

แม้เงื่อนไขลิปชิตซ์จะเป็นผลงานที่โด่งดังที่สุด แต่ลิปชิตซ์ยังมีผลงานวิจัยที่ครอบคลุมหลากหลายสาขาอย่างน่าทึ่ง ทั้งทฤษฎีจำนวน ฟังก์ชันเบสเซล (Bessel function) อนุกรมฟูริเยร์ สมการเชิงอนุพันธ์สามัญและเชิงอนุพันธ์ย่อย กลศาสตร์เชิงวิเคราะห์ (analytical mechanics) และทฤษฎีศักย์ (potential theory)

นอกจากนี้ลิปชิตซ์ยังมีคุณูปการสำคัญด้านพีชคณิตเชิงนามธรรม โดยเฉพาะงานเกี่ยวกับควอเทอร์เนียน (quaternion) พีชคณิตคลิฟฟอร์ด (Clifford algebra) และกรุปสปิน (spin group) ซึ่งเป็นโครงสร้างทางพีชคณิตที่มีความสำคัญอย่างมากในฟิสิกส์เชิงทฤษฎีสมัยใหม่ โดยเฉพาะในกลศาสตร์ควอนตัมและทฤษฎีสนามควอนตัม

บั้นปลายชีวิต

รูดอล์ฟ ลิปชิตซ์เสียชีวิตเมื่อวันที่ 7 ตุลาคม ค.ศ. 1903 ที่เมืองบอนน์ ประเทศเยอรมนี ขณะอายุ 71 ปี

มรดกที่ทิ้งไว้

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