Simultaneous approximation by Gauss–Weierstrass–Wachnicki operators

4 years ago

(original), Approximation Theory, html, JCR/ISI, paper, PDF, works

Abstract

In this note, we spotlight a generalization of Weierstrass integral operators introduced by Eugeniusz Wachnicki. The construction involves modified Bessel functions. The operators are correlated with diffusion equation. Our main result consists in obtaining the asymptotic expansion of derivatives of any order of Wachnicki’s operators. All coefficients are explicitly calculated, and distinct expressions are provided for analytical functions

Authors

Ulrich Abel
Fachbereich MND, Technische Hochschule Mittelhessen, Wilhelm-Leuschner-Strasse 13, 61169, Friedberg, Germany

Octavian Agratini
Faculty of Mathematics and Computer Science, Babeş-Bolyai University, Cluj-Napoca, Romania
Tiberiu Popoviciu Institute of Numerical Analysis, Romanian Academy, Cluj-Napoca, Romania

Keywords

Gauss–Weierstrass operator; Bessel function; Gamma function; hypergeometric function; asymptotic expansion

Paper coordinates

U. Abel, O. Agratini, Simultaneous approximation by Gauss-Weierstrass-Wachnicki operators, Mediterr. J. Math., 19 (2022), art. no. 267, https://doi.org/10.1007/s00009-022-02194-0

PDF

https://ictp.acad.ro/wp-content/uploads/2023/03/2022-Abel-Agratini-Simultaneous-Approximation-by-Gauss-Weierstrass-Wachnicki.pdf

also freely available at the publisher: https://link.springer.com/content/pdf/10.1007/s00009-022-02194-0.pdf?pdf=button, https://doi.org/10.1007/s00009-022-02194-0

About this paper

Journal

Mediterranean Journal of Mathematics

Publisher Name

Springer

DOI

https://doi.org/10.1007/s00009-022-02194-0

Print ISSN

1660-5446

Online ISSN

1660-5454

google scholar link

Paper (preprint) in HTML form

