Showing 1–15 of 15 results for author: deLyra, J L

Complex Analysis of Real Functions VII: A Simple Extension of the Cauchy-Goursat Theorem

Authors: Jorge L. deLyra

Abstract: In the context of the complex-analytic structure within the open unit disk, that was established in a previous paper, here we establish a simple generalization of the Cauchy-Goursat theorem of complex analytic functions. We do this first for the case of inner analytic functions, and then generalize the result to all analytic functions. We thus show that the Cauchy-Goursat theorem holds even if the… ▽ More In the context of the complex-analytic structure within the open unit disk, that was established in a previous paper, here we establish a simple generalization of the Cauchy-Goursat theorem of complex analytic functions. We do this first for the case of inner analytic functions, and then generalize the result to all analytic functions. We thus show that the Cauchy-Goursat theorem holds even if the complex function has isolated singularities located on the integration contour, so long as these are all integrable ones. △ Less

Submitted 16 February, 2019; v1 submitted 21 August, 2018; originally announced August 2018.

Comments: 17 pages, 6 figures. Small formatting corrections and bibliography update

Journal ref: Transnational Journal of Mathematical Analysis and Applications Vol. 6, Issue 2, 2018, Pages 283-313

Complex Analysis of Real Functions VI: On the Convergence of Fourier Series

Authors: Jorge L. deLyra

Abstract: We define a compact version of the Hilbert transform, which we then use to write explicit expressions for the partial sums and remainders of arbitrary Fourier series. The expression for the partial sums reproduces the known result in terms of Dirichlet integrals. The expression for the remainder is written in terms of a similar type of integral. Since the asymptotic limit of the remainder being ze… ▽ More We define a compact version of the Hilbert transform, which we then use to write explicit expressions for the partial sums and remainders of arbitrary Fourier series. The expression for the partial sums reproduces the known result in terms of Dirichlet integrals. The expression for the remainder is written in terms of a similar type of integral. Since the asymptotic limit of the remainder being zero is a necessary and sufficient condition for the convergence of the series, this same condition on the asymptotic behavior of the corresponding integrals constitutes such a necessary and sufficient condition. △ Less

Submitted 16 February, 2019; v1 submitted 2 April, 2018; originally announced April 2018.

Comments: 26 pgs. Small formatting corrections and bibliography update

Journal ref: Transnational Journal of Mathematical Analysis and Applications Vol. 6, Issue 2, 2018, Pages 231-281

Complex Analysis of Real Functions V: The Dirichlet Problem on the Plane

Authors: Jorge L. deLyra

Abstract: In the context of the correspondence between real functions on the unit circle and inner analytic functions within the open unit disk, that was presented in previous papers, we show that the constructions used to establish that correspondence lead to very general proofs of existence of solutions of the Dirichlet problem on the plane. At first, this establishes the existence of solutions for almost… ▽ More In the context of the correspondence between real functions on the unit circle and inner analytic functions within the open unit disk, that was presented in previous papers, we show that the constructions used to establish that correspondence lead to very general proofs of existence of solutions of the Dirichlet problem on the plane. At first, this establishes the existence of solutions for almost arbitrary integrable real functions on the unit circle, including functions which are discontinuous and unbounded. The proof of existence is then generalized to a large class of non-integrable real functions on the unit circle. Further, the proof of existence is generalized to real functions on a large class of other boundaries on the plane, by means of conformal transformations. △ Less

Submitted 16 February, 2019; v1 submitted 30 October, 2017; originally announced October 2017.

Comments: 26 pgs. Small formatting corrections and bibliography update

Journal ref: Transnational Journal of Mathematical Analysis and Applications Vol. 6, Issue 1, 2018, Pages 181-229

Complex Analysis of Real Functions IV: Non-Integrable Real Functions

Authors: Jorge L. deLyra

