Stable and Holomorphic Implementation of Complex Functions Using a Unit Circle-Based Transform

Thankappan, Binesh

doi:https://doi.org/10.1155/2021/7817026

Journal of Mathematics

On this page

Abstract Introduction Conclusions Data Availability Conflicts of Interest Acknowledgments References Copyright Related Articles

Research Article | Open Access

Volume 2021 | Article ID 7817026 | https://doi.org/10.1155/2021/7817026

Stable and Holomorphic Implementation of Complex Functions Using a Unit Circle-Based Transform

Binesh Thankappan¹

Academic Editor: Gaetano Luciano

Received20 Sept 2021

Revised16 Nov 2021

Accepted25 Nov 2021

Published23 Dec 2021

Abstract

A stable and holomorphic implementation of complex functions in plane making use of a unit circle-based transform is presented in this paper. In this method, any complex number or function can be represented as an infinite series sum of progressive products of a base complex unit and its conjugate only, where both are defined inside the unit circle. With each term in the infinite progression lying inside the unit circle, the sum ultimately converges to the complex function under consideration. Since infinitely large number of terms are present in the progression, the first element of which may be deemed as the base unit of the given complex number, it is addressed as complex baselet so that the complex number or function is termed as the complex baselet transform. Using this approach, various fundamental operations applied on the original complex number in are mapped to equivalent operations on the complex baselet inside the unit circle, and results are presented. This implementation has unique properties due to the fact that the constituent elements are all lying inside the unit circle. Out of numerous applications, two cases are presented: one of a stable implementation of an otherwise unstable system and the second case of functions not satisfying Cauchy–Riemann equations thereby not holomorphic in plane, which are made complex differentiable using the proposed transform-based implementation. Various lemmas and theorems related to this approach are also included with proofs.

1. Introduction

Complex analysis has long been regarded as a powerful tool for solving problems in pure mathematics as well as in applied streams and engineering. Detailed studies in complex variables and analytic functions along with transforms and holomorphic analysis have been reported in [1–13]. Generalizations of Cauchy–Riemann equations, stability of polynomials, transfer functions, and analysis of complex spatial variables have been also been investigated extensively [14–18]. Significant results making use of complex analysis in applied mathematics and physics have also been reported with special relevance to electric circuits [19], quantum mechanics [20, 21], and quantum field theory [22, 23].

Theorem 1 introduces the basic concept of the proposed transform-based implementation of a complex number or an element of any complex function defined in plane. According to this theorem, any arbitrary function defined outside the unit circle can be mapped to a basic complex element defined inside the unit circle. Alternatively, this random complex function can be generated back, using its base element and the conjugate only, using an infinite progressive series that always converges.

Theorem 1. Ifis a complex number defined outside the unit circle inthat can also be an element of an arbitrary complex function and can be represented in the form, thencan be generated by the infinite progressive series, where the base unitand all other components of the series being defined inside the unit circle, with. Consequently, the entireplane outside the unit circle can be mapped to inside the unit circle.

Proof. The proof consists of three parts: Part 1, Part 2, and Lemma 1

Part 1. Defining an infinite series with sum and elements as progressive products of a base unit and its complex conjugate as follows:where , with .
The sum converges as follows:Therefore, can be represented as above, using a base unit inside the unit circle, provided exists.

Part 2. Proof for existence of base unit inside the unit circle for an arbitrary complex number or function in .
From Part 1, any arbitrary complex number outside the unit circle can be expressed in the form as follows:The real part is expressed as follows:where .
The imaginary part is expressed as follows:The solutions for and can be extracted from the following set of equations and conditions of inequalities:The additional conditions of inequalities are as follows:Therefore, the base unit of the complex number or function in exists inside the unit circle.

Lemma 1. The integerdefined in the complex planefor the vanishing progression is even, and therefore the integeris odd.

Proof. From Part 1 of proof, the sum to infinite terms isAnalyzing the lemma, with , , and also , the series is converging, and assuming at (infinity), an odd term vanishes to zero. If that happens, the next even term and all subsequent terms will be zero, and therefore, for the series, has to be defined at that odd integer (n) term under consideration. Alternatively, for the series, if this odd integer n is defined as , then the term has to vanish. This happens only when is vanished to zero because and are finite within the unit circle. This implies that if an odd integer is defined as for the series, in that term would have already vanished. However, constitutes the even term just before the term, i.e., the first term that vanishes—which would be the last term of the progression—cannot be an odd integer term in the series, and therefore, the integer defined in the complex plane for the vanishing progressive series is even. Consequently, the integer will be odd.