/*====================================================================== Core CSS for LaTeXML documents converted to (X)HTML */ /* Generic Page layout */ .ltx_page_header, .ltx_page_footer { font-size:0.8em; } .ltx_page_header *[rel~="prev"], .ltx_page_footer *[rel~="prev"] { float:left; } .ltx_page_header *[rel~="up"], .ltx_page_footer *[rel~="up"] { display:block; text-align:center; } .ltx_page_header *[rel~="next"], .ltx_page_footer *[rel~="next"] { float:right; } /* What was I trying for here; need more selective rule! .ltx_page_header .ltx_ref, .ltx_page_footer .ltx_ref { margin:0 1em; } */ .ltx_page_header li { padding:0.1em 0.2em 0.1em 1em;} /* Main content */ .ltx_page_content { clear:both; } .ltx_page_header { border-bottom:1px solid; margin-bottom:5px; } .ltx_page_footer { clear:both; border-top:1px solid; margin-top:5px; } .ltx_page_header:after, .ltx_page_footer:after, .ltx_page_content:after { content:"."; display:block; height:0; clear:both; visibility:hidden; } .ltx_page_footer:before { content:"."; display:block; height:0; clear:both; visibility:hidden; } .ltx_page_logo { font-size:80%; margin-top: 5px; clear:both; float:right; } .ltx_page_logo a { font-variant: small-caps; } .ltx_page_logo img { vertical-align:-3px; } /* if shown */ .ltx_page_navbar li { white-space:nowrap; display:block; overflow:hidden; } /* If ref got turned into span, it's "this section"*/ .ltx_page_navbar li span.ltx_ref { white-space:normal; overflow:visible; } /* Ought to be easily removable/overridable? */ .ltx_pagination.ltx_role_newpage { height:2em; } /*====================================================================== Document Structure; Titles & Frontmatter */ /* undo bold here to remove the browser's native h# styling, at let all other styles override it (with more specific rules)*/ .ltx_title { font-size:100%; font-weight:normal; } /* Hack to simulate run-in! put class="ltx_runin" on a title or tag for it to run-into the following text. */ .ltx_runin { display:inline; } .ltx_runin:after { content:" "; } .ltx_runin + .ltx_para, .ltx_runin + .ltx_para p, .ltx_runin + p { display:inline; } .ltx_outdent { margin-left: -2em; } /* .ltx_chapter_title, etc should be in ltx-article.css etc. */ .ltx_page_main { margin:0px; padding:1em 3em 1em 2em; } .ltx_tocentry { list-style-type:none; } /* support for common author block layouts.*/ /* add class ltx_authors_1line to get authors in single line with pop-up affiliation, etc. */ .ltx_authors_1line .ltx_creator, .ltx_authors_1line .ltx_author_before, .ltx_authors_1line .ltx_author_after { display:inline;} .ltx_authors_1line .ltx_author_notes { display:inline-block; } .ltx_authors_1line .ltx_author_notes:before { content:"*"; color:blue;} .ltx_authors_1line .ltx_author_notes span { display:none; } .ltx_authors_1line .ltx_author_notes:hover span { display:block; position:absolute; z-index:10; background:white; text-align:left; border: 1px solid black; border-radius: 0 5px 5px 5px; box-shadow: 5px 5px 10px gray; } /* add class=ltx_authors_multiline to get authors & affliations on separate lines*/ .ltx_authors_multiline .ltx_creator, .ltx_authors_multiline .ltx_author_before, .ltx_authors_multiline .ltx_author_after, .ltx_authors_multiline .ltx_author_notes, .ltx_authors_multiline .ltx_author_notes .ltx_contact { display:block; } /*====================================================================== Para level */ .ltx_float { margin: 1ex 3em 1ex 3em; } td.ltx_subfigure, td.ltx_subtable, td.ltx_subfloat { width:50%; } /* theorems, figure, tables, floats captions.. */ /*====================================================================== Blocks, Lists, Floats */ .ltx_p, .ltx_quote, .ltx_block, .ltx_para { display: block; } /* alignment within blocks */ .ltx_align_left { text-align:left; } .ltx_align_right { text-align:right; } .ltx_align_center { text-align:center; } .ltx_align_justify { text-align:justify; } .ltx_align_top { vertical-align:top; } .ltx_align_bottom { vertical-align:bottom; } .ltx_align_middle { vertical-align:middle; } .ltx_align_baseline { vertical-align:baseline; } .ltx_align_floatleft { float:left; } .ltx_align_floatright { float:right; } .ltx_td.ltx_align_left, .ltx_th.ltx_align_left, .ltx_td.ltx_align_right, .ltx_th.ltx_align_right, .ltx_td.ltx_align_center, .ltx_th.ltx_align_center { white-space:nowrap; } .ltx_td.ltx_align_left.ltx_wrap, .ltx_th.ltx_align_left.ltx_wrap, .ltx_td.ltx_align_right.ltx_wrap, .ltx_th.ltx_align_right.ltx_wrap, .ltx_td.ltx_align_center.ltx_wrap, .ltx_th.ltx_align_center.ltx_wrap, .ltx_td.ltx_align_justify, .ltx_th.ltx_align_justify { white-space:normal; } .ltx_tabular .ltx_tabular { width:100%; } .ltx_inline-block { display:inline-block; } /* equations in non-aligned mode (not normally used) */ .ltx_eqn_div { display:block; width:95%; text-align:center; } /* equations in aligned mode (aligning tags, etc as well as equations) */ .ltx_eqn_table { display:table; width:100%; border-collapse:collapse; } .ltx_eqn_row { display:table-row; } .ltx_eqn_cell { display:table-cell; width:auto; } /* Padding between column pairs in ams align */ table.ltx_eqn_align tr.ltx_equation td.ltx_align_left + td.ltx_align_right, table.ltx_eqn_align tr.ltx_equation td.ltx_align_left + td.ltx_align_center, table.ltx_eqn_align tr.ltx_equation td.ltx_align_center + td.ltx_align_right, table.ltx_eqn_align tr.ltx_equation td.ltx_align_center + td.ltx_align_center { padding-left:3em; } table.ltx_eqn_eqnarray tr.ltx_eqn_lefteqn + tr td.ltx_align_right { min-width:2em; } .ltx_eqn_eqno { max-width:0em; overflow:visible; white-space: nowrap; } .ltx_eqn_eqno.ltx_align_right .ltx_tag { float:right; } .ltx_eqn_center_padleft, .ltx_eqn_center_padright { width:50%; min-width:2em;} .ltx_eqn_left_padleft, .ltx_eqn_right_padright { min-width:2em; } .ltx_eqn_left_padright, .ltx_eqn_right_padleft { width:100%; } /* Various lists */ .ltx_itemize, .ltx_enumerate, .ltx_description { display:block; } .ltx_itemize .ltx_item, .ltx_enumerate .ltx_item { display: list-item; } /* Position the tag to look like a normal item bullet. */ li.ltx_item > .ltx_tag { display:inline-block; margin-left:-1.5em; min-width:1.5em; text-align:right; } .ltx_item .ltx_tag + .ltx_para, .ltx_item .ltx_tag + .ltx_para .ltx_p { display:inline; } /* NOTE: Need to try harder to get runin appearance? */ dl.ltx_description dt { margin-right:0.5em; float:left; font-weight:bold; font-size:95%; } dl.ltx_description dd { margin-left:5em; } dl.ltx_description dl.ltx_description dd { margin-left:3em; } /* Theorems */ .ltx_theorem {margin:1em 0em 1em 0em; } .ltx_title_theorem { font-size:100%; } /* Bibliographies */ .ltx_bibliography dt { margin-right:0.5em; float:left; } .ltx_bibliography dd { margin-left:3em; } /*.ltx_biblist { list-style-type:none; }*/ .ltx_bibitem { list-style-type:none; } .ltx_bibitem .ltx_tag { font-weight:bold; margin-left:-2em; width:3em; } /*.bibitem-tag + div { display:inline; }*/ .ltx_bib_title { font-style:italic; } .ltx_bib_article .bib-title { font-style:normal !important; } .ltx_bib_journal { font-style:italic; } .ltx_bib_volume { font-weight:bold; } /* Indices */ .ltx_indexlist li { list-style-type:none; } .ltx_indexlist { margin-left:1em; padding-left:1em;} /* Listings */ .ltx_listing { display:block; margin: 1ex 3em 1ex 0em; overflow-x:auto; text-align: left; } .ltx_float .ltx_listing { margin: 0; } .ltx_listingline { white-space:nowrap; min-height:1em; } .ltx_lst_numbers_left .ltx_listingline .ltx_tag { background-color:transparent; margin-left:-3em; width:2.5em; position:absolute; text-align:right; } .ltx_lst_numbers_right .ltx_listingline .ltx_tag { background-color:transparent; width:2.5em; position:absolute; right:3em; text-align:right; } /* position:absolute; left:0em; max-width:0em; text-align:right; } */ .ltx_parbox {text-indent:0em; } /* NOTE that it is CRITICAL to put position:relative outside & absolute inside!! I wish I understood why! Outer box establishes resulting size, neutralizes any outer positioning, etc; inner establishes position of stuff to be rotated */ .ltx_transformed_outer { position:relative; bottom:0pt;left:0pt; overflow:visible; } .ltx_transformed_inner { display:block; position:absolute;bottom:0pt;left:0pt; } .ltx_transformed_inner > .ltx_p {text-indent:0em; margin:0; padding:0; } /* If simulating a table (html5), try to get rowspan to work...sorta? */ span.ltx_rowspan { position:absolute; top:0; bottom:0; } /* by default, p doesn't indent */ .ltx_p { text-indent:0em; white-space:normal; } /* explicit control of indentation (on ltx_para) */ .ltx_indent > .ltx_p:first-child { text-indent:2em!important; } .ltx_noindent > .ltx_p:first-child { text-indent:0em!important; } /*====================================================================== Columns */ .ltx_page_column1 { width:44%; float:left; } /* IE uses % of wrong container*/ .ltx_page_column2 { width:44%; float:right; } .ltx_page_columns > .ltx_page_column1 { width:48%; float:left; } .ltx_page_columns > .ltx_page_column2 { width:48%; float:right; } .ltx_page_columns:after { content:"."; display:block; height:0; clear:both; visibility:hidden; } /*====================================================================== Borders and such */ .ltx_tabular { display:inline-table; border-collapse:collapse; } .ltx_tabular.ltx_centering { display:table; } .ltx_thead, .ltx_tfoot, .ltx_tbody { display:table-row-group; } .ltx_tr { display:table-row; } .ltx_td, .ltx_th { display:table-cell; } .ltx_framed { border:1px solid black;} .ltx_tabular .ltx_td, .ltx_tabular .ltx_th { padding:0.1em 0.5em; } /* regular lines */ .ltx_border_t { border-top:1px solid black; } .ltx_border_r { border-right:1px solid black; } .ltx_border_b { border-bottom:1px solid black; } .ltx_border_l { border-left:1px solid black; } /* double lines */ .ltx_border_tt { border-top:3px double black; } .ltx_border_rr { border-right:3px double black; } .ltx_border_bb { border-bottom:3px double black; } .ltx_border_ll { border-left:3px double black; } /* Light lines */ .ltx_border_T { border-top:1px solid gray; } .ltx_border_R { border-right:1px solid gray; } .ltx_border_B { border-bottom:1px solid gray; } .ltx_border_L { border-left:1px solid gray; } /* Framing */ .ltx_framed_rectangle { border-style:solid; border-width:1px; } .ltx_framed_top { border-top-style:solid; border-top-width:1px; } .ltx_framed_left { border-left-style:solid; border-left-width:1px; } .ltx_framed_right { border-right-style:solid; border-right-width:1px; } .ltx_framed_bottom, .ltx_framed_underline { border-bottom-style:solid; border-bottom-width:1px; } .ltx_framed_topbottom { border-top-style:solid; border-top-width:1px; border-bottom-style:solid; border-bottom-width:1px; } .ltx_framed_leftright { border-left-style:solid; border-left-width:1px; border-right-style:solid; border-right-width:1px; } /*====================================================================== Misc */ /* .ltx_verbatim*/ .ltx_verbatim { text-align:left; } /*====================================================================== Meta stuff, footnotes */ .ltx_note_content { display:none; } /*right:5%; */ .ltx_note_content { max-width: 70%; font-size:90%; left:15%; text-align:left; background-color: white; padding: 0.5em 1em 0.5em 1.5em; border: 1px solid black; border-radius: 0 5px 5px 5px; box-shadow: 5px 5px 10px gray; } .ltx_note_mark { color:blue; } .ltx_note_type { font-weight: bold; } .ltx_note { display:inline-block; text-indent:0; } /* So we establish containing block */ .ltx_note_content .ltx_note_mark { position:absolute; left:0.2em; top:-0.1em; } .ltx_note:hover .ltx_note_content, .ltx_note .ltx_note_content:hover { display:block; position:absolute; z-index:10; } .ltx_ERROR { color:red; } .ltx_rdf { display:none; } .ltx_missing { color:red;} .ltx_nounicode { color:red; } /*====================================================================== SVG (pgf/tikz ?) basics */ /* Stuff appearing in svg:foreignObject */ .ltx_svg_fog foreignObject { margin:0; padding:0; overflow:visible; } .ltx_svg_fog foreignObject > p { margin:0; padding:0; display:block; } /*.ltx_svg_fog foreignObject > p { margin:0; padding:0; display:block; white-space:nowrap; }*/ /*====================================================================== Low-level Basics */ /* Note that LaTeX(ML)'s font model doesn't map quite exactly to CSS's */ /* Font Families => font-family */ .ltx_font_serif { font-family: serif; } .ltx_font_sansserif { font-family: sans-serif; } .ltx_font_typewriter { font-family: monospace; } /* dingbats should be converted to unicode? */ /* Math font families handled within math: script, symbol, fraktur, blackboard ? */ /* Font Series => font-weight */ .ltx_font_bold { font-weight: bold; } .ltx_font_medium { font-weight: normal; } /* Font Shapes => font-style or font-variant */ .ltx_font_italic { font-style: italic; font-variant:normal; } .ltx_font_upright { font-style: normal; font-variant:normal; } .ltx_font_slanted { font-style: oblique; font-variant:normal; } .ltx_font_smallcaps { font-variant: small-caps; font-style:normal; } .ltx_font_oldstyle { font-variant: oldstyle-nums; /* experimental css3 ? Doesn't seem to work!*/ font-style:normal; -moz-font-feature-settings: "onum"; -ms-font-feature-settings: "onum"; -webkit-font-feature-settings: "onum"; font-variant-numeric: oldstyle-nums; } .ltx_font_mathcaligraphic { font-family: "Lucida Calligraphy", "Zapf Chancery","URW Chancery L"; } /* .ltx_font_mathscript { ? } */ cite { font-style: normal; } .ltx_red { color:red; } /*.ltx_centering { text-align:center; margin:auto; }*/ /*.ltx_inline-block.ltx_centering,*/ /* Hmm.... is this right in general? */ .ltx_centering { display:block; margin:auto; text-align:center; } /* Dubious stuff */ .ltx_hflipped { display:inline-block; -moz-transform: scaleX(-1); -o-transform: scaleX(-1); -webkit-transform: scaleX(-1); transform: scaleX(-1); filter: FlipH; -ms-fliter: "FlipH"; } .ltx_vflipped { display:inline-block; -moz-transform: scaleY(-1); -o-transform: scaleY(-1); -webkit-transform: scaleY(-1); transform: scaleY(-1); filter: FlipV; -ms-fliter: "FlipV"; } /* .ltx_phantom handled in xslt */ /* A somewhat amsart-like style */ .ltx_title_document { text-transform:uppercase; font-size: 150%; text-align:center; } .ltx_title_section { font-family:serif; font-weight:normal; font-variant:small-caps; font-size: 120%; text-align:center; } .ltx_authors { text-align:center; } .ltx_author_before,.ltx_author_after, .ltx_role_author .ltx_personname { text-transform:uppercase; } .ltx_abstract { margin-bottom:1em; } .ltx_title_abstract { font-family:serif; font-weight:normal; font-variant:small-caps;} .ltx_title_keywords, .ltx_title_classification { display:inline; font-size:100%; font-weight:normal; font-style:italic; } .ltx_role_dedicatory { font-size:100%; font-style:italic; text-align:center; margin:1em;} .ltx_figure .ltx_tag, .ltx_table .ltx_tag { font-family:serif; font-variant:small-caps;} .ltx_title_subsection, .ltx_title_subsubsection { font-family:serif; font-weight:bold;} .ltx_title_subsection:after, .ltx_title_subsubsection:after, .ltx_title_paragraph:after { content:"."; } /* abstract, subsection, subsubsection and paragraph titles are runin */ .ltx_abstract .ltx_title, .ltx_abstract .ltx_title + .ltx_p { display:inline; } .ltx_subsection .ltx_title, .ltx_subsection .ltx_title + .ltx_para, .ltx_subsection .ltx_title + .ltx_para > .ltx_p { display:inline; } .ltx_subsubsection .ltx_title, .ltx_subsubsection .ltx_title + .ltx_para, .ltx_subsubsection .ltx_title + .ltx_para > .ltx_p { display:inline; } .ltx_paragraph .ltx_title, .ltx_paragraph .ltx_title + .ltx_para, .ltx_paragraph .ltx_title + .ltx_para > .ltx_p { display:inline; } .ltx_title +.ltx_para > .ltx_p {text-indent:2em; } .ltx_itemize, .ltx_enumerate, .ltx_description { margin-left: clamp(1em, 3%, 2em); } .ltx_title_document { font-size:170%; text-align:center; margin:0.5em 0 0.5em 0; } .ltx_authors, .ltx_role_author { text-align:center; margin:0.5em 0 0.5em 0; } .ltx_role_author .ltx_personname { font-size: 120%; } .ltx_date { text-align:center; font-size: 120%; margin:0.5em 0 0.5em 0; } .ltx_subtitle { text-align:center; font-size: 120%; padding-left:0.2em; margin-left:-0.5em; } .ltx_title_abstract { text-align:center; font-size: 100%; font-weight:bold; } .ltx_abstract { margin-left:4em; margin-right:4em; } .ltx_title_acknowledgements, .ltx_title_keywords, .ltx_title_classification { text-align:left; font-size: 100%; font-weight:bold; margin:0.5 0 0 0; } .ltx_appendix, .ltx_section, .ltx_subsection, .ltx_subsubsection { margin-top:1.5em; } .ltx_paragraph, .ltx_subparagraph { margin-top:1.0em; } .ltx_title_appendix, .ltx_title_section, .ltx_title_bibliography { font-size:140%; font-weight:bold; margin-bottom:1em; } .ltx_title_subsection { font-size:120%; font-weight:bold; margin-bottom:1em; } .ltx_title_subsubsection { font-size:100%; font-weight:bold; margin-bottom:1em; } /* Paragraph & Subparagraph titles should be runin! */ .ltx_title_paragraph { font-size:100%; font-weight:bold; display:inline; margin-right:1em; } .ltx_paragraph .ltx_title, .ltx_paragraph .ltx_title + .ltx_para, .ltx_paragraph .ltx_title + .ltx_para > .ltx_p { display:inline; } .ltx_title_subparagraph { font-size:100%; font-weight:bold; display:inline; margin-left:2em; margin-right:1em; } .ltx_subparagraph .ltx_title, .ltx_subparagraph .ltx_title + .ltx_para, .ltx_subparagraph .ltx_title + .ltx_para > .ltx_p { display:inline; } .ltx_figure { text-align:center; margin:auto; margin:0.5em; } .ltx_table { text-align:center; margin:auto; margin:0.5em; } /* experimental: flex model, to center short captions, justify long ones */ .ltx_table, .ltx_figure { display:flex; flex-direction:column; align-items:center; } .ltx_table .ltx_caption, .ltx_figure .ltx_caption { text-align:justify; } /* first p in para gets indented */ .ltx_para > .ltx_p:first-child { text-indent:2em; } /* except the initial in a section */ section > .ltx_title +.ltx_para > .ltx_p, section > .ltx_title +.ltx_date +.ltx_para > .ltx_p {text-indent:0em; } .ltx_title_abstract + .ltx_p {text-indent:2em; } .ltx_itemize, .ltx_enumerate { margin-left:1em; } .ltx_theorem { margin-top:0.5em; margin-bottom:0.5em; } .ltx_theorem .ltx_title { margin-bottom:0.1em; } .ltx_theorem .ltx_title + .ltx_para, .ltx_theorem .ltx_title + .ltx_para .ltx_p, .ltx_theorem .ltx_title + .ltx_p { margin-top:0em; } Simultaneous approximation by Gauss–Weierstrass–Wachnicki operators