Abstract: In the context of the complex-analytic structure within the unit disk centered at the origin of the complex plane, that was presented in a previous paper, we show that a certain class of non-integrable real functions can be represented within that same structure. In previous papers it was shown that essentially all integrable real functions, as well as all singular Schwartz distributions, can be r… ▽ More In the context of the complex-analytic structure within the unit disk centered at the origin of the complex plane, that was presented in a previous paper, we show that a certain class of non-integrable real functions can be represented within that same structure. In previous papers it was shown that essentially all integrable real functions, as well as all singular Schwartz distributions, can be represented within that same complex-analytic structure. The large class of non-integrable real functions which we analyze here can therefore be represented side by side with those other real objects, thus allowing all these objects to be treated in a unified way. △ Less

Submitted 16 February, 2019; v1 submitted 1 September, 2017; originally announced September 2017.

Comments: 21 pgs. Small formatting corrections and bibliography update

Journal ref: Transnational Journal of Mathematical Analysis and Applications Vol. 6, Issue 1, 2018, Pages 143-180

Complex Analysis of Real Functions III: Extended Fourier Theory

Authors: Jorge L. deLyra

Abstract: In the context of the complex-analytic structure within the unit disk centered at the origin of the complex plane, that was presented in a previous paper, we show that the complete Fourier theory of integrable real functions is contained within that structure, that is, within the structure of the space of inner analytic functions on the open unit disk. We then extend the Fourier theory beyond the… ▽ More In the context of the complex-analytic structure within the unit disk centered at the origin of the complex plane, that was presented in a previous paper, we show that the complete Fourier theory of integrable real functions is contained within that structure, that is, within the structure of the space of inner analytic functions on the open unit disk. We then extend the Fourier theory beyond the realm of integrable real functions, to include for example singular Schwartz distributions, and possibly other objects. △ Less

Submitted 16 February, 2019; v1 submitted 24 August, 2017; originally announced August 2017.

Comments: 23 pgs. Small formatting corrections and bibliography update

Journal ref: Transnational Journal of Mathematical Analysis and Applications Vol. 6, Issue 1, 2018, Pages 103-142

Complex Analysis of Real Functions II: Singular Schwartz Distributions

Authors: Jorge L. deLyra

Abstract: In the context of the complex-analytic structure within the unit disk centered at the origin of the complex plane, that was presented in a previous paper, we show that singular Schwartz distributions can be represented within that same structure, so long as one defines the limits involved in an appropriate way. In that previous paper it was shown that essentially all integrable real functions can… ▽ More In the context of the complex-analytic structure within the unit disk centered at the origin of the complex plane, that was presented in a previous paper, we show that singular Schwartz distributions can be represented within that same structure, so long as one defines the limits involved in an appropriate way. In that previous paper it was shown that essentially all integrable real functions can be represented within the complex-analytic structure. The infinite collection of singular objects which we analyze here can thus be represented side by side with those real functions, thus allowing all these objects to be treated in a unified way. △ Less

Submitted 16 February, 2019; v1 submitted 23 August, 2017; originally announced August 2017.

Comments: 23 pgs. Small formatting corrections and bibliography update

Journal ref: Transnational Journal of Mathematical Analysis and Applications Vol. 6, Issue 1, 2018, Pages 63-102

Complex Analysis of Real Functions I: Complex-Analytic Structure and Integrable Real Functions

Authors: Jorge L. deLyra

Abstract: A complex-analytic structure within the unit disk of the complex plane is presented. It can be used to represent and analyze a large class of real functions. It is shown that any integrable real function can be obtained by means of the restriction of an analytic function to the unit circle, including functions which are non-differentiable, discontinuous or unbounded. An explicit construction of th… ▽ More A complex-analytic structure within the unit disk of the complex plane is presented. It can be used to represent and analyze a large class of real functions. It is shown that any integrable real function can be obtained by means of the restriction of an analytic function to the unit circle, including functions which are non-differentiable, discontinuous or unbounded. An explicit construction of the analytic functions from the corresponding real functions is given. The complex-analytic structure can be understood as an universal regulator for analytic operations on real functions. △ Less

