A Connection Between Elementary Functions and Higher Transcendental Functions

If f is holomorphic on a domain D in the complex plane, an analogous function F of several complex variables is constructed by taking a weighted average of f over the convex hull of {z1, z2, ⋯, zk}. Although F is defined at first only if the convex hull is contained in D, it is shown later that F ca...

Full description

Saved in:
Bibliographic Details
Published in:SIAM journal on applied mathematics Vol. 17; no. 1; pp. 116 - 148
Main Author: Carlson, B. C.
Format: Journal Article
Language:English
Published: Philadelphia Society for Industrial and Applied Mathematics 01.01.1969
Subjects:
Analytic functions
Applied mathematics
Entire functions
Integers
Integrals
Integrands
Line segments
Mathematical functions
Mathematical independent variables
Partial differential equations
Polynomials
Rectifiable curves
Series convergence
Variables
ISSN:0036-1399, 1095-712X
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:If f is holomorphic on a domain D in the complex plane, an analogous function F of several complex variables is constructed by taking a weighted average of f over the convex hull of {z1, z2, ⋯, zk}. Although F is defined at first only if the convex hull is contained in D, it is shown later that F can be continued analytically along any rectifiable arc in Dk, provided that singular points with zi = zj (for some distinct i, j) are excluded if D is multiply connected. Taylor and Laurent series for f have single-series analogues for F, and the analogue of Cauchy's integral formula is a representation of F by an integral around a contour in D encircling z1, z2, ⋯, zk. The hypergeometric function 2F1(a, b; c; x) is an average of z-a over the line segment joining 1 - x and 1, the confluent hypergeometric function 1F1(b; c; x) is an average of ez over the line segment joining x and 0, and elliptic integrals are averages of a half-odd-integral power of z over a triangle (or a quadrilateral for integrals of the third kind). The average of z-a in the case of k complex variables is the hypergeometric R-function, which appears in both the series and contour-integral representations of F. The parameters b and c in the 2F1 and 1F1 functions come from the weight function used in the averaging process. Even in the case of k variables the weight function is taken to have a rather special form, with the result that F always satisfies a system of Euler-Poisson partial differential equations. Connections with axially symmetric potential theory, fractional integration, and integral transforms are mentioned briefly.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
ISSN:0036-1399
1095-712X
DOI:10.1137/0117013