Simultaneous approximation by Gauss–Weierstrass–Wachnicki operators

Ulrich Abel Fachbereich MND,
Technische Hochschule Mittelhessen,
Wilhelm-Leuschner-Straße 13,
61169 Friedberg, Germany ulrich.abel@mnd.thm.de
ORCID: 0000-0003-1889-4850 and Octavian Agratini Babeş-Bolyai University,
Faculty of Mathematics and Computer Science,
Str. Kogălniceanu, 1, 400084 Cluj-Napoca, Romania
and
Tiberiu Popoviciu Institute of Numerical Analysis,
Romanian Academy,
Str. Fântânele, 57, 400320 Cluj-Napoca, Romania agratini@math.ubbcluj.ro
ORCID: 0000-0002-2406-4274

Abstract.

In this note we spotlight a generalization of Weierstrass integral operators introduced by Eugeniusz Wachnicki in the year 2000. The operators are correlated with diffusion equation. Our main result consists in the obtaining of the asymptotic expansion of derivatives of any order of Wachnicki’s operators. All coefficients are explicitly calculated and distinct expressions are provided for analytical functions.

Mathematics Subject Classification: 41A36, 41A60, 26A24.

Keywords and phrases: Gauss–Weierstrass operator, Bessel function, Gamma function, hypergeometric function, asymptotic expansion.

