A note on Leibniz rule for difference quotient

तकनीकी सारांश: अंतर भागफल (Difference Quotient) के लिए लाइबनिज नियम पर एक टिप्पणी

समस्या विवरण
परिमित अंतर विधि (Finite Difference Method - FDM) अवकल समीकरणों को हल करने के लिए एक मानक संख्यात्मक तकनीक है, जो निरंतर अवकलजों (continuous derivatives) को असतत अंतर भागफलों (discrete difference quotients) द्वारा अनुमानित करती है। जबकि अवकलों के लिए शास्त्रीय लाइबनिज नियम सुस्थापित है, यह टिप्पणी विशेष रूप से अंतर भागफल ऑपरेटर के लिए एक संगत लाइबनिज नियम के व्युत्पन्न को संबोधित करती है। लेखक दो फलनों के $r$-वें क्रम के अंतर भागफल के लिए एक कठोर उत्पाद नियम स्थापित करने का लक्ष्य रखते हैं, जो प्रथम-क्रम के उत्पाद नियम का $r$-वें क्रम और $n$ फलनों के उत्पादों तक विस्तार करता है। यह कार्य विशेष बहुपदों और संख्याओं के अपभ्रंश (degenerate) संस्करणों के लिए संभावित अनुप्रयोगों द्वारा प्रेरित है, जो इस क्षेत्र में हालिया साहित्य का संदर्भ देता है।

कार्यप्रणाली
लेखक एक जटिल-मान वाले फलन $f$ और एक गैर-शून्य वास्तविक संख्या $\lambda$ के लिए अंतर भागफल ऑपरेटर $\delta_\lambda$ को इस प्रकार परिभाषित करते हैं:
$$(\delta_\lambda f)(x) = \frac{f(x+\lambda) - f(x)}{\lambda}$$
कार्यप्रणाली दो प्राथमिक चरणों में आगे बढ़ती है:

1. दो फलनों के लिए आगमन-आधारित व्युत्पत्ति (Inductive Derivation):
   $\delta_\lambda$ की परिभाषा से प्राप्त प्रथम-क्रम उत्पाद नियम से शुरू करते हुए:
   $$\delta_\lambda(fg) = \lambda(\delta_\lambda f)(\delta_\lambda g) + (\delta_\lambda f)g + f(\delta_\lambda g)$$
   लेखक इसे $f$ और $g$ के $r$-वें क्रम के अंतर भागफल, $\delta_\lambda^r(fg)$ तक सामान्यीकृत करने के लिए गणितीय आगमन (mathematical induction) का उपयोग करते हैं। प्रमाण में आगमन चरण में उत्पन्न पदों पर प्रथम-क्रम नियम को लागू करना और परिणामी योगों को पुनर्व्यवस्थित करने के लिए द्विपद गुणांकों (binomial coefficients) से संबंधित कॉम्बिनेटोरियल पहचानों का उपयोग करना शामिल है।

2. ऑपरेटर बीजगणित के माध्यम से $n$ फलनों तक विस्तार:
   $n$ फलनों ($f_1 f_2 \cdots f_n$) के उत्पाद के लिए नियम का विस्तार करने के लिए, लेखक एक गुणात्मक ऑपरेटर $L_\lambda = I + \lambda\delta_\lambda$ पेश करते हैं, जहाँ $I$ तत्समक (identity) ऑपरेटर है। वे प्रदर्शित करते हैं कि $L_\lambda$ जटिल-मान वाले फलनों के बीजगणित पर गुणात्मक है, जो $L_\lambda(fg) = L_\lambda(f)L_\lambda(g)$ को संतुष्ट करता है। इस ऑपरेटर के संदर्भ में अंतर भागफल को व्यक्त करके ($\delta_\lambda = \frac{L_\lambda - I}{\lambda}$) और द्विपद प्रमेय (binomial theorem) लागू करके, वे $n$ फलनों के उत्पाद के लिए $r$-वें क्रम के अंतर भागफल के लिए एक सामान्य सूत्र व्युत्पन्न करते हैं।