Submitted 16 February, 2019; v1 submitted 21 August, 2017; originally announced August 2017.

Comments: 26 pgs. Small formatting corrections and bibliography update

Journal ref: Transnational Journal of Mathematical Analysis and Applications, Vol. 6, Issue 1, 2018, Pages 15-61

Real Functions for Physics

Authors: Jorge L. deLyra

Abstract: A new classification of real functions and other related real objects defined within a compact interval is proposed. The scope of the classification includes normal real functions and distributions in the sense of Schwartz, referred to jointly as "generalized functions". This classification is defined in terms of the behavior of these generalized functions under the action of a linear low pass-fil… ▽ More A new classification of real functions and other related real objects defined within a compact interval is proposed. The scope of the classification includes normal real functions and distributions in the sense of Schwartz, referred to jointly as "generalized functions". This classification is defined in terms of the behavior of these generalized functions under the action of a linear low pass-filter, which can be understood as an integral operator acting in the space of generalized functions. The classification criterion defines a class of generalized functions which we will name "combed functions", leaving out a complementary class of "ragged functions". While the classification as combed functions leaves out many pathological objects, it includes in the same footing such diverse objects as real analytic functions, the Dirac delta "function", and its derivatives of arbitrarily high orders, as well as many others in between these two extremes. We argue that the set of combed functions is sufficient for all the needs of physics, as tools for the description of nature. This includes the whole of classical physics and all the observable quantities in quantum mechanics and quantum field theory. The focusing of attention on this smaller set of generalized functions greatly simplifies the mathematical arguments needed to deal with them. △ Less

Submitted 6 July, 2015; originally announced July 2015.

Comments: 15 pages, including 1 page of appendices, and 1 figure

Fourier Theory on the Complex Plane V: Arbitrary-Parity Real Functions, Singular Generalized Functions and Locally Non-Integrable Functions

Authors: Jorge L. deLyra

Abstract: A previously established correspondence between definite-parity real functions and inner analytic functions is generalized to real functions without definite parity properties. The set of inner analytic functions that corresponds to the set of all integrable real functions is then extended to include a set of singular "generalized functions" by the side of the integrable real functions. A general… ▽ More A previously established correspondence between definite-parity real functions and inner analytic functions is generalized to real functions without definite parity properties. The set of inner analytic functions that corresponds to the set of all integrable real functions is then extended to include a set of singular "generalized functions" by the side of the integrable real functions. A general definition of these generalized functions is proposed and explored. The generalized functions are introduced loosely in the spirit of the Schwartz theory of distributions, and include the Dirac delta "function" and its derivatives of all orders. The inner analytic functions corresponding to this infinite set of singular real objects are given by means of a recursion relation. The set of inner analytic functions is then further extended to include a certain class of non-integrable real functions. The concept of integral-differential chains is used to help to integrate both the normal functions and the singular generalized functions seamlessly into a single structure. It does the same for the class of non-integrable real functions just mentioned. This extended set of generalized functions also includes arbitrary real linear combinations of all these real objects. An interesting connection with the Dirichlet problem on the unit disk is established and explored. △ Less

Submitted 9 May, 2015; originally announced May 2015.

Comments: 32 pages, including 3 pages of appendices

Fourier Theory on the Complex Plane IV: Representability of Real Functions by their Fourier Coefficients

Authors: Jorge L. deLyra

Abstract: The results presented in this paper are refinements of some results presented in a previous paper. Three such refined results are presented. The first one relaxes one of the basic hypotheses assumed in the previous paper, and thus extends the results obtained there to a wider class of real functions. The other two relate to a closer examination of the issue of the representability of real function… ▽ More The results presented in this paper are refinements of some results presented in a previous paper. Three such refined results are presented. The first one relaxes one of the basic hypotheses assumed in the previous paper, and thus extends the results obtained there to a wider class of real functions. The other two relate to a closer examination of the issue of the representability of real functions by their Fourier coefficients. As was shown in the previous paper, in many cases one can recover the real function from its Fourier coefficients even if the corresponding Fourier series diverges almost everywhere. In such cases we say that the real function is still representable by its Fourier coefficients. Here we establish a very weak condition on the Fourier coefficients that ensures the representability of the function by those coefficients. In addition to this, we show that any real function that is absolutely integrable can be recovered almost everywhere from, and hence is representable by, its Fourier coefficients, regardless of whether or not its Fourier series converges. Interestingly, this also provides proof for a conjecture proposed in the previous paper. △ Less