1. Introduction

The starting point of this note is the following generalized Gauss-Weierstrass transform

	$W (f; x, t)$	$= \frac{1}{2 \sqrt{π t}} \int_{ℝ} \exp (- \frac{{(x - y)}^{2}}{4 t}) f (y) 𝑑 y$
		$= \frac{1}{2 \sqrt{π t}} \int_{ℝ} f (x - y) \exp (- \frac{y^{2}}{4 t}) 𝑑 y,$		(1)

where $t > 0$ is a parameter, $x \in ℝ$ and $f : ℝ \to ℝ$ is chosen such that the integral exists and is finite. Actually, (1) represents the convolution of $f$ with the density of the normal distribution (also called Gaussian distribution) having the expectation null and the variance $2 t$ . $W (f; \cdot, t)$ is a smoothed out version of $f$ and physically $W (\cdot; \cdot, t) \equiv W_{t}$ is correlated with a heat or diffusion equation for $t$ times units. It is additive

W_{t_{1}} \circ W_{t_{2}} = W_{t_{1} + t_{2}}, (t_{1}, t_{2}) \in (0, \infty) \times (0, \times),

this being read as follows: diffusion for $t_{1}$ time units and then $t_{2}$ time units, is equivalent to diffusion for $t_{1} + t_{2}$ times units.

Examining relation (1) shows that $W_{t}$ is translation invariant, meaning that the transform of $f (x + a)$ is $W (f; x + a, t)$ .

We mention that $W_{t}$ transform one can extend to $t = 0$ by setting $W_{0}$ to be the convolution with the Dirac delta function. This case does not come to our attention.

The special case $t = 1$ can be interpreted this way. Taking in view the following formula

e^{u^{2}} = \frac{1}{2 \sqrt{π}} \int_{ℝ} e^{- u y} e^{- y^{2} / 4} 𝑑 y, u \in ℝ,

if we replace $u$ with the formal differential operator $D = \frac{d}{d x}$ and we utilize the Lagrange shift operator

e^{- y D} f (x) = f (x - y), x \in ℝ,

then we get

e^{D^{2}} f (x) = \frac{1}{2 \sqrt{π}} \int_{ℝ} e^{- y D} f (x) e^{- y^{2} / 4} 𝑑 y = W (f; x, 1)

which allows us to get the following formal expression for this particular transform

W_{1} = e^{D^{2}} .

The operator $e^{D^{2}}$ is to be understood as acting on the signal $f$ as

e^{D^{2}} f (x) = \sum_{k = 0}^{\infty} \frac{D^{2 k} f (x)}{k!}, x \in ℝ .

For more documentation on $W_{t}$ transform, see Zayed’s book [5, Chapter 18: The Weierstrass Transform].

In 2000 Eugeniusz Wachnicki [6] defined and studied an integral operator representing a generalization of $W_{t}$ which involves modified Bessel function. Our paper focuses bringing to light new properties of Weierstrass–Wachnicki integral operators. In the next section we present these operators pointing out some already established properties based on which we will highlight noteworthy features of them. The main results are set out in Section 3.

2. The operators

At the beginning we recall the modified Bessel function of the first kind and fractional order $α > - 1$ , see [2, Chapter 10] or [8]. Using the traditional notation $I_{α}$ , it is described by the series

I_{α} (z) = \sum_{k = 0}^{\infty} \frac{1}{k! Γ (k + α + 1)} {(\frac{z}{2})}^{2 k + α},

(2)

where $Γ$ is the Gamma function. $I_{α}$ forms a class of particular solutions of the following ordinary linear differential equation