Using Part 1, Part 2, and Lemma 1, the transform can be represented as follows: , where the base unit and all other components of the series being defined inside the unit circle, with the condition . So, the entire plane outside the unit circle can be mapped to inside the unit circle.

Thus, the theorem is proved.

2. Terminologies: Complex Baselet and Complex Baselet Transform

Because an infinite progressive series representation of a complex number or function is used in the approach, the first element of which may be deemed as the base unit of the given complex number, the terminology complex baselet [3] denoted by is used in the paper and the complex number or function is termed as the complex baselet transform [3] of , denoted by .

The complex baselet transform of is formally defined from Theorem 1 as follows: , where and all other elements of the series being defined inside the unit circle, with . The given complex number outside the unit circle becomes the complex baselet transform of . Additionally, the inverse complex baselet transform can be defined recursively as follows: even though estimation of can be carried out using Part 2 of proof in the aforementioned theorem. However, this recursive relation is useful for further analysis.

Lemma 2. If, defined inside the unit circle is the complex baselet of, inoutside the unit circle, then, whererepresents the complex conjugate of.

Proof. Proof of Lemma 2 follows from Theorem 1 and Lemma 1

3. Theorems on Complex Baselet Transform

Theorem 2. Conjugate operation of a complex number inplane is transformed as is to the complex baselet inside the unit circle, i.e., whenbecomesinplane, the complex baselet gets transformed tofrominside the unit circle.

Proof. Assume as proposed in the theorem, is the complex baselet of . Next, the basic generation series becomes, where with ,and in .
Therefore, conjugate operation on in is transformed as is to inside the unit circle.

Theorem 3. Letbe a complex number defined outside the unit circle in, which is the complex baselet transform ofdefined inside the unit circle, with the scalarand, then the operation on,carried out inproduces a transformationon the complex baseletofinside the unit circle, as the solution ofwith, for N even andwith, for N odd.

Proof. Let the given operation on produce a transformation on as follows:This can be expressed as follows:For N even,i.e., , for N even, with the condition for the complex baselet to be inside the unit circle.
For N odd,and , with the condition for the complex baselet to be inside the unit circle.
Therefore, the operation produces a new element in :with for N even.
Alternatively, is the solution ofwith , for N even.
Similarly, is the solution ofwith the condition , for N odd.
Thus, the theorem is proved.

Corollary 1. Let a multiplication operation be defined in , for , a complex number defined outside the unit circle, which is the complex baselet transform of defined inside the unit circle, then the operation transforms the original complex baselet of to , while is the solution ofwith the condition and .

Proof. From Theorem 3, the operation becomes a transformation on asNext, is modified to a complex quantity inside the unit circle , with being the solution ofalong with the condition and .

Corollary 2. Let a division operation be defined in , on , a complex number defined outside the unit circle, which is the complex baselet transform of defined inside the unit circle, then the operation transforms the original complex baselet of to , while is the solution ofwith the condition and .

Proof. The proof follows from Corollary 1, with modified to , where is the solution ofwith the condition and .

Theorem 4. Ifandare two complex numbers or functions defined outside the unit circle in, with their respective complex baseletsanddefined inside the unit circle, the summation operation ofandproduces a functionsuch that

Proof. Let two complex numbers or functions in be and , and their respective complex baselets be and , and the sum of complex baselets be .
From Theorem 1, let for any complex number or function in ,Substituting and simplifying, the following relation can be obtained:with the condition .
For ,For ,The sum of two complex baselets which are individually defined inside the unit circle is related to and as follows:

Corollary 3. If and are two complex numbers or functions defined outside the unit circle in , with their respective complex baselets and defined inside the unit circle, then the operation in : corresponds to a complex baselet inside the unit circle as follows:with .

Proof. The inverse complex baselet transform equation is derived as follows:Let the complex baselet transform be , for . Therefore, the relation modifies to the following:with .
Thus, the theorem is proved.

Corollary 4. If and are two complex numbers or functions defined outside the unit circle in , with their respective complex baselets and defined inside the unit circle, then the operation outside unit circle in : corresponds to a complex baselet inside the unit circle as follows:with .

