Talk:Nachbin's theorem

This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects:

Mathematics Mid‑priority This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles Mid This article has been rated as Mid-priority on the project's priority scale.

Why is Borel transform redirected to this page, which has some discussion of generalized Borel transforms? Surely there should be a page on the ordinary Borel transform, referred to here. Unfortunately I'm not qualified to write such a page. --Dylan Thurston 04:01, 15 March 2006 (UTC)[reply]

The ordinary Borel transform is the same thing as the Laplace transform, which this article explains. Since no one calls the Laplace transform the Borel transform any more, it seemed more appropriate to redirect here, where the usage is still in vogue. But maybe I'm mistaken. linas 02:10, 16 March 2006 (UTC)[reply]

Can Borel and Borel-generalized transforms be applied when the function f(t) has no exponential order for example...${\displaystyle f(x)=e^{x^{2}}}$ or simply if ${\displaystyle |f(t)|>Ce^{Mt}}$ for real C and M ?.. (unsigned, August 2006)

Uhh, does it satisfy conditions of psi-type?linas (talk) 04:37, 21 November 2010 (UTC)[reply]

The text "... to emphasize that the limit must hold in all directions θ." disconcerts me. In general, 2D limits are much much stronger than simply having 1D limits hold in a collection of directions. To wit: A function can have a complete set of directional derivatives through the origin, and yet be discontinuous at the origin. An example specific to this case, we could define the following ${\displaystyle f}$ with support only along a hyperbola on the complex plane, in terms of the Kronecker delta:

${\displaystyle f(a+bi)=\delta _{a,{\frac {1}{b}}}e^{\sqrt {a^{2}+b^{2}}}}$

Observe that the limit of ${\displaystyle f(re^{i\theta })}$ when ${\displaystyle r\to \infty }$ for any given fixed ${\displaystyle \theta }$ is zero, because the parameterized path only hits at most a single point of ${\displaystyle f}$'s support! We would therefore conclude that ${\displaystyle f}$ has exponential type ${\displaystyle -\infty }$, or something else. However, if we take the true 2D limit with ${\displaystyle \theta }$ included and not fixed, then the limit is ${\displaystyle \infty }$, and the true exponential type of ${\displaystyle f}$ is correctly determined to actually be one.

Now, from my reading of Exponential_type#Formal_definition, the 2D limit is what was intended, please correct me if I'm wrong. One fix is to change the definition over to the more formal limit of ${\displaystyle |z|\to \infty }$. Alternatively, we could just change it to "... the limit must hold in all directions θ at once." which hints at the 2D limit. Thoughts? 18:38, 3 November 2014 (UTC)

Both of these sections include redundant material and contrast in a way I expect will confuse readers. It seems to me that the best thing to do here without changing what is included in the page overall would be to put "Nachbin resummation" first and include all the "generalized Borel summation" material in it, and then make a "Borel transformation as a special case" section second.

Generally, the page needs a clearer statement of the theorem and its conditions and applications as well, but for now I'm just interested in clearing up the existing page to make that work simpler later. RowanElder (talk) 13:57, 8 September 2024 (UTC)[reply]

I resolved this a different way. I was more confused by some of the mistakes in grammar and diction in the "Nachbin summation" section than I'd initially understood. RowanElder (talk) 14:15, 8 September 2024 (UTC)[reply]