z^{2} w^{''} (z) + z w^{'} (z) - (α^{2} + z^{2}) w (z) = 0 .

In the motivation of our results we will also use the low-order differentiation with respect to $z$ described as follows

\frac{d}{d z} (z^{- α} I_{α} (z)) = z^{- α} I_{α + 1} (z),

(3)

see [8, Formula 03.02.20.0009.01].

Set $ℝ_{+} = [0, \infty)$ . For a fixed constant $K \geq 0$ , we consider the space

	$E_{K} = {$	$f : ℝ_{+} \to ℝ ∣ f is locally integrable and exists M_{f} \geq 0,$
		$\| f (s) \| \leq M_{f} \exp (K s^{2}), s > 0} .$

The space can be endowed with the norm $∥ \cdot ∥_{K}$ as such

{‖ f ‖}_{K} = sup_{s \in ℝ_{+}} | f (s) | \exp (- K s^{2}) .

We consider the operator $W_{α}$ defined on $E_{K}$ by the following relation

W_{α} (f; r, t) = \frac{1}{2 t} \int_{0}^{\infty} r^{- α} s^{α + 1} \exp (- \frac{r^{2} + s^{2}}{4 t}) I_{α} (\frac{r s}{2 t}) f (s) 𝑑 s,

(4)

where $α \geq - 1 / 2$ , $(r, t) \in (0, \infty) \times (0, \times)$ and $I_{α}$ is given at (2).

This operator was introduced in [6, Eq. (1)] with a minor modification of the domain $E_{K}$ in which the author inserted $f \in C (ℝ_{+})$ , the space of all real-valued continuous functions defined on $ℝ_{+}$ . Since $W_{α} f$ , $f \in E_{K}$ , is well defined for any $K > 0$ , we can consider the domain of $W_{α}$ as

E = ⋃_{K > 0} E_{K} .

Wachnicki [6, Theorem 4] showed the convergence

lim_{t \to 0^{+}} W_{α} (f; r, t) = f (r), f \in E \cap C (ℝ_{+}),

uniformly on compact subintervals of $(0, \infty)$ .

Also, in [6] the author specified that for $α = - 1 / 2$ the operator defined by (4) turns out to be the authentic Weierstrass operators. Because this statement was not accompanied by a proof, we insert it as a detail in our paper. More precisely we prove

W_{- 1 / 2} f = W \hat{f}, f \in E_{K},

(5)

see (1), where $\hat{f} (s) = f ((sgn s) s)$ , $s \in ℝ$ .

By using the hyperbolic cosine, the identity

I_{- 1 / 2} (z) = \sqrt{\frac{2}{π z}} \cosh (z)

takes place, see [2, page 443]. Further, for any $(r, t) \in (0, \infty) \times (0, \infty)$ we can write successively

	$W_{- 1 / 2} (f; r, t)$
	$= \frac{1}{2 t} \sqrt{\frac{4 t}{π}} \int_{0}^{\infty} \exp (- \frac{r^{2} + s^{2}}{4 t}) \cosh (\frac{r s}{2 t}) f (s) 𝑑 s$
	$= \frac{1}{2 \sqrt{π t}} \int_{0}^{\infty} \exp (- \frac{r^{2} + s^{2}}{4 t}) (\exp (\frac{r s}{2 t}) + \exp (- \frac{r s}{2 t})) f (s) 𝑑 s$
	$= \frac{1}{2 \sqrt{π t}} \int_{0}^{\infty} (\exp (- \frac{{(r - s)}^{2}}{4 t}) + \exp (- \frac{{(r + s)}^{2}}{4 t})) f (s) 𝑑 s$
	$= \frac{1}{2 \sqrt{π t}} (\int_{0}^{\infty} \exp (- \frac{{(r - s)}^{2}}{4 t}) f (s) 𝑑 s + \int_{- \infty}^{0} \exp (- \frac{{(r - s)}^{2}}{4 t})) f (- s) d s$
	$= W (\hat{f}; r, t)$

and the statement (5) is completed.

$W_{α} f$ is intimately connected to a generalized heat equation having the following expression, see [3, Eq. (1.3)]

\frac{\partial u (r, t)}{\partial t} = Δ_{μ} \cdot u (r, t)

(6)

where $μ = 2 (α + 1)$ , $α > - 1 / 2$ , and the operator

Δ_{μ} = \frac{\partial^{2}}{\partial r^{2}} + \frac{μ - 1}{r} \frac{\partial}{\partial r}

is the Laplacian in radial coordinates when $μ = n \in ℕ$ . It is usual to refer to $t$ as time. If $f \in E_{K} \cap C (ℝ)$ , then $W_{α} f$ with $α = n / 2 - 1$ is a caloric function, this means it is a solution of equation (6) on a certain domain $D$ ,

D = {(r, t) : r > 0, 0 < t < \frac{1}{4 K}} .

For the detailed proof see [3, pages 254-255].

Recently, these operators have come back to the attention of some authors. For example in [4] an extension of $W_{α} f$ was achieved for continuous functions defined on the domain $(0, \infty) \times ℝ$ and bounded by certain two-dimensional exponential functions. In [1], the authors obtained the asymptotic expansion of the operator $W_{α} (f; r, t)$ as $t \to 0^{+}$ , for functions $f \in E$ being sufficiently smooth at a point $r > 0$ .

In order to obtain an autonomous exposure, in this preliminary section we recall some notions which will be used in establishing our results.

The factorial powers (falling and rising factorial, respectively) are marked as follows

u^{\underline{j}} = \prod_{l = 0}^{j - 1} (u - l), u^{\bar{j}} = \prod_{l = 0}^{j - 1} (u + l), j \in ℕ .

An empty product $(j = 0)$ is taken to be 1.

For $| z | < 1$ and generic parameters $a, b, c$ , the Gauss hypergeometric function ${}_{2}F_{1}$ is defined by

_{2} F_{1} (a, b; c; z) = \sum_{j \geq 0} \frac{a^{\bar{j}} b^{\bar{j}}}{c^{\bar{j}}} \frac{z^{j}}{j!},

(7)

this series being convergent, see [2, Chapter 15]. Outside the disk with unit radius the function is defined as the analytic continuation with respect to $z$ of this sum, with the parameters $a, b, c$ held fixed. For particular case $z = 1$ , the following identity

_{2} F_{1} (a, b; c; 1) = \frac{Γ (c) Γ (c - a - b)}{Γ (c - a) Γ (c - b)}, Re (c - a - b) > 0,

(8)

$c \neq 0, - 1, - 2, \dots$ , takes place.

3. Results

In the first stage we establish some technical formulas gathered in a few lemmas. Set $ℕ_{0} = {0} \cup ℕ$ .

The first result is an explicit representation of ${(\frac{\partial}{\partial r})}^{m} W_{α} (f; r, t)$ in terms of $W_{α + j} (f; r, t)$ , $j \in ℕ_{0}$ . We mention the identity that we will state contains a finite sum.

Lemma 1.

Let $f$ belong to $E_{K}$ and let $W_{α} f$ be defined by (1). For any $m \in ℕ_{0}$ ,

{(\frac{\partial}{\partial r})}^{m} W_{α} (f; r, t) = \sum_{j \geq 0} \frac{(2 j)!}{2^{j} j!} (\binom{m}{2 j}) r^{m - 2 j} {(\frac{1}{2 t} Δ)}^{m - j} W_{α} (f; r, t)

(9)

holds, where $Δ$ denoted the forward difference of step one with respect to $α$ .

Proof.

If $f \in E_{K}$ , for $s > 0$ we have

\frac{\partial}{\partial r} W_{α} (f; r, t) = \frac{1}{2 t} \int_{0}^{\infty} s^{α + 1} \frac{\partial}{\partial r} (\exp (- \frac{r^{2} + s^{2}}{4 t}) r^{- α} I_{α} (\frac{r s}{2 t})) f (s) 𝑑 s .

Formula (3) yields the relation

\frac{\partial}{\partial r} W_{α} (f; r, t) = \frac{r}{2 t} (W_{α + 1} (f; r, t) - W_{α} (f; r, t)) = \frac{r}{2 t} Δ W_{α} (f; r, t) .

(10)

We will realize the proof of identity (10) by mathematical induction. Obviously, the assertion is valid for $m = 0$ . Assuming that it is true for an arbitrary $m$ , we show that it takes place for $m + 1$ . Relations (9) and (10) imply

	${(\frac{\partial}{\partial r})}^{m + 1} W_{α} (f; r, t) = \sum_{j \geq 0} \frac{(2 j)!}{2^{j} j!} (\binom{m}{2 j})$
	$\times [(m - 2 j) r^{m - 2 j - 1} {(\frac{1}{2 t} Δ)}^{m - j} + r^{m - 2 j + 1} {(\frac{1}{2 t} Δ)}^{m - j + 1}] W_{α} (f; r, t)$
	$= r^{m + 1} {(\frac{1}{2 t} Δ)}^{m + 1} W_{α} (f; r, t)$
	$+ \sum_{j \geq 1} [\frac{(2 j - 2)!}{2^{j - 1} (j - 1)!} (\binom{m}{2 j - 2}) (m - 2 j + 2) + \frac{(2 j)!}{2^{j} j!} (\binom{m}{2 j})]$
	$\times r^{m - 2 j + 1} {(\frac{1}{2 t} Δ)}^{m + 1 - j} W_{α} (f; r, t)$
	$= r^{m + 1} {(\frac{1}{2 t} Δ)}^{m + 1} W_{α} (f; r, t)$
	$+ \sum_{j \geq 1} \frac{(2 j)!}{2^{j} j!} [(\binom{m}{2 j - 1}) + (\binom{m}{2 j})] r^{m + 1 - 2 j} {(\frac{1}{2 t} Δ)}^{m + 1 - j} W_{α} (f; r, t) .$

Considering the elementary identity

(\binom{m}{2 j - 1}) + (\binom{m}{2 j}) = (\binom{m + 1}{2 j}),

we obtain that (9) is true for $m + 1$ and the induction is completed. ∎

From [1, Theorem 3] we extract the following relation.

If $f$ belonging to $E$ is a real analytic function, then

W_{α} (f; r, t) \sim \sum_{n = 0}^{\infty} c_{n} (α, f, r) t^{n} (t \to 0^{+}),

where

c_{n} (α, f, r) = {\frac{4^{n}}{n! r^{2 n}} {(\frac{\partial}{\partial w})}^{n} [w^{n + α} {(\frac{\partial}{\partial w})}^{n} f (r \sqrt{w})] |}_{w = 1} .

(11)

In the following $Δ [f]$ stands for forward difference with the step $h = 1$ of a function $f$ .

Lemma 2.

Let $f$ belong to $E_{K}$ and let $W_{α} f$ be defined by (1). For any $m \in ℕ_{0}$ ,

Δ^{m} W_{α} (f; r, t) \sim \sum_{n = m}^{\infty} Δ^{m} c_{n} (α, f, r) t^{n} (t \to 0^{+}),

where the quantities $c_{n} (α, f, r)$ are described by (11). For $m \leq n$ ,

Δ^{m} c_{n} (α, f, r) = {\frac{4^{n}}{(n - m)! r^{2 n}} {(\frac{\partial}{\partial w})}^{n - m} [w^{n + α} {(\frac{\partial}{\partial w})}^{n} f (r \sqrt{w})] |}_{w = 1}

(12)

and for $m < n$ , $Δ^{n} c_{n} (α, f, r) = 0$ .

Proof.

Based on the $m$ -th order forward difference with the step $h = 1$ , we get

Δ^{m} w^{m + α} = \sum_{k = 0}^{m} {(- 1)}^{m - k} (\binom{m}{k}) w^{n + α + k} = w^{n + α} {(w - 1)}^{m} .

Consequently, taking into accounr (11), we can write

Δ^{m} c_{n} (α, f, r) = {\frac{4^{n}}{n! r^{2 n}} {(\frac{\partial}{\partial w})}^{n} [w^{n + α} {(w - 1)}^{m} {(\frac{\partial}{\partial w})}^{n} f (f \sqrt{w})] |}_{w = 1} .

Since

{{(\frac{\partial}{\partial w})}^{k} {(w - 1)}^{m} |}_{w = 1} = 0

for $k \neq m$ , we deduce that $Δ^{m} c_{n} (α, f, r)$ is null for $m > n$ . Otherwise, if $m \leq n$ , application of the Leibniz rule for differentiation yields

Δ^{m} c_{n} (α, f, r) = {\frac{4^{n}}{n! r^{2 n}} (\binom{n}{m}) m! {(\frac{\partial}{\partial w})}^{n - m} [w^{n + α} {(\frac{\partial}{\partial w})}^{n} f (r \sqrt{w})] |}_{w = 1}

which leads us at (12) and the proof of our lemma is completed. ∎

Our first main result can be read as follows.

Theorem 3.

Let $f$ belong to $E_{K}$ and let $W_{α} f$ be defined by (1). For any $m \in ℕ_{0}$ the following relation

{(\frac{\partial}{\partial r})}^{m} W_{α} (f; r, t) \sim \sum_{n = 0}^{\infty} c_{n}^{[m]} (α, f, r) t^{n} (t \to 0^{+}),

(13)

holds, where

	$c_{n}^{[m]} (α, f, r)$	$= \frac{1}{n!} {(\frac{2}{r})}^{2 n + m} \sum_{j \geq 0} \frac{(2 j)!}{4^{j} j!} (\binom{m}{2 j}) {(\frac{\partial}{\partial w})}^{n}$
		$\times {[w^{n + m - j + α} {(\frac{\partial}{\partial w})}^{n + m - j} f (r \sqrt{w})] \|}_{w = 1} .$		(14)

Proof.

Let $m \in ℕ_{0}$ be fixed. Concatenating the conclusions of Lemmas 1 and 2, we can write

		${(\frac{\partial}{\partial r})}^{m} W_{α} (f; r, t)$
		$\sim \frac{1}{2^{m}} \sum_{j \geq 0} \frac{(2 j)!}{j!} (\binom{m}{2 j}) r^{m - 2 j} \sum_{n = m - j}^{\infty} Δ^{m - j} c_{n} (α, f, r) t^{n - m + j}$
		$= \frac{1}{2^{m}} \sum_{j \geq 0} \frac{(2 j)!}{j!} (\binom{m}{2 j}) r^{m - 2 j} \sum_{n = 0}^{\infty} Δ^{m - j} c_{n + m - j} (α, f, r) t^{n} (t \to 0^{+}) .$		(15)

Further, for each $n \in ℕ_{0}$ we process the coefficient of $t^{n}$ with the help of the relation (12) applied for $Δ^{m - j} c_{n + m - j} (α, f, r)$ .

	$\frac{1}{2^{m}} \sum_{j \geq 0} \frac{(2 j)!}{j!} (\binom{m}{2 j}) r^{m - 2 j} Δ^{m - j} c_{n + m - j} (α, f, r)$
	$= \frac{1}{2^{m}} \sum_{j \geq 0} \frac{(2 j)!}{j!} (\binom{m}{2 j}) r^{m - 2 j} \frac{4^{n + m - j}}{n! r^{2 (n + m - j)}}$
	$\times {{(\frac{\partial}{\partial w})}^{n} [w^{n + m - j + α} {(\frac{\partial}{\partial w})}^{n + m - j} f (r \sqrt{w})] \|}_{w = 1}$
	$:= c_{n}^{[m]} (α, f, r),$

see (3) Returning at (3), the statement (13) is proven. ∎

Remark. Choosing in (3) $m = 0$ , the sum is reduced to a single term $(j = 0)$ and $c_{n}^{[0]} (α, f, r)$ coincides with $c_{n} (α, f, r)$ defined at (11).

Next we focus on a special case concerning the function $f$ , namely we consider that it is an analytic function on an open set $D \subset [0, \infty)$ . Consequently, for any $x_{0} \in D$ one can write

f (x) = \sum_{n = 0}^{\infty} a_{n} {(x - x_{0})}^{n}

for $x$ in a neighborhood of $x_{0}$ .

We mention that the above sum can be finite, see the case where $f$ is a polynomial.

Since $f$ is a linear combination of the monomials $e_{i}$ , $e_{i} (r) = r^{i}$ $(i \in ℕ_{0})$ , and $W_{α} (f; \cdot, \cdot)$ is a linear operator with respect to $f$ , it is sufficient to consider the behavior of the operator on the functions $e_{i}$ .

To present our result, we first need to establish some identities that involve hypergeometric functions defined by (7) and (8).

Lemma 4.

Let $m \in ℕ_{0}$ and $x > m - 1$ , $x \notin ℤ$ , arbitrarily chosen.

(i) For any $z$ , $| z | < 1 / 4$ , the identity

\sum_{j \geq 0} (\binom{2 j}{j}) (\binom{x}{m - j}) ((\binom{m}{2 j}) / (\binom{m}{j})) z^{j} = {(\binom{x}{m})}_{2} F_{1} (\frac{- m}{2}, \frac{- m + 1}{2}; x - m + 1; 4 z),

(16)

holds, where ${}_{2}F_{1}$ is given by (7).

(ii) For $z = 1 / 4$ , the identity

\sum_{j \geq 0} \frac{(2 j)!}{4^{j} j!} (\binom{m}{2 j}) x^{\underline{m - j}} = 2^{- m} {(2 x)}^{\underline{m}},

(17)

holds.

Proof.

(i) The sum of the left-hand side of (16) is finite and has terms only for integer values of $j$ satisfying $0 \leq j \leq ⌊ m / 2 ⌋$ , where $⌊ \cdot ⌋$ stands for the floor function. Using well-known basic formulas

w^{\underline{p}} = \frac{Γ (w + 1)}{Γ (w - p + 1)} = \frac{w!}{(w - p)!}, w^{\bar{p}} = {(- 1)}^{p} {(- w)}^{\underline{p}} = {(w + p - 1)}^{\underline{p}},

valid for any real or complex $w$ , we can write the next set of identities

	$(\binom{2 j}{j}) (\binom{x}{m - j}) ((\binom{m}{2 j}) / (\binom{m}{j}))$
	$= \frac{m^{\underline{2 j}}}{j! m!} x^{\underline{m - j}} = \frac{{(- m)}^{\bar{2 j}}}{j! m!} \frac{x^{\underline{m}}}{{(x - m + j)}^{\underline{j}}}$
	$= \frac{x^{\underline{m}}}{m!} \frac{2^{j} {(- \frac{m}{2})}^{\bar{j}} 2^{j} {(- \frac{m - 1}{2})}^{\bar{j}}}{{(x - m + 1)}^{\bar{j}} j!} .$

Since

\frac{x^{\underline{m}}}{m!} = (\binom{x}{m}),

from the above relations we obtain

\sum_{j \geq 0} (\binom{2 j}{j}) (\binom{x}{m - j}) ((\binom{m}{2 j}) / (\binom{m}{j})) z^{j} = (\binom{x}{m}) \sum_{j \geq 0} \frac{(- {\frac{m}{2}}^{\bar{j}}) {(- \frac{m - 1}{2})}^{\bar{j}}}{{(x - m + 1)}^{\bar{j}}} \frac{{(4 z)}^{j}}{j!} .

Considering (7), the relation (16) is proved.

(ii) Choosing $z = 1 / 4$ in (16) and using (8), this identity can thus be rewritten

\sum_{j \geq 0} \frac{(2 j)!}{4^{j} j!} (\binom{m}{2 j}) x^{\underline{m - j}} = x^{\underline{m}} \frac{Γ (x - m + 1) Γ (x + \frac{1}{2})}{Γ (x - \frac{m}{2} + 1) Γ (x - \frac{m}{2} + \frac{1}{2})} .

(18)

The Legendre duplication formula for the Gamma function

Γ (2 w) = \frac{1}{\sqrt{π}} 2^{2 w - 1} Γ (w) Γ (w + \frac{1}{2}), 2 w \neq 0, - 1, - 2, \dots,

see, e.g., [7, Eq. 5.5.5], allows us to write

	$\frac{Γ (x - m + 1) Γ (x + \frac{1}{2})}{Γ (x - \frac{m}{2} + 1) Γ (x - \frac{m}{2} + \frac{1}{2})}$	$= \frac{Γ (x - m + 1) Γ (2 x + 1) 2^{- 2 x}}{Γ (x + 1) Γ (2 x - m + 1) 2^{- 2 x + m}}$
		$= 2^{- m} \frac{{(2 x)}^{\underline{m}}}{x^{\underline{m}}} .$

Returning at (18), identity (17) is obtained and our lemma is completely motivated. ∎

In the light of those discussed before, exploring the case when $f$ is an analytic function, we present

Theorem 5.

For any $m \in ℕ_{0}$ and $n \in ℕ_{0}$ , the following identity

c_{n}^{[m]} (α, e_{i}, r) = {(\frac{\partial}{\partial r})}^{m} c_{n} (α, e_{i}, r)

(19)

holds, where $c_{n}^{[m]} (α, \cdot, r)$ and $c_{n} (α, \cdot, r)$ are respectively defined by (3) and (11).

Proof.

For $m = 0$ we have highlighted this identity, see Remark. Further we consider $m \in ℕ$ .

		$c_{n}^{[m]} (α, e_{i}, r)$
		$= {\frac{1}{n!} {(\frac{2}{r})}^{2 n + m} \sum_{j \geq 0} \frac{(2 j)!}{4^{j} j!} (\binom{m}{2 j}) {(\frac{\partial}{\partial w})}^{n} [w^{n + m - j + α} {(\frac{\partial}{\partial w})}^{n + m - j} r^{i} w^{i / 2}] \|}_{w = 1}$
		$= {\frac{r^{i}}{n!} {(\frac{2}{r})}^{2 n + m} \sum_{j \geq 0} \frac{(2 j)!}{4^{j} j!} (\binom{m}{2 j}) {(\frac{\partial}{\partial w})}^{n} [{(\frac{i}{2})}^{\underline{n + m - j}} w^{i / 2 + α}] \|}_{w = 1}$
		$= \frac{r^{i}}{n!} {(\frac{2}{r})}^{2 n + m} \sum_{j \geq 0} \frac{(2 j)!}{4^{j} j!} (\binom{m}{2 j}) {(\frac{i}{2})}^{\underline{n + m - j}} {(\frac{i}{2} + α)}^{\underline{n}} .$		(20)

On the other hand,

		${(\frac{\partial}{\partial r})}^{m} c_{n} (α, e_{i}, r)$
		$= {\frac{4^{n}}{n!} [{(\frac{\partial}{\partial r})}^{m} \frac{r^{i}}{r^{2 n}}] {(\frac{\partial}{\partial w})}^{n} [w^{n + α} {(\frac{\partial}{\partial w})}^{n} w^{i / 2}] \|}_{w = 1}$
		$= {\frac{4^{n}}{n!} {(i - 2 n)}^{\underline{m}} r^{i - 2 n - m} {(\frac{\partial}{\partial w})}^{n} [w^{n + α} {(\frac{i}{2})}^{\underline{n}} w^{i / 2 - n}] \|}_{w = 1}$
		$= \frac{r^{i}}{n!} \frac{2^{2 n}}{i^{2 n + m}} {(i - 2 n)}^{\underline{m}} {(\frac{i}{2})}^{\underline{n}} {(\frac{i}{2} + α)}^{\underline{n}} .$		(21)

To match the expressions (3) and (3) it remains to be shown that

2^{m} \sum_{j \geq 0} \frac{(2 j)!}{4^{j} j!} (\binom{m}{2 j}) {(\frac{i}{2} - n)}^{\underline{m - j}} = {(i - 2 n)}^{\underline{m}} .

(22)

We have taken into account that

{(\frac{i}{2})}^{\underline{n + m - j}} / {(\frac{i}{2})}^{\underline{n}} = {(\frac{i}{2} - n)}^{\underline{m - j}} .

Now we turn to Lemma 4. By choosing in the identity (17) $x := i / 2 - n$ , we obtain exactly (22). Thus relation (19) is proven. ∎

References

[1] Abel, U., Agratini, O., On Wachnicki’s generalization of the Gauss-Weierstrass integral, In: Recent Advances in Mathematical Analysis (Eds. Anna Maria Candela, Mirella Cappelletti Montano, Elisabeta Mangino), Springer, 2022.
[2] Abramowitz, M., Stegun, I.A. (Eds.), Handbook of Mathematical Functions with Formulas, Graphs and Mathematical Tables, National Bureau of Standards Applied Mathematics Series 55, Issued June 1964, Tenth Printing, December 1972, with corrections.
[3] Bragg, L.R., The radial heat polynomials and related functions, Trans. Amer. Math. Soc., 119(1965), 270–290.
[4] Krech, G., Krech, I., On some bivariate Gauss-Weierstrass operators, Constr. Math. Anal., 2(2019), No. 2, 57–63.
[5] Zayed, A.I., Handbook of Function and Generalized Function Transformations, $1^{s t}$ Edition, CRC Press, London, 1996.
[6] Wachnicki, E., On a Gauss–Weierstrass generalized integral, Rocznik Naukowo–Dydaktyczny Akademii Pedagogicznej W Krakowie, Prace Matematyczne, 17(2000), 251–263.
[7] Digital Library of Mathematical Functions, https://dlmf.nist.gov
[8] https://functions.wolfram.com/Bessel-TypeFunctions/BesselI

[1] Abel, U., Agratini, O.: On Wachnicki’s generalization of the Gauss-Weierstrass integral, In: recent advances. In: Analysis, Mathematical (ed.) Anna Maria Candela. Mirella Cappelletti Montano, Elisabeta Mangino), Springer (2022) Google Scholar