Proof. The inverse complex baselet transform equation is derived as follows:For , let the complex baselet transform be . Then, the relation modifies to the following:with .
Thus, the theorem is proved.

Theorem 5. Unstable systems whose poles of the transfer functionlie outside the unit circle indomain can be implemented in a stable configuration, with no poles outside the unit circle, making use of complex baselet transform.

Proof. A system whose transfer function defined in the domain is stable if all its poles lie within the unit circle in the plane. Let the transfer function of the unstable system be expressed in the form: , where the poles are complex quantities lying outside the unit circle. Transform , where and . Let be the complex baselet of the numerator of the transfer function, defined inside the unit circle. Due to the presence of denominator whereby poles are present outside the unit circle for this function, the new transformed complex baselet denoted by z will be the solution of the equation with converging RHS due to a necessary condition, expressed as follows. Therefore,with the condition .
When implemented inside the unit circle as in equation (36), the transfer function does not have any poles outside the unit circle and is stable. Therefore, those unstable systems whose poles lie outside the unit circle in domain can be implemented in a stable configuration, using complex baselet transform.

Theorem 6. A counter clockwise rotation defined inside the unit circle on the complex baseletsatisfies the Cauchy–Riemann equations with the partial derivatives defined with respect toandand hence differentiable with respect toand holomorphic inside the unit circle. The derivative ofbecomes the same counter clockwise rotation of the derivative of, which becomes.

Proof. Let a counter clockwise rotation be defined on the complex baselet inside the unit circle as follows:Next, , lying inside the unit circle can be expressed as follows:Applying Cauchy–Riemann equations inside the unit circle,Therefore,From equations (37) and (40), .

Theorem 7. The first derivative of a counter clockwise rotation defined inside the unit circle on thepower of the complex baselet,, where n and m are integers, becomes the same counter clockwise rotation of the derivative of, which becomes.

Proof. For , using de Moivre’s theorem and Theorem 6 as follows:For Differentiating using product rule and also using equation (41),Therefore, .

Theorem 8. A clockwise rotation defined inside the unit circle on the complex baselet assatisfies the Cauchy–Riemann equations, with the partial derivatives defined with respect toandand thus differentiable with respect toand holomorphic inside the unit circle. The derivative ofbecomes a clockwise rotation of the derivative ofby the same angle, which will be.

Proof. Let a clockwise rotation be defined on the complex baselet as follows:Then, , inside the unit circle.For verifying the function to be holomorphic, applying Cauchy–Riemann equations inside the unit circle,Therefore,From equations (44) and (47), .

Theorem 9. The first derivative of a clockwise rotation defined inside the unit circle on the npower of the complex baselet,, where n and m are integers, will be equivalent to a clockwise rotation of the derivative of, by the same angle, which becomes.

Proof. For , using de Moivre’s theorem and Theorem 8,For ,Differentiating using product rule and also using Theorem 8,Therefore, .

Theorem 10. The nonanalytic functiondefined inoutside the unit circle and not satisfying the Cauchy–Riemann equations which constitute a necessary and sufficient condition for it to be complex differentiable in, when implemented using the complex baselet, can be made complex differentiable inside the unit circle. Consequently, any complex differential operation onin, which does not exist, is made equivalent to a differential operation on the complex baselet-based implementation inside the unit circle, which always converges and therefore exists.

Proof. First, complex derivative of outside the unit circle is computed as follows:Furthermore,This is simplified as follows:where and will be quantities lying inside the unit circle; therefore, the RHS is the equivalent first derivative for in terms of the complex baselet of . Anything above first derivative is redundant in implementation because the second or higher derivatives can be implemented inside the unit circle with their own complex baselets. However, the complex conjugate is not complex differentiable in the complex plane Z except at and also not holomorhic. can also be implemented using the complex baselet of as follows:This implementation is complex differentiable from Theorem 9, and also applying the chain rule,which can be simplified to the following expression:Therefore, using the complex baselet-based implementation, exists for all except for . which exists in outside the unit circle does not satisfy Cauchy–Riemann equation and not analytic because it is not complex differentiable except at is made complex differentiable using the complex baselet transform approach. It is infinitely differentiable and hence holomorphic in this implementation.