Submitted 4 May, 2015; v1 submitted 5 February, 2015; originally announced February 2015.

Comments: 13 pages, including 3 pages of appendices; there was some expansion of the content in this version; a few improvements in the text and on some equations were also made; improved the treatment of the concept of integration in the text

Fourier Theory on the Complex Plane III: Low-Pass Filters, Singularity Splitting and Infinite-Order Filters

Authors: Jorge L. deLyra

Abstract: When Fourier series are employed to solve partial differential equations, low-pass filters can be used to regularize divergent series that may appear. In this paper we show that the linear low-pass filters defined in a previous paper can be interpreted in terms of the correspondence between Fourier Conjugate (FC) pairs of Definite Parity (DP) Fourier series and inner analytic functions, which was… ▽ More When Fourier series are employed to solve partial differential equations, low-pass filters can be used to regularize divergent series that may appear. In this paper we show that the linear low-pass filters defined in a previous paper can be interpreted in terms of the correspondence between Fourier Conjugate (FC) pairs of Definite Parity (DP) Fourier series and inner analytic functions, which was established in earlier papers. The action of the first-order linear low-pass filter corresponds to an operation in the complex plane that we refer to as "singularity splitting", in which any given singularity of an inner analytic function on the unit circle is replaced by two softer singularities on that same circle, thus leading to corresponding DP Fourier series with better convergence characteristics. Higher-order linear low-pass filters can be easily defined within the unit disk of the complex plane, in terms of the first-order one. The construction of infinite-order filters, which always result in $C^{\infty}$ real functions over the unit circle, and in corresponding DP Fourier series which are absolutely and uniformly convergent to these functions, is presented and discussed. △ Less

Submitted 24 March, 2015; v1 submitted 24 November, 2014; originally announced November 2014.

Comments: 44 pages, including 18 figures and 17 pages of appendices with explicit calculations and examples; made a few improvements in the text

Low-Pass Filters, Fourier Series and Partial Differential Equations

Authors: Jorge L. deLyra

Abstract: When Fourier series are used for applications in physics, involving partial differential equations, sometimes the process of resolution results in divergent series for some quantities. In this paper we argue that the use of linear low-pass filters is a valid way to regularize such divergent series. In particular, we show that these divergences are always the result of oversimplification in the pro… ▽ More When Fourier series are used for applications in physics, involving partial differential equations, sometimes the process of resolution results in divergent series for some quantities. In this paper we argue that the use of linear low-pass filters is a valid way to regularize such divergent series. In particular, we show that these divergences are always the result of oversimplification in the proposition of the problems, and do not have any fundamental physical significance. We define the first-order linear low-pass filter in precise mathematical terms, establish some of its properties, and then use it to construct higher-order filters. We also show that the first-order linear low-pass filter, understood as a linear integral operator in the space of real functions, commutes with the second-derivative operator. This can greatly simplify the use of these filters in physics applications, and we give a few simple examples to illustrate this fact. △ Less

Submitted 28 March, 2015; v1 submitted 31 October, 2014; originally announced October 2014.

Comments: 30 pages, including 18 pages of appendices with explicit calculations and examples; made a few improvements in the text

Fourier Theory on the Complex Plane II: Weak Convergence, Classification and Factorization of Singularities

Authors: Jorge L. deLyra