[2] Abramowitz, M., Stegun, I.A. (Eds.): Handbook of mathematical functions with formulas, graphs and mathematical tables, National Bureau of Standards Applied Mathematics Series 55, Issued June 1964, Tenth Printing, with corrections (December 1972)

[3] Bragg, L.R.: The radial heat polynomials and related functions. Trans. Amer. Math. Soc. 119, 270–290 (1965) Article MathSciNet Google Scholar

[4] Krech, G., Krech, I.: On some bivariate Gauss-Weierstrass operators. Constr. Math. Anal. 2(2), 57–63 (2019) MathSciNet MATH Google Scholar

[5] Wachnicki, E.: On a Gauss-Weierstrass generalized integral. Rocznik Naukowo-Dydaktyczny Akademii Pedagogicznej W Krakowie, Prace Matematyczne 17, 251–263 (2000) MathSciNet MATH Google Scholar

[6] Zayed, A.I.: Handbook of function and generalized function transformations, $1^{s t}$ 1st Edition. CRC Press, London (1996) Google Scholar

[7] Digital Library of Mathematical Functions, https://dlmf.nist.gov Download references

2022

Global random walk solvers for reactive transport and biodegradation processes in heterogeneous porous media

August 26, 2021

On some applications of the controllability principle for fixed point equations

August 17, 2022

Chebfun Solutions to a Class of 1D Singular and Nonlinear Boundary Value Problems

July 11, 2022

Simultaneous approximation by Gauss–Weierstrass–Wachnicki operators

Abstract

Authors

Keywords

Paper coordinates

PDF

About this paper

Journal

Publisher Name

DOI

Print ISSN

Online ISSN

Paper (preprint) in HTML form

Simultaneous approximation by Gauss–Weierstrass–Wachnicki operators

Abstract.

1. Introduction

2. The operators

3. Results

Lemma 1.

Proof.

Lemma 2.

Proof.

Theorem 3.

Proof.

Lemma 4.

Proof.

Theorem 5.

Proof.

References

Related Posts