Theorem 11. The nonanalytic functiondefined in, not satisfying the Cauchy–Riemann equations which constitute a necessary and sufficient condition for it to be complex differentiable in, can be made complex differentiable inside the unit circle using the complex baselet implementation and so any differential operation onin, that does not exist, is made equivalent to a differential operation on the complex baselet-based implementation inside the unit circle, which always converges and hence exists.

Proof. The complex baselet implementation of inside unit circle is as follows:Furthermore, in , outside the unit circle,However, .From Theorem 10,Therefore,Then, the following relation is obtained:which exists and always converges. Thus, using the complex baselet implementation, exists for all except for .
, which exists in outside the unit circle does not satisfy Cauchy–Riemann equation and not holomorphic because it is not complex differentiable, is made complex differentiable using the complex baselet transform approach. It is infinitely differentiable and hence holomorphic in this implementation.

Theorem 12. The nonanalytic functiondefined in, not satisfying the Cauchy–Riemann equations which constitute a necessary and sufficient condition for it to be complex differentiable in, can be made complex differentiable inside the unit circle using the complex baselet implementation. Thus, any differential operation onin, that does not exist, is made equivalent to a differential operation on the complex baselet-based implementation inside the unit circle, which always converges and therefore exists.

Proof. The complex baselet implementation of inside unit circle is as follows:Furthermore, in , outside the unit circle,However, .Equation (66) is converging.Equation (68) is converging.Substituting equations (66), (67), (68), and (69) in equation (65),Therefore,This exists and always converges. Consequently, exists for all except for .
Therefore, that exists in outside the unit circle and not satisfying the Cauchy–Riemann equations because it is not complex differentiable is made complex differentiable using the complex baselet transform approach. The transformed expression is infinitely differentiable and hence holomorphic in this implementation.

4. Implementation Unit of Complex Baselet Transform

The implementation unit of using its complex baselet, , is displayed in Figure 1. This structure follows directly from Part 1 of the proof of Theorem 1. A toggle switch with initial position at 1 and toggle frequency , where is the time of computation of the multiplier, forms the first input of the multiplier. The second input constitutes a feedback loop of the multiplier output as shown, with the initial condition for this input being unity. The accumulator unit consecutively sums the components of the progressive series. The series being infinite but converging in nature demands only a finite and limited memory storage of the accumulator, that is, designed to have a settling time , after which only progressive series is made available at the output. This settling time allows sufficient number of terms being summed up in the infinite series so that the output will be the complex baselet transform implementation of , from its complex baselet input , with the designed accuracy. The symbolic block representation of complex baselet transform is displayed in Figure 2.

5. Conclusions

Stability along with holomorphicity constitutes a significant and desirable property set for many complex functions in plane. A transform-based implementation using complex baselet transform is proposed that comprises an infinite converging series of progressive products of a base unit called complex baselet and its conjugate only. Various operations applied on the original complex function are mapped to equivalent operations on the complex baselet inside the unit circle. This method of implementation has got a distinct feature that the component elements are all lying inside the unit circle. Theorems and lemmas related to the proposed approach are also presented with proofs. A stable implementation of a normally unstable complex function is developed using the approach. Additionally, functions not satisfying Cauchy–Riemann equations and consequently not holomorphic in are made complex differentiable with the proposed transform–based implementation. Analysis can be extended further for the proposed approach, which can reveal the in-depth geometrical interpretation and patterns.

Data Availability

The data used to support the findings of this study are included within the article.

Conflicts of Interest

The author declares that there are no conflicts of interest.

Acknowledgments