Abstract: The convergence of DP Fourier series which are neither strongly convergent nor strongly divergent is discussed in terms of the Taylor series of the corresponding inner analytic functions. These are the cases in which the maximum disk of convergence of the Taylor series of the inner analytic function is the open unit disk. An essentially complete classification, in terms of the singularity structur… ▽ More The convergence of DP Fourier series which are neither strongly convergent nor strongly divergent is discussed in terms of the Taylor series of the corresponding inner analytic functions. These are the cases in which the maximum disk of convergence of the Taylor series of the inner analytic function is the open unit disk. An essentially complete classification, in terms of the singularity structure of the corresponding inner analytic functions, of the modes of convergence of a large class of DP Fourier series, is established. Given a weakly convergent Fourier series of a DP real function, it is shown how to generate from it other expressions involving trigonometric series, that converge to that same function, but with much better convergence characteristics. This is done by a procedure of factoring out the singularities of the corresponding inner analytic function, and works even for divergent Fourier series. This can be interpreted as a resummation technique, which is firmly anchored by the underlying analytic structure. △ Less

Submitted 3 May, 2015; v1 submitted 15 September, 2014; originally announced September 2014.

Comments: 43 pages, including 20 pages of appendices with explicit calculations and examples; updated cross-references; made a few improvements in the text and in one equation; updated the references

Fourier Theory on the Complex Plane I: Conjugate Pairs of Fourier Series and Inner Analytic Functions

Authors: Jorge L. deLyra

Abstract: A correspondence between arbitrary Fourier series and certain analytic functions on the unit disk of the complex plane is established. The expression of the Fourier coefficients is derived from the structure of complex analysis. The orthogonality and completeness relations of the Fourier basis are derived in the same way. It is shown that the limiting function of any Fourier series is also the lim… ▽ More A correspondence between arbitrary Fourier series and certain analytic functions on the unit disk of the complex plane is established. The expression of the Fourier coefficients is derived from the structure of complex analysis. The orthogonality and completeness relations of the Fourier basis are derived in the same way. It is shown that the limiting function of any Fourier series is also the limit to the unit circle of an analytic function in the open unit disk. An alternative way to recover the original real functions from the Fourier coefficients, which works even when the Fourier series are divergent, is thus presented. The convergence issues are discussed up to a certain point. Other possible uses of the correspondence established are pointed out. △ Less

Submitted 24 March, 2015; v1 submitted 1 September, 2014; originally announced September 2014.

Comments: 44 pages, including 19 pages of appendices with explicit calculations and examples, 2 figures; fixed a few typos and made a few improvements; updated cross-references; made a few further improvements in the text

On the Sums of Inverse Even Powers of Zeros of Regular Bessel Functions

Authors: Jorge L. deLyra

Abstract: We provide a new, simple general proof of the formulas giving the infinite sums $σ(p,ν)$ of the inverse even powers $2p$ of the zeros $ξ_{νk}$ of the regular Bessel functions $J_ν(ξ)$, as functions of $ν$. We also give and prove a general formula for certain linear combinations of these sums, which can be used to derive the formulas for $σ(p,ν)$ by purely linear-algebraic means, in principle for a… ▽ More We provide a new, simple general proof of the formulas giving the infinite sums $σ(p,ν)$ of the inverse even powers $2p$ of the zeros $ξ_{νk}$ of the regular Bessel functions $J_ν(ξ)$, as functions of $ν$. We also give and prove a general formula for certain linear combinations of these sums, which can be used to derive the formulas for $σ(p,ν)$ by purely linear-algebraic means, in principle for arbitrarily large powers. We prove that these sums are always given by a ratio of two polynomials on $ν$, with integer coefficients. We complete the set of known formulas for the smaller values of $p$, extend it to $p=9$, and point out a connection with the Riemann zeta function, which allows us to calculate some of its values. △ Less

Submitted 13 February, 2014; v1 submitted 1 May, 2013; originally announced May 2013.

Comments: 15 pages, 1 figure. Fixed a calculation error that had rendered the explicit expression for p=9 incorrect. Completed the references and acknowledgements