मुख्य योगदान और परिणाम

• प्रमेय 1.1 (दो फलनों के लिए लाइबनिज नियम):
  यह शोध पत्र दो फलनों $f$ और $g$ के उत्पाद के $r$-वें क्रम के अंतर भागफल के लिए एक बंद-रूप (closed-form) अभिव्यक्ति स्थापित करता है:
  $$\delta_\lambda^r(fg) = \sum_{l=0}^r \lambda^{r-l} \binom{r}{l} \sum_{k=0}^l \binom{l}{k} (\delta_\lambda^{r-l} f)(\delta_\lambda^{k+r-l} g)$$
  लेखक सत्यापित करते हैं कि $\lambda \to 0$ की सीमा लेने पर यह शास्त्रीय लाइबनिज नियम को पुनः प्राप्त करता है।

• प्रमेय 1.3 ($n$ फलनों के लिए लाइबनिज नियम):
  लेखक $n$ फलनों के उत्पाद के लिए परिणाम का सामान्यीकरण करते हैं। सूत्र को ऑपरेटर $L_\lambda$ का उपयोग करके व्यक्त किया गया है:
  $$\delta_\lambda^r(f_1 f_2 \cdots f_n) = \frac{1}{\lambda^r} \sum_{k=0}^r \binom{r}{k} (-1)^{r-k} L_\lambda^k(f_1) L_\lambda^k(f_2) \cdots L_\lambda^k(f_n)$$
  जहाँ $L_\lambda^k(f_i) = (I + \lambda\delta_\lambda)^k(f_i) = \sum_{j_i=0}^k \binom{k}{j_i} \lambda^{j_i} \delta_\lambda^{j_i} f_i$।

• ऑपरेटर संबंध और द्विपद व्युत्क्रमण (Binomial Inversion):
  यह शोध पत्र अंतर भागफल ऑपरेटर और $L_\lambda$ ऑपरेटर के बीच संबंध पर प्रकाश डालता है। जनरेटिंग फंक्शन $A_n(t)$ और $\bar{A}_n(t)$ को परिभाषित करके, लेखक दिखाते हैं कि दोनों ऑपरेटरों के बीच द्विपद संबंध को $\bar{A}_n(t) = e^t A_n(t)$ के रूप में संक्षिप्त रूप से व्यक्त किया जा सकता है, जो डिस्क्रीट डिफरेंस कैलकुलस को यूलर-सीडेल (Euler-Seidel) मैट्रिक्स गुणों से जोड़ता है।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह उच्च-क्रम अंतरों और बहु-फलनों के लिए स्पष्ट सूत्रीकरण में अंतराल को भरते हुए, अंतर भागफल के लाइबनिज नियम का एक पूर्ण व्युत्पन्न प्रदान करता है। इस कार्य का महत्व "कुछ विशेष बहुपदों और संख्याओं के अपभ्रंश संस्करणों" के लिए इसकी उपयोगिता के संदर्भ में तैयार किया गया है। लेखक इस टिप्पणी में कोई नए संख्यात्मक प्रयोग या अवकल समीकरणों के विशिष्ट अनुप्रयोग प्रस्तुत नहीं करते हैं; बल्कि, वे एक सैद्धांतिक बीजगणितीय ढांचा प्रदान करते हैं जिसका उद्देश्य भविष्य के अनुसंधान में ऐसे अनुप्रयोगों का समर्थन करना है। परिणाम शास्त्रीय कैलकुलस अवधारणाओं का असतत डोमेन (discrete domain) में एक सीधा विस्तार हैं, जो विशेष बहुपदों के उद्धृत क्षेत्रों में अनुप्रयोग के लिए स्पष्ट सूत्रों के साथ प्रस्तुत किए गए हैं।