The author gratefully acknowledges the support provided by the Department of Applied Sciences, Govt. Model Engineering College-APJ Abdul Kalam Technological University, Ernakulam, India, for carrying out this research work. The author would also like to thank Editage (http://www.editage.com) for the English language editing services.

References

L. Ahlfors, Complex Analysis, McGraw-Hill, New York, NY, USA, 3rd edition, 1979.
A. S. Kucik, “Carleson measures for hilbert spaces of analytic functions on the complex half-plane,” Journal of Mathematical Analysis and Applications, vol. 445, no. 1, pp. 476–497, 2017.
View at: Publisher Site | Google Scholar
T. Binesh, A Transform Based Infinite Series Implementation Inside Unit Circle for Any Complex Number or Function and its Applications, 2019, https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3512147.
E. T. Whittaker and G. N. Watso, A Course of Modern Analysis, Cambridge University Press, Cambridge, England, 1979.
R. Spiegel Murray, Theory and Problems of Complex Variables—with an Introduction to Conformal Mapping and its Applications, McGraw-Hill, New York, NY, USA, 3rd edition, 1964.
S. Bochner and K. Chandrasekkharan, “Fourier transform,” Annals of Mathematics Studies, vol. 19, p. 3, 1949.
View at: Google Scholar
T. Ohsawa, “Completeness of noncompact analytic spaces,” Publications of the Research Institute for Mathematical Sciences, vol. 20, no. 3, pp. 683–692, 1984.
View at: Publisher Site | Google Scholar
M. Mittal and V. I. Paulsen, “Operator algebras of functions,” Journal of Functional Analysis, vol. 258, no. 9, pp. 3195–3225, 2010.
View at: Publisher Site | Google Scholar
S. N. Mergelyan, “Uniform approximation to functions of a complex variables,” Uspekhi Mathematical Nauk (Russia Math. Surveys), vol. 7, no. 2, pp. 31–122, 1952.
View at: Google Scholar
F. K. Yu, “Uniform n-analytic polynomial approximations of functions on rectifiable contours in C,” Mathematical Notes, vol. 59, no. 4, pp. 435–439, 1996.
View at: Google Scholar
A. Boivin, P. M. Gauthier, and P. V. Paramonov, “Uniform approximation on closed subsets of C by polyanalytic functions,” Izvestiya: Mathematics, vol. 68, no. 3, pp. 447–459, 2004.
View at: Publisher Site | Google Scholar
R. Narasimhan, Analysis on Real and Complex Manifolds(Advanced Studies in Pure Mathematics), North-Holland publication, Amsterdam, Netherlands, 1st edition, 1964.
J. Verdera, “C^m-approximation by solution of elliptic equations and calderon–zygmund operators,” Duke Mathematical Journal, vol. 55, no. 1, pp. 157–187, 1987.
View at: Publisher Site | Google Scholar
A. Aziz, “Inequalities for the polar derivative of a polynomial,” Journal of Approximation Theory, vol. 55, no. 2, pp. 183–193, 1988.
View at: Publisher Site | Google Scholar
E. M. Stein and G. Weiss, “Generalization of the cauchy-riemann equations and representations of the rotation group,” American Journal of Mathematics, vol. 90, no. 1, pp. 163–196, 1968.
View at: Publisher Site | Google Scholar
A. Grinshpan, D. S. Kaliuzhnyi-Verbovetskyi, V. Vinnikov, and H. J. Woerdeman, “Stable and real-zero polynomials in two variables,” Multidimensional Systems and Signal Processing, vol. 27, no. 1, pp. 1–26, 2016.
View at: Publisher Site | Google Scholar
B. J. Levin, “Distribution of zeros of entire functions,” in Translations of Mathematical Monographs, vol. 5, American Mathematical Society, Providence, RI, USA, 1980, Revised Edition, Translated from Russian by R. P. Boas, J. M. Danskin, F. M. Goodspeed, J. Korevaar, A. L. Shields and H. P. Thielman.
View at: Google Scholar
C. G. Gal, S. G. Gal, and J. A. Goldstein, “Evolution Equations with real time variable and complex spatial variables,” Complex Variables and Elliptic Equations, vol. 53, no. 8, pp. 753–774, 2014.
View at: Google Scholar
M. E. Van Valkenburg, Network Analysis, Prentice Hall Inc, Englewood Cliffs, NJ, USA, 2st edition, 1964.
L. D. Landau and E. M. Lifshitz, Quantum Mechanics: Non Relativistic Theory, Butterworth-Heinemann, Oxford, UK, 3rd edition, 1991.
F. Strocchi, “Complex coordinates and quantum mechanics,” Reviews of Modern Physics, vol. 38, no. 1, pp. 36–40, 1966.
View at: Publisher Site | Google Scholar
L. Faddeev, A. Slavnov, and G. Fields, Introduction to Quantum Theory, Benjamin Cummings, San Francisco, CA, USA, 1980.
M. Blasone and L. Smaldone, “Functional integrals and inequivalent representations in quantum field theory,” Annals of Physics, vol. 383, pp. 207–238, 2017.
View at: Publisher Site | Google Scholar

Copyright

Copyright © 2021 Binesh Thankappan. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

PDF Download Citation

Download other formats

Order printed copies

Views

211

Downloads

373

Citations