Talk:Exponential function

Wiki Education assignment: 4A Wikipedia Assignment

This article was the subject of a Wiki Education Foundation-supported course assignment, between 12 February 2024 and 14 June 2024. Further details are available on the course page. Student editor(s): Not Fidel (article contribs). Peer reviewers: Maaatttthhheeewww.

— Assignment last updated by Ahlluhn (talk) 00:57, 31 May 2024 (UTC)

Formal Definition

In the formal definition: $e^{x}\equiv \sum _{j=0}^{\infty }[x^{j}/j!]$ the LHS is apparently assumed a priori (and proved later in the Overview section). Perhaps for beginners it would be more satifying not to assume this but instead prove it by considering:

(a) $f[x]\equiv \sum _{j=0}^{\infty }[x^{j}/j!]\;\;\;\;\;\;f[1]\equiv \sum _{j=0}^{\infty }[1/j!]\equiv e.$

(b) $g[x]\times g[y]=g[x+y]\;\Leftrightarrow \;g[x]=B^{x}$ are equivalent where B is an appropriate base.

Then show and use: $f[x]\times f[y]=f[x+y]\;\Leftrightarrow \;f[x]=B^{x}$ by a very satisfying multiplication of this particular definition as expanded below.

Hence $f[1]\equiv e=B\;\to \;e^{x}\equiv \sum _{j=0}^{\infty }[x^{j}/j!].$

${\begin{array}{l}f[x]\times f[y]=\sum _{j=0}^{\infty }{x^{j}/j!}\times \sum _{k=0}^{\infty }{y^{k}/k!}\\\\=\left\{{\begin{array}{cc}1&\times (1+y+y^{2}/2+y^{3}/3!+\dots )\\+x&\times (1+y+y^{2}/2+y^{3}/3!+\dots )\\+x^{2}/2&\times (1+y+y^{2}/2+y^{3}/3!+\dots )\\+\dots \end{array}}\right.\\\\=\left\{{\begin{array}{ccccccc}1&+y/1!&+y^{2}/2!&+y^{3}/3!&+y^{4}/4!&+y^{n}/n!&+\dots \\+x/1!&+xy&+{\frac {xy^{2}}{1!2!}}&+{\frac {xy^{3}}{1!3!}}&+{\frac {x^{n-4}y^{4}}{(n-4)!4!}}&+\dots &+\dots \\+x^{2}/2!&+{\frac {x^{2}y}{2!1!}}&+{\frac {x^{2}y^{2}}{2!2!}}&+{\frac {x^{n-3}y^{3}}{(n-3)!3!}}&+\dots &+\dots &+\dots \\+x^{3}/3!&+{\frac {x^{3}y}{3!1!}}&+{\frac {x^{n-2}y^{2}}{(n-2)!2!}}&+\dots &+\dots &+\dots &+\dots \\+x^{4}/4!&+{\frac {x^{n-1}y}{(n-1)!1!}}&+\dots &+\dots &+\dots &+\dots &+\dots \\+x^{n}/n!&+\dots &+\dots &+\dots &+\dots &+\dots &+\dots \\+\dots &+\dots &+\dots &+\dots &+\dots &+\dots &+\dots \end{array}}\right.\\\\=\left\{{\begin{array}{ccccc}1\\&+(x+y)\\&&+{\frac {(x+y)^{2}}{2!}}\\&&&+{\frac {(x+y)^{n}}{n!}}\\&&&&+\dots \end{array}}\right.\\\\=\sum _{n=0}^{\infty }{(x+y)^{n}/n!}=f[x+y]\end{array}}$

— Preceding unsigned comment added by MikeL2468 (talk • contribs) 16:58, 26 June 2024 (UTC)

These huge formulas are certainly not convenient for beginners. D.Lazard (talk) 17:20, 26 June 2024 (UTC)

I made some changes to the article including to address this concern. Rather than giving the proofs, I merely indicate that they exist. —Quantling (talk | contribs) 18:32, 26 June 2024 (UTC)

Thank you for your changes addressing this concern. I could not spot them, but I may be looking in the wrong place.

I wrote up these comments as it took me 60 years to spot that e^x was an 'a priori' assumption.

By the way, the largest terms in e^m are the mth and (m-1)th terms, the others falling away in a Gaussian like distribution with width square-root m. Throw in a factor like 2.2 and I think this may be related to Stirling's formula for factorials.

Hence 3 ways of looking at e^x - as well as the others mentioned in this article. Best wishes, Mike. MikeL2468 (talk) 19:48, 26 June 2024 (UTC)

My changes were to clarify that exp x can be defined in several equivalent ways (by power series, infinite product, or differential equation) but it then has to be proved that exp x = (exp 1)^x. Also that it then has to be proved that a non-zero function f(x) satisfying f(x + y) = f(x)f(y) will necessarily be of the form exp kx for some k. —Quantling (talk | contribs) 16:52, 27 June 2024 (UTC)

I think part of the problem with this article is that it's really about two different things, the natural exponential function exp and exponential functions $b^{x}$. The article actually defines these things differently. The natural exponential is given by a series (or other equivalent characterization), whereas exponential functions are given by approximation. This schizoid nature of the article makes it very confusing. The lede is five paragraphs long, for example. To me, that's an indication that there are really two different topics here: "Elementary" exponential functions, like those of precalculus, which can be rigorously defined using only integer exponentiation, continuity, and and completeness, and the natural exponential and those derived from it. Unfortunately, there is no distinction in usage between these two topics because the "natural" exponential is strictly more general. Tito Omburo (talk) 11:27, 27 June 2024 (UTC)

Wikipedia's article on exponentiation discusses expressions like b^x, so I think it is right for this article to focus on exp x as defined by power series, infinite product, or differential equation. I think that the present article should mention but not go too deeply into the fact that the exponential function has an interpretation in terms of exponentiation: exp x = (exp 1)^x. Likewise, I think it is appropriate to mention but not go too deeply into the fact that exp kx acts like b^x and thus solves requirements like f(x + y) = f(x)f(y). —Quantling (talk | contribs) 17:07, 27 June 2024 (UTC)

exponential functions, exponentiation, exponents, power functions?

I'm an old geographic scientist with broad mathematical experience and it seems to me that Wikipedia doesn't make clear distinctions among the above concepts - any maybe some others as well. My own approach would be clear formulas and clear graphics - on the order of the thumbnail. Let me know if you'd like help with this... Otherwise, i'll keep quiet.

examples of 10 curves with real exponents between -1 and 1.25

. Lee De Cola (talk) 01:19, 20 August 2024 (UTC)

@Ldecola: Your call for 'clear distinctions' brings me to the presentation of (not very well known?) verbal characterizations of four main types of functions, together with a subtype of each.

• A lineair function transforms equidistant pairs into equidistant pairs:   f(u+s) - f(u) = f(v+s) - f(v) .

    * A proportional(?) function transforms addition into addition:   f(u+v) = f(u) + f(v) .

• An exponential function transforms equidistant pairs into equiratio pairs:   f(u+s) / f(u) = f(v+s) / f(v) .

    * An anti-logarithmic(?) function (R→R⁺) transforms addition into multiplication:   f(u+v) = f(u) • f(v) .

• An anti-exponential(?) function transforms equiratio pairs into equidistant pairs:   f(ru) - f(u) = f(rv) - f(v) .

    * A logarithmic function (R⁺→R) transforms multiplication into addition:   f(uv) = f(u) + f(v) .

• A general power(?) function transforms equiratio pairs into equiratio pairs:   f(ru) / f(u) = f(rv) / f(v) .

    * A power(?) function (R⁺→R⁺) transforms multiplications into multiplications   f(uv) = f(u) · f(v) .

A much harder point (but important for you - and for me as well) is how to get the whole WPen accept unique names in all eight cases? Short, but very artificial and therefore chanceless, should be: s-s-functions, a-a-functions, s-r-functions, etc.

About sources. It's hardly to believe that this simple scheme shouldn't be ever mentioned on WPen. Or on other WPs, or other internet-pages. Half of the scheme - the four 'subtypes' - has a famous source, 200 years old: C-A Cauchy, Cours d'analyse 1821, Chap.V, pp. 103-122. So maybe the other four types could be found in books from that period? Hesselp (talk) 18:36, 20 August 2024 (UTC)

@Ldecola Please feel free to make concrete and specific suggestions about improvements you imagine to this or related articles. We have articles Exponential function and Exponentiation (which also defines exponent); for now Power function redirects to Exponentiation § Power functions but it could certainly be its own article. All of these could, like most articles in Wikipedia, benefit from more work. –jacobolus (t) 23:18, 25 August 2024 (UTC)

Dieudonné on defining standard functions by their main property

@Ldecola: A much more recent source (compare Cauchy, above 20/08) on defining a class of functions by their collective property, can be found in  J. Dieudonné, Foundations of Modern Analysis, 1960; p.83 (4.3.7) :

"Any continuous mapping R⁺ into R⁺ such that  g(xy) = g(x) g(y)  has the form  x^a  with a real."

Four remarks:

-1. D. doesn't mention a name for the defined class of functions. Possibly(?):  "the 1 to 1 power functions".

-2. Isn't mathematical more just to use a defining condition, than to 'define' a class of functions by showing the form in which they are usually notated on paper? (In many cases several different forms are in use.)

-3. D. doesn't mention that the degree of a given power function f is equal to the, not on x dependent, value  x f'(x) / f(x) .

-4. On p.82 (4.3.2), D. uses as well the main property  f(xy) = f(x) + f(y)  to charcterize the mapping named the logarithm of base a. Hesselp (talk) 16:34, 22 September 2024 (UTC)

Dieudonné's quotation is not a definition. It is a theorem. D.Lazard (talk) 17:20, 22 September 2024 (UTC)

i'm still concerned that the articles relating to the topics i named don't help beginners get a clear idea about how exponentiation, etc is defined. the mathematical functions and operations are no doubt unambiguous, but the definitions aren't. however, i'm not qualified to clear thus up. Lee De Cola (talk) 03:02, 24 September 2024 (UTC)

Natural / general / more general exponential function(s)

@Alsosaid1987, Magyar25, and 91.170.28.20:
In the introduction the word ‘exponential’ seems to be used in four ways:
- The exponential function ($e^{x}$)
- also known as exponential functions ($b^{x}$)
- allows general exponential functions (?)
- more generally also known as exponential functions ($ce^{ax}=cb^{kx}$)
So well defined names, sometimes with alternatives, are (imho) strongly desired.
My question:  Who knows something better (at least for use in this article) than:
- General exponential function(s)   ($ab^{x}$)
- Special exponential function(s) / Exponential function(s) / Zero-to-one (f(0)=1) exponential function(s)   ($b^{x}$)
- The natural exponential function / The exponential function   ($e^{x}$)

Similar names
The nomenclature described above could be extended to:
- General logarithmic function(s)   ($a\log _{b}x$)
- Special logarithmic function(s) / Logarithmic function(s) / One-to-zero logarithmic function(s)   ($\log _{b}x$)
- The natural logarithmic function / The logarithmic function   ($\ln x$)
- General power function(s)   ($ax^{d}$)
- Special power function(s) / Power function(s) / One-to-one power function(s)  ($x^{d}$).

Extension to quantities
The variables in the notations of the functions discussed above are meant as reals.
Exponential growth and decay can be described by functions with quantities as variables.
E.g. written as:  $x\mapsto a\,b^{x/s}$, b real >1   and   $x\mapsto a\,b^{x/s}$, 0<b<1   with x, a and s quantities, x and s of the same kind.
Names of this functions: "Exponential growth" and "Exponential decay".

The general exponential functions, as well as the functions ‘exponential growth’ and ‘exponential decay’, comply with   $f(x+s)/f(x)=f(y+s)/f(y)$  for all x, y, s (all reals, or all quantities of the same kind).  In words: this functions transform equidistant pairs into equiratio pairs. Hesselp (talk) 19:39, 13 October 2024 (UTC)

I think the lead is clear as is.—Anita5192 (talk) 20:47, 13 October 2024 (UTC)

The names are pretty standard: there is nothing to replace them with, other than making something up ourselves. I think it is proper to stress the mathematical importance and salience of THE exponential function e^x, but the (general) exponential functions are what is most used in applications. Magyar25 (talk) 12:19, 14 October 2024 (UTC)

I agree with @Anita5192 and @Magyar25 that the lead is relatively clear and that there is not need to change the terminology. Malparti (talk) 10:59, 15 October 2024 (UTC)

@Anita5192: The distinction between numer-to-number exponential functions versus the more general quantity-to-quantity ones, (the 'diverse phenomena in several sciences'), isn't made clear by the sentence "More general, especially . . . the function at that point." Hesselp (talk) 18:25, 25 October 2024 (UTC)

This looks crystal clear to me.—Anita5192 (talk) 18:41, 25 October 2024 (UTC)

@Magyar25 and Malparti: I accept that my (incomplete) proposal for naming the different types of exponential functions, isn't supported. But I still advocate a separate description in the intro of the most general type of exponential functions. Hesselp (talk) 18:25, 25 October 2024 (UTC)

These are mentioned in the lead and described later in the article, where they should be.—Anita5192 (talk) 18:41, 25 October 2024 (UTC)

Quantity-to-quantity exponential functions
The current introduction starts with the exponentiel functions of  (1) type  $e^{x}$ and  (2) type  $b^{x}$. Followed (in the sentence "More probably, especially in applied settings, ...") by a incomprehensible mix of two more types:
(3) type  $a\ b^{x}$,  mapping numbers to numbers ("$\mathbb {R} \to \mathbb {R} ^{+}$") ;
(4) type  $a\ b^{t/u}$,   mapping quantities to quantities; with argument quantity t (mostly: 'time') measured by unit quantity u of the same kind. Describing the "diverse phenomena in ... sciences."   Obeying $f(x+z)/f(x)=f(y+z)/f(y)$ for all x, y, z (transforming equidistant pairs into equirational pairs),  or  $f(x)/f'(x)$ is independent of x . With arguments and images not restricted to numbers.

Question:  Shouldn’t this quantity-to-quantity type be described explicitly in the intro, not mixed up with the description of number to number type $a\ b^{x}$ ?

Second question:  Isn't it preferable to start the intro with the most general type of exponential functions: mapping quantities to quantities?   Followed by its subspecies, with one more restriction added successively:
- type  $a\ b^{x}$, arguments and images restricted to numbers;
- type   $b^{x}$,  obeying   $f(x+y)=f(x)f(y)$ for all x, y (transforming adding into multiplication)  or obeying  $f(0)=1$  ;
- singleton type  $e^{x}$,  obeying  $f'=f$,  usually named - because of its importance - 'the exponential function'.

Then showing the rewriting of the written forms using an arbitrary (positive) base, by the often preferred forms with base e . Maybe with mentioning that the Euler number e can be defined as the x-independent value of expression  $f(x+f(x)/f'(x)\,)\ /\ f(x)$   with  f  being any exponential function, including the quantity-to-quantity type. Hesselp (talk) 18:54, 25 October 2024 (UTC)

Quantity to quantity? Mathematical objects aren't defined in terms of physical quantities, but in terms of other math objects. For example, what would we mean by "exponential of time"? Well, we measure time by a number, and compute the exponential of that number. Thus, there is no separate exponential of time, only the application of exponential of number. This is essential to the viewpoint of mathematics as a discipline.

As for the exposition progressing from special to general, versus general to special, I prefer the first, because the key function to understand is exp(x), while the others should be thought of as modifications of it. Magyar25 (talk) 20:48, 25 October 2024 (UTC)

I agree with Magyar25 that physical quantities are measured by numbers, and thus only functions from numbers to numbers are to be considered. However, when one has quantities, one must consider how formulas change when one changes of units. Here a (general) exponential function establish a relation ⁠$y=ab^{cx}$⁠ between x and y. This relation can be rewritten ⁠$y/a=e^{x/d}$⁠ with ⁠$d={\frac {1}{c\ln b}}.$⁠ This means that, when working with quantities, there is only one exponential function, since one can choose the units for having the natural exponential function.

IMO, this does not belong to the lead, but could be the object of a section "Exponential of quantities" somewhere in the article. D.Lazard (talk) 09:21, 26 October 2024 (UTC)

@Magyar25:

a.  "Quantity to quantity" exponential functions.   This aren't mathematical objects? Function (mathematics) says: "Functions were originally the idealization of how a varying quantity depends on another quantity."

b.  "we measure time by a number".   Other people measure time by a (arbitrary chosen) time interval / time unit. That' s not a number.

c.  "the key function ... is exp(x) or $e^{x}$".   But this function exp and this number e are just falling from the sky, where is their origin ?  The answer: in every function transforming equidistant pairs of domain elements into equirational pairs of codomain elements. Isn't it that the key, to start with?

d.  "the others should be thought of as modifications of it".   The function types $e^{x}$, $b^{x}$ and $a\ b^{x}$ (all numbers to numbers) are nested subclasses of the most general class of exponential functions. The decay of U235 radiation intensity as a function of time, cannot be thought as a modification of $e^{x}$.   The elements in the class of functions of type $a\ b^{x}$ are not 'modifications' of function $e^{x}$ (by the way: how do you define 'a modification of a given function' ?). You only can say that the function $e^{x}$ is an element of the class of functions of type $a\ b^{x}$.

e.  "any function $\mathbb {R} \to \mathbb {R}$ defined by . . . $a\ b^{kx}$" (intro since 23 Oct 2023 / 15 Oct 2024 ).   Why a notation with parameters b and k ?  Both being numbers, $b^{k}$ can be reduced/simplified to one parameter.

@D.Lazard:

f.  "working with quantities, there is only one exponential function".   The exponential decay function of U238 is the same as the the exponential decay function of U235 ?  I don’t think so.  Yes, they both can be written using an exponentiation form with base e and different exponents, but this partly similarity of notation does't makes them the same function/relation, IMO. Hesselp (talk) 16:18, 26 October 2024 (UTC)

The conceptual framework of mathematicians is different from that of physicists and engineers. Yes, "functions were originally the idealization of how a varying quantity depends on another quantity," but centuries of math have refined this concept to a precise abstract core defined in terms of set theory. It is only through such precision (definition, theorem, proof) that we can build the formally correct theories which are the content of modern mathematics.

Of course, there is much informal intuition behind such theories, and many ways to model real-world phenomena using them. But mathematics is not intuition or empirical science, and I believe that Wikipedia mathematics articles should guide a general audience toward the mathematics, i.e. toward the formal theories.

Regarding exponential functions, the mathematical consensus is that exp(x) is not a random function from the sky, but a function so special that it will appear inevitably in any investigation of differential equations or growth models. It is characterized in at least 5 ways, most of them leading naturally to exp(x), not to $a\,b^{x}$. Most fundamentally, $\exp '(x)=\exp(x),\ \exp(0)=1$. The decay of U238 and U235 are not mathematical functions; rather, they are modeled by $f(x)=a\exp(-kx)$ for different constants a, k. If you measure radioactive material carefully enough, you will find deviations from this model, as you will from any mathematical model. Magyar25 (talk) 17:19, 26 October 2024 (UTC)

@Magyar25: I numbered your ten sentences, for easy reference.

1. Too much a generalization. The conceptual framework of different mathematicians, can differ at least as much as between some mathematicians and some physicists/engineers.

2. In WP Function (mathematics) I cannot find that the time dependency of the intensity of U235 radiation shouldn't be called 'function'.

3. 4. Agree

5. Agree. So I expect you can define 'a modification of a given function' (I don't mean: 'modification of notations of a function'). And explain why $b^{k}$ (b, k in $\mathbb {R}$) is not reduced to one variabel.

6. My remark in point c about 'from the sky'. I meant: 'in the very first sentence of the intro', of course not the concensus between mathematicians.   I'm not at all opposing the central role of $e^{x}$ in mathematics/analysis (this central role is probably caused by the fact that $e^{x}$ obeys more conditions/restrictions than the other types of exponential functions).

7. I've no reason not to believe you.

8. Agree, see 6.

9. They are modelled as well by $f(t)=a\ b^{t/u}$ with b a positive number, t and u time intervals, a an intensity of radiation.

10. Agree. Hesselp (talk) 21:58, 26 October 2024 (UTC)

Intro reduced to essentials - proposal

An exponential function is a function obeying:  pairs of elements with the same difference in the domain, are transformed into pairs with the same ratio in the codomain  ($\,f(u{+}d)/(f(u)=f(v{+}d)/f(v)$ for all domain elements u, v, d ).  An equivalent condition is: $f(x)/f'(x)$ is independent of $x$.  The $x$-independent ratio $f(x{+}1)/f(x)$ is called its base.
Notation.  Exponential functions are usually written $a\ b^{x}$, using the notation of the two-variable function exponentiation.
Special type.  With a equals 1 ( f(0)=1), the functions $f(x)=b^{x}$ obey $f(x{+}y)=f(x)f(y)$ for all $x$, $y$  (transforming addition into multiplication, the opposit of the main property of logarithmic functions).
Most special type.  There is exactly one function obeying moreover $f(x)/f'(x)=1$ for all $x$, having Euler’s number e (2.71828…) as its base. Usually named 'the exponential function' or 'the natural exponential function'.  Symbol: $\exp$,  written as  $\exp \,$(x),  e^x or  e^x .
[End of poposed intro.]

Nine remarks:

• The order of the three types of exponential function from special to general is less easy to grisp than the order from general to special. Because: what is meant by "generalizations of a given function' (see hatnote), or with 'modification of a given function' (see Talk Magyar25, 25 Oct.)? Why aren't 'generalizations/modifications' as well:  $e^{x^{2}}$,  $e^{[x]}$,  $x\,e^{x}$,  $e^{sinx}$,  $t\mapsto a\,e^{t/\tau }$ (time t to quantities as $a$),
  
• All info about quantity-to-quantity relations/functions ("applied settings") in a separate section, or in Exponential growth and Exponential decay.
  
• Not starting with how (a special case of) an exponential function is displayed in written form, but with its defining property.
  
• No history in the intro ("the exponential function originated from").
  
• "relating exponential functions to the elementary notion of exponentation". Not the exponential function 'an sich', but the usual way they are notated is related with exponentation.
  
• Don't use "base" (of an exponential function) without defining the term.
  
• No emphasis on b^x = e^{x ln b}. Every positive number, so every value of b^x as well, can be written as an exponentiation with an arbitrary (pos.) base. So with base e as well. Belongs to article Exponentiation.
  
• Not: "its rate of change at each point is proportional to the value of the function at that point."  Two numbers have a ratio, but two numbers cannot be proportional.
  
• Postpone (or avoid):     complex arguments,     matrices,     Lie-algebras,     symbol “ln” (not simple enough for the intro),     "the natural exponential" (= the natural exponentiation? sources),     the notation a b^kx (because b^k  instead of a single variable, suggests that k stands for a quantity instead of a number),     "initial value problem",     power series definition,     square matrices,     Lie groups,     Riemannian manifold,     antilogarithm (is/was used as well for the inverse of logarithmic functions with base 10 and other bases).
  

Comments? Hesselp (talk) 23:13, 31 October 2024 (UTC)

This seems confusing and overcomplicated to me. This article should focus on "the" exponential function ⁠$\exp$⁠ as its primary subject, while mentioning more general functions as as a side subject. The discussion of the latter in the lead section can be copyedited and slimmed down, but elaborated more carefully in a later section of the article. –jacobolus (t) 18:57, 1 November 2024 (UTC)

@Jacobolus: Three questions:

• "should focus on". Why 'should it'? The title doesn't support you.
• Sources please, with a definition of 'more general functions of a given function'.
• The article starts with saying how your favorite function is denoted. Where in the article I can find for the first time how your favorite can be defined? (In my proposal by sentence 1, 5 and 6, Isn't that an early 'focus'?)

Hesselp (talk) 20:42, 1 November 2024 (UTC)

Because (a) this is the current main subject of the article, (2) this is one of the most common and important functions in mathematics and an article scoped to be about it in particular is worthy of an encyclopedia article with plenty to say, (3) many people search for "exponential function" trying to figure out what it is, and most inbound links here are referring to this specific function, with text like "foo is exp of bar, where exp is the exponential function" or "⁠$x\mapsto e^{x}$⁠ is called the exponential function", (4) the more general topic is also discussed at articles such as exponential growth and exponentiation. –jacobolus (t) 02:00, 2 November 2024 (UTC)

@Jacobolus: Thanks for your reaction. But . . . I don't find answers on any of my three questions.

• Visiting linear function, power function or logarithmic function I don't see a focus on one special individual function. So why the article exponential function  s h o u l d  focus on $e^{x}$ ?
• "more general functions than function e x p". See my first 'remark' (in Talk 31 Oct).
• The current text defines function $\exp$ in sentence nr. ??. That means a stronger 'focus' than sentence nr. 6 (Most special type) in my proposal?

On your (2): start an article titled "Function $\exp$".  (3): "foo is exp of bar" ??  (4): Your "also" implies that type $a\,b^{x}$ is discussed in the current article/intro as well. So why it should be "confusing and overcomplicating" in my proposed intro?   Starting with type $a\,b^{x}$ avoids the undefined ídea of 'generalizing a function'. Hesselp (talk) 12:09, 2 November 2024 (UTC)

I'm not really understanding your point, but I strongly oppose an effort to substantially change the scope of this article. If the problem is just that the current lead section is poorly written, then I agree, and would happily support efforts to make it clearer. –jacobolus (t) 15:35, 2 November 2024 (UTC)

Yes, let's focus on exp x, whether written that way or as e^x, rather than the other forms. The lede could indicate in a single sentence that there exist other meanings, but we wouldn't actually write or discuss the likes of a^b or ca^b, etc. except in some section much later. Likewise we'd have a single sentence mentioning the existence of exp x when x is something more complicated than a complex number, but wouldn't actually write or discuss it until a later section. Excepting for these hints, I want the lede to be exclusively about exp x for x a complex number or simpler. —Quantling (talk | contribs) 20:12, 1 November 2024 (UTC)

@Quantling: "let's focus on the function written as exp x or as e^x ", followed by ". . .there exist other meanings". As if the meaning of the written forms exp x and e^x is already explained. Quod non.   Please show how you should explain the meaning of your forms in the first lines of the lede. Hesselp (talk) 21:12, 1 November 2024 (UTC)

I am thinking that we should have something like this (after the short description, about blurb, and infobox):

The exponential function is a mathematical function denoted by $f(x)=\exp(x)$ or $e^{x}$ (where the argument x is written as an exponent). Unless otherwise specified, the term generally refers to the positive-valued function of a real variable, although it can be extended to the complex numbers or generalized to other mathematical objects like matrices or Lie algebras. Its ubiquitous occurrence in pure and applied mathematics led mathematician Walter Rudin to consider the exponential function to be "the most important function in mathematics".^[Rudin] The function can be defined in many equivalent ways, such as via a power series, an infinite product, or a differential equation. In many contexts the exponential function is the same as exponentiation, exp x = (exp 1)^x. More generally, functions of the form a^b or ca^b are sometimes called exponential functions.

Definitions

---

The function exp(x) can be defined in several equivalent ways.

Taylor series

The exponential function can be defined by the power series $$\exp x=\sum _{n=0}^{\infty }{\frac {x^{n}}{n!}}$$ which works in many contexts such as when x is a real number, a complex number, or a matrix. More about it...

Infinite product

The exponential function can be defined by the infinite product $$\exp x=\lim _{n\rightarrow \infty }\left(1+{\frac {x}{n}}\right)^{n}$$ which works in many contexts such as when x is a real number, a complex number, or a matrix. More about it...

Differential equation

The exponential function can be defined by the differential equation $${\frac {d}{dx}}\exp x=\exp x$$ with the initial condition that exp(0) = 1. More about it...

—Quantling (talk | contribs) 16:21, 2 November 2024 (UTC)

I think it's a mistake to lead with complex numbers, matrices, Lie algebra, or quotations from Rudin. This is a subject encountered by high school students in their calculus or even algebra classes, and the first couple paragraphs and after that the first few sections should be made as accessible as possible. See WP:TECHNICAL. –jacobolus (t) 16:51, 2 November 2024 (UTC)

Who prefers the current intro?

Having considered the comments on earlier proposals, I wrote a partly new version of the intro. Based on principles as:
- Considerable shortening
- As long is the title is not changed into "Function exp", the intro should start with a general definition condition applicable to all types of functions that are called 'exponential' by scientists. (See intro 5 Sep. 2009 – 25 Aug. 2015; see Talk 2016)
- The natural exponential function should have a prominent place.
- No mentioning of alternative definitions as power series, limiet of a sequence (it's not an infinite product !), continued fraction.
- Nothing about history, matrices, Lie algebra, Rudin, the natural exponential (=?), initial value problem, Riemannian manifold, bijection.
- Encyclopedic style, not a written classroom presentation.

Alternative intro 11-06
An exponential function, represented by written forms as $a\,b^{x}$, $b^{x}$, $e^{x}$, $\,\exp x$ and more, is a mathematical function defined by the condition that pairs with the same difference, are transformed into pairs with the same ratio.
Exponential functions can be represented by written expressions as $\,\exp x$, $e^{x}$, $b^{x}$, $a\,b^{x}$ and more.  Some authors use the name 'exponential function' for a broader class of functions than others. All this functions obey the condition that pairs of arguments with the same difference in the domain, are transformed into pairs of values with the same ratio in the codomain.  This corresponds with the example of duckweed growth: in equal long periods of time, the area of duckweed increases by the same multiple (the same factor). In math language:$\,f(u{+}d)/(f(u)=f(v{+}d)/f(v)$ for all $u$, $v$, $d$ .  An equivalent condition is: $f(x)/f'(x)$ is independent of $x$.  The $x$-independent ratio $f(x{+}1)/f(x)$ is called its base.

The unique exponential function ($\mathbb {R}$ to $\mathbb {R} ^{+}$) obeying  $f$(0) $=1$  and   $f(x)/f'(x)=1$ for all $x$,  is called  'the exponential function'  or  'the natural exponential function'. Symbol $\exp$, written as  $\exp x$ or $e^{x}$ or $e$^$x$.  Having Euler’s number e = 2.71828… as its base.

Exponential functions of type $f(x)=b^{x}$ obey $f$(0) $=1$  and   $f(x{+}y)=f(x)f(y)$ for all $x$, $y$ .  They transform addition into multiplication, the opposite of the main property of logarithmic functions.

Exponential functions of the general type  $f(x)=a\,b^{x}$ ($\mathbb {R}$ to $\mathbb {R} ^{+}$)  can illustrate two different meanings of the word 'base':  the exponential function  $f(x)=4\cdot 3^{2x}$ has base $f(x{+}1)/f(x)=\,9$,  while the expression  $3^{2x}$  has base $3$ (and exponent $2x$) .

Extending the (co-)domain to complex numbers leads to the complex exponential function $z\to e^{z}$, see § Complex plane
Extending the (co-)domain to quantities, exponential relations between quantities (in other sciences than pure mathematics) can be described. To avoid exponentiations with an invalid exponent, this functions are noted as $t\to a\,b^{t/\tau }$, with $b$ real positive (≠1), and $\tau$ the unit that measures quantity $t$ (mostly 'time'). See Exponential growth and Exponential decay.   [End of proposed intro.]

Who prefers the current intro? Hesselp (talk) 22:11, 6 November 2024 (UTC)

Although the current lead has many issues, the proposed versiom is much worse. One of the main issues is that the first sentence is much too WP:TECHNICAL and is confusing for most people who have already heard of exponential functions and want to refresh their knowledge. Also, I am not sure whether the functional equation given as a definition implies continuity and differentiability. D.Lazard (talk) 09:06, 7 November 2024 (UTC)

More: this first paragraph seems WP:original research, since I do not know any standard textbook that define exponentials this way. This is a strong reason for not accepting this proposal. D.Lazard (talk) 09:11, 7 November 2024 (UTC)

@D.Lazard: I've rewritten the first sentence of my proposal 11-06. Added an example, as advised by WP:TECHNICAL. (I hope the duckweed-in-the-pond story is well-known enough.)  And I changed 'definition' into 'condition', because you can't define THE meaning of a term when there is no consensus.   I'm not the inventor of the equal-difference-to-equal-ratio condition [Article 19 Apr. 2011 16:04, second sentence:  "a relationship in which a constant change in the independent variable gives the same proportional change (i.e. percentage increase or decrease)" ] .
You use the word 'exponential' as a noun. Shouldn't this noun be defined in the intro? Do you have a suggestion? Hesselp (talk) 18:53, 9 November 2024 (UTC)

I definitely prefer the draft proposed below by Jacobolus. Cosmetic changes of your version, such as your recent one, cannot change my opinion. D.Lazard (talk) 21:17, 9 November 2024 (UTC)

I prefer the current introduction. The exponential function is exp x. If there is an article about growing exponentially then we prominently feature ab^x there. In the article about exponentiation you can feature a^b. Almost never seen expressions like "f(u+d) / f(u) = f(v+d) / f(v) for all u, v, and d" do not belong anywhere near the introduction. Expressions like "f(x) / f′(x) is independent of x" should be written as a differential equation without any denominators. Actually, b is the base of an expression like f(x) = b^x; the value of f(x + 1) / f(x) is just one of many ways of rediscovering it. The "natural" exponential function can be interpreted as exponentiation with a base of b = e but I'd demote that to the fourth-most important way of defining it, after an infinite series, an infinite product, and a differential equation (in some order). —Quantling (talk | contribs) 13:53, 7 November 2024 (UTC)

@Quantling: Four reactions/questions:
- "Expressions like . . . should be written as a differential equation without any denominators"   Please, explain your 'should be'. Why should an expression be written as an equation? My proposal describes a test, deciding whether or not a given function f could be called 'exponential'.  Not very much displaced, directly after 'Exponential function' as title.
- "an infinite product". The expression $\lim$_n→∞ $(1+x/n)^{n}$ shouldn't be called an infinite product. For try to write this expression in the standard form of an infinite product.  Every sequence can be expressed by an infinite sum as well as by an infinite product.
- $\,f(u{+}d)/(f(u)=f(v{+}d)/f(v)$ for all $u$, $v$, $d\$ shouldn't be called an expression but a condition. The same with $f(x)=b^{x}$.
- You have "almost never seen" verbal descriptions of a certain relation by 'at equal intervals an percentage equal increase' ? Why not show this relation in symbolic form? (Just as 'converts sums to products' is shown by  $b^{x+y}=b^{x}b^{y}{\text{ for all }}x,y\in \mathbb {R}$  in symbolic form in the current version.)  Hesselp (talk) 14:52, 11 November 2024 (UTC)

I think the starting characterization can be something like:

In mathematics, the exponential function is the unique real function which maps zero to one and has a derivative equal to its value. The exponential of a variable ⁠$x$⁠ is denoted ⁠$\exp x$⁠ or ⁠$e^{x}$⁠, with the two notations used interchangeably. It is called exponential because its argument can be seen as an exponent to which a constant number ⁠$e$⁠⁠${}\approx 2.718$⁠, the base, is raised.

The exponential function converts sums to products: it maps the additive identity 0 to the multiplicative identity 1, and the exponential of a sum is equal to the product of separate exponentials, ⁠$\exp(x+y)=\exp x\cdot \exp y$⁠. Its inverse function, the natural logarithm, ⁠$\ln$⁠ or ⁠$\log$⁠, converts products to sums: ⁠$\ln(x\cdot y)=\ln x+\ln y$⁠.

Other functions of the general form ⁠$f(x)=b^{x}$⁠, with base ⁠$b$⁠, are also commonly called exponential functions, and share the property of converting addition to multiplication, ⁠$b^{x+y}=b^{x}\cdot b^{y}$⁠. Where these two meanings might be confused, the exponential function of base ⁠$e$⁠ is occasionally called the natural exponential function, matching the name natural logarithm. The "natural" base ⁠$e=\exp 1$⁠ is the unique base satisfying the criterion that the exponential function's derivative equals its value, ⁠${\tfrac {d}{dx}}e^{x}=e^{x}$⁠, which simplifies definitions and eliminates extraneous constants when using exponential functions in calculus. In higher mathematics, the meaning of standard exponent notation ⁠$b^{x}$⁠, generalized to allow arbitrary real numbers as exponents, is usually formally defined in terms of the exponential and natural logarithm functions, ⁠$b^{x}=\exp(x\cdot \ln b)$⁠.

Quantities which change over time in proportion to their value, for example the balance of a bank account bearing compound interest, a bacterial population, the temperature of an object relative to its environment, or the amount of a radioactive substance, can be modeled using functions of the form ⁠$y(t)=ae^{ct}$⁠, also sometimes called exponential functions; these quantities undergo exponential growth if ⁠$c$⁠ is positive or exponential decay if ⁠$c$⁠ is negative.

The exponential function can be generalized to accept a complex number as its argument. This reveals a relation between the multiplication of complex numbers and rotation in the Euclidean plane, Euler's formula ⁠$\exp i\theta =\cos \theta +i\sin \theta$⁠: the exponential of an imaginary number ⁠$i\theta$⁠ is a point on the complex unit circle at angle ⁠$\theta$⁠ from the real axis. The identities of trigonometry can thus be translated into identities involving exponentials of imaginary quantities. The complex function ⁠$z\mapsto \exp z$⁠ is a conformal map from an infinite strip of the complex plane ⁠$-\pi <\operatorname {Im} z\leq \pi$⁠ (which periodically repeats in the imaginary direction) onto the whole complex plane except for ⁠$0$⁠.

The exponential function can be even further generalized to accept other types of arguments, such as matrices and elements of Lie algebras.

This is a bit rushed as I'm in a hurry. I'll try to copyedit/clean this up/extend it further later. –jacobolus (t) 21:49, 7 November 2024 (UTC)

I would prefer a definition that easily generalizes to the use of the exponential function for complex numbers, matrices, and tangent vectors. With e^x interpreted as an exponentiation with base e, we'd have to prove equivalence to a power series or infinite product representation, or that it satisfies a particular differential equation ... and then use that representation to generalize the real-valued function beyond the real numbers. Differential equations and infinite products are more advanced than power series, so I'd like to put power series before any of the others. —Quantling (talk | contribs) 22:14, 7 November 2024 (UTC)

It's not helpful in my opinion (see WP:TECHNICAL) to lead with a definition as a power series or similar, involving a big wall of mathematical notation or more advanced topics unfamiliar to some of the expected audience. We can in the 2nd or 3rd section after the lead discuss various possible definitions. My description above is a definition in terms of a differential equation, just phrased in a hopefully relatively accessible way. –jacobolus (t) 23:12, 7 November 2024 (UTC)

@D.Lazard does the first paragraph or two there seem accurate / complete enough? –jacobolus (t) 03:36, 8 November 2024 (UTC)

This proposed lead is fine for me. I like the start with the differential equation because this explains why the natural exponential is privileged among other exponential functions (no choice of other constants than 0 and 1). To editor Quantling: this definition generalizes immediately to the complex exponential by simply changing "real" into "complex" in it. The series expression is an immediate consequence of the definition of Taylor series. Also, the definition of the exponential as a series does not explain the choice of the coefficients of the series. I agree with you that differential equations can be viewed as more advanced than power series (this depends on teachers choices), but there is only derivatives, not differential equations in Jacobolus lead. D.Lazard (talk) 10:19, 8 November 2024 (UTC)

The Characterizations of the exponential function article touches on some of the topics we discuss here.

"has a derivative equal to its value" is an equation and solving such an equation is more advanced than manipulating a power series. But, as you say, it is not obvious why someone would find that power series interesting ... except for the fact that it satisfies that differential equation! So, the differential equation is good.

However, I want to stay away from defining the exponential function as b^x for a particular value of b, though I have no objection to deriving that (for some domains) the exponential function can be so characterized. —Quantling (talk | contribs) —Quantling (talk | contribs) 21:57, 8 November 2024 (UTC)

I wasn't trying to define the exponential function as a power of ⁠$e$⁠, but merely to explain where the name exponential comes from (related to "exponent"). I realized I didn't actually know too much about the history of the word "exponent", so went hunting a bit. It appears in the Lexicon Technicum several times, and seems like it started as a synonym for index; in a geometric progression the indices (or exponents) of the term can be added/subtracted in a way corresponding to the multiplication/division of the terms themselves (for example; aside, somewhat confusingly c. 1700 the term exponent also meant the numerical value of a ratio, e.g. the ratio 6:2 would have the "exponent" 3; I'm also somewhat confused about what precisely exponential curves, exponential quantities etc. were supposed to mean as found in v2). Anyway, I think it's important to point out the relation between the words "exponential" and "exponent" near the beginning of this article. –jacobolus (t) 23:32, 8 November 2024 (UTC)

I think that the history of the word exponent must be searched in Latin, where the corresponding word means "to be exposed". I guess that it was used by copists and early printers for "superscript". Indeed, in French, exposant means both "superscript" and "exponent", as well as indice means both "subscript" and "index". As the notation of exponents as superscripts was introduced by Descartes, it is also possible that "exponent" was derived from French rather than from Latin. D.Lazard (talk) 10:17, 9 November 2024 (UTC)

@D.Lazard, you may be right that just "maps ⁠$0$⁠ to ⁠$1$⁠" is clearer in the first sentence, but I do think it's worth pointing out explicitly somewhere fairly near the top of this article that 0 is the additive identity and 1 is the multiplicative identity, since this is related to the property of transforming addition in the domain to multiplication in the codomain. –jacobolus (t) 23:37, 8 November 2024 (UTC)

I suggest to modify the second paragraph from "The exponential function converts sums to products: The exponential of a sum is equal to the product of separate exponentials, ⁠..." into The exponential function converts sums to products: it maps the additive identity 0 to the multiplicative identity 1, and the exponential of a sum is equal to the product of separate exponentials, ⁠... D.Lazard (talk) 09:51, 9 November 2024 (UTC)

Sounds good. Maybe I'll insert this proposal into the article in the next day or so, if nobody has objections. The rest of the article could also use significant cleanup and expansion if anyone wants to collaborate on this. –jacobolus (t) 18:17, 9 November 2024 (UTC)

If we're emphasizing historical and if we're emphasizing the domain of the real numbers then maybe the first definition should be that the exponential function is the inverse of the natural logarithm function. That's not a chicken and egg definition because the natural logarithm for real numbers is easily defined by

$$\ln x=\int _{1}^{x}{\frac {dt}{t}}\,.$$ —Quantling (talk | contribs) 18:35, 9 November 2024 (UTC)

In my opinion this integral is worth including in section 2 or 3, but not in the first few sentences of the article. Also, I don't think "emphasizing historical" is the most important goal, though this article could certainly use a better discussion of the history somewhere. –jacobolus (t) 18:41, 9 November 2024 (UTC)

"Inverse of the natural logarithm" might be easier for the novice reader to understand than "the unique real function which maps ⁠⁠0 to 1⁠⁠ and [everywhere] has a derivative equal to its value".

Also it is apparently interchangeable in British English but, in American English, I usually see "that" instead of "which" unless it immediately follows a comma, or the sentence previously has a "that"; so it would be "... real function that maps ...". —Quantling (talk | contribs) 20:50, 9 November 2024 (UTC)

That the exponential and natural logarithm functions are inverses is definitely important to mention early, which is why I propose putting it in the second paragraph instead of at the end of the lead section. It's certainly possible to use that as a definition of the exponential function but not particularly helpful to anyone who doesn't already know what logarithms are, and any effort to explain what a logarithm is in 2 sentences is going to be just as difficult. I agree with you that having a derivative equal to its value is not immediately accessible to every reader, but I think it's better for a first sentence than a power series or other mathematical notation heavy description. Various properties / characterizations of the exponential function should be unpacked at leisure in the body of the article so readers who persist past the lead can hopefully see a bit of motivation and a few points of view. –jacobolus (t) 21:38, 9 November 2024 (UTC)

Perhaps we can have our cake and eat it too?

In mathematics, the exponential function can be defined in numerous equivalent ways; it is the inverse of the natural logarithm and it is the unique real function that maps 0 to 1⁠⁠ and has a derivative equal to its value.

That way, a wider collection of readers will have something they can easily latch onto. —Quantling (talk | contribs) 00:57, 11 November 2024 (UTC)

I just (a) don't think this flows as well, and (b) don't think it's as accessible: saying it is the inverse of the natural logarithm still doesn't explain what's going on to someone who doesn't know what that is, which are precisely the kind of readers who need the first few sentences of this article (anyone who has finished a calculus class and still remembers it can probably safely skip down to whatever reference material or more advanced topics they need further down the page). But as I said, I do think the natural logarithm is worth mentioning very soon.

My impression is that the general goal of not privileging one or another point of view is how we ended up with the current version, "The exponential function is a mathematical function denoted by ⁠$f(x)=\exp x$⁠ or ⁠$e^{x}$⁠ (where the argument ⁠$x$⁠ is written as an exponent). Unless otherwise specified, the term generally refers to the positive-valued function of a real variable, [...]", which is what started this whole conversation by being too vague and too slow to get to the point. Basically the further we go in this direction, the more confusing and harder to read the result gets.

I think it's most narratively effective to pick whatever we think is the simplest or most important relatively accessible characterization and state it as a first sentence or two, and then try to explain further later on that there are many alternative (equally valid) points of view none of which is inherently better than another, and show what each one means in detail and how they are related. You don't have to take it from me that this particular characterization is a good one though. Here's Courant and Robbins (1941): "The natural exponential is identical with its derivative. This is really the source of all the properties of the exponential function and the basic reason for its importance in applications." [Note: Two pages before this comment Courant and Robbins define the exponential function as the inverse of the natural logarithm function – this is convenient for them because they just spent the previous several pages defining and discussing the natural logarithm, defined as an integral, which is itself convenient for them because they spent the previous few sections defining and discussing integrals, in a chapter which is overall about the nature and history of calculus.]

Of course there are plenty of sources proposing other approaches for one or another narrative reason, depending on the context and goals, which we should also try to link to or even explicitly point readers at (maybe in a footnote or in some explicit text in a bibliographic section). –jacobolus (t) 03:57, 11 November 2024 (UTC)

Here's Tim Gowers in the Princeton Companion, also perhaps a useful reference, though again the audience and context is different than for us here:

One of the hallmarks of a truly important concept in mathematics is that it can be defined in many different but equivalent ways. The exponential function ⁠$\exp(x)$⁠ very definitely has this property. Perhaps the most basic way to think of it, though for most purposes not the best, is that ⁠$\exp(x)=e^{x}$⁠, where ⁠$e$⁠ is a number whose decimal expansion begins ⁠$2.7182818$⁠. Why do we focus on this number? One property that singles it out is that if we differentiate the function ⁠$\exp(x)=e^{x}$⁠, then we obtain ⁠$e^{x}$⁠ again—and ⁠$e$⁠ is the only number for which that is true. Indeed, this leads to a second way of defining the exponential function: it is the only solution of the differential equation ⁠$f'(x)=f(x)$⁠ that satisfies the initial condition ⁠$f(0)=1$⁠.

A third way to define ⁠$\exp(x)$⁠, and one that is often chosen in textbooks, is as the limit of a power series: $$\exp(x)=1+x+{\frac {x^{2}}{2!}}+{\frac {x^{3}}{3!}}+\cdots ,$$ known as the Taylor series of ⁠$\exp(x)$⁠. It is not immediately obvious that the right-hand side of this definition gives us some number raised to the power ⁠$x$⁠, which is why we are using the notation ⁠$\exp(x)$⁠ rather than ⁠$e^{x}$⁠. However, with a bit of work one can verify that it yields the basic properties ⁠$\exp(x+y)=\exp(x)\exp(y)$⁠, ⁠$\exp(0)=1$⁠, and ⁠$(d/dx)\exp(x)=\exp(x)$⁠.

There is yet another way to define the exponential function, and this one comes much closer to telling us what it really means. Suppose you wish to invest some money [... some discussion about compounding interest ...] If ⁠$x$⁠ is any real number, then ⁠${\bigl (}1+{\tfrac {x}{n}}{\bigr )}^{n}$⁠ also converges to a limit [as ⁠$n\to \infty$⁠], and this we define to be ⁠$\exp(x)$⁠.

–jacobolus (t) 15:21, 11 November 2024 (UTC)

As for "which" vs. "that", this supposed rule is a bit of turn-of-the-20th-century prescriptivist nonsense which does not reflect prevailing usage in English writing or speech. See English relative clauses § That or which for non-human antecedents and https://www.merriam-webster.com/grammar/when-to-use-that-and-which. But it's entirely plausible that rephrasing this sentence would make it clearer. –jacobolus (t) 21:45, 9 November 2024 (UTC)

But others and still others disagree. The bigger point is that we can make everyone happy by using "that" in this case. —Quantling (talk | contribs) 01:13, 11 November 2024 (UTC)

What's the deal with using "⁠$0$⁠" and "⁠$1$⁠" instead of "0" and "1"? Is there any other Wikipedia article that does that? —Quantling (talk | contribs) 01:16, 11 November 2024 (UTC)

Articles should of course try to be internally consistent, and there are a variety of acceptable styles, but in my opinion the best practice is to consistently use LaTeX for mathematical notation, including numerals, though in some contexts such as inside a hyperlink it can be better to stick to {{math}} templates. –jacobolus (t) 04:07, 11 November 2024 (UTC)

@Jacobolus:  Comments on the first and third sentence of your draft 7 Nov.
- First sentence.  The notion of same percentage in same periods is more elementary and better known ("for most people who have already heard of exponential functions"; D.Lazard 7 Nov.) than your a derivative equal to its value. So the first notion is preferable as start of the lead. (In accordance with your: "I think it's most narratively effective to pick whatever we think is the simplest or most important relatively accessible characterization and state it as a first sentence or two, …" 3:57 11 Nov.   And with your: "having a derivative equal to its value is not immediately accessible to every reader" 9 Nov.).
- Third sentence-1.   "Maps zero to one" is introduced as a condition in the definition of 'exponential function' (1st sentence), so it's needless and confusing to repeat it as a property.
- Third sentence-2   Why twice: "The exponential function converts sums ..."  and  "the exponential of a sum ..." ?   Should this property be mentioned here at all? For there are other exponential functions possessing this property; this should be made clear.
- Third sentence-3.   If I understand it correctly, the noun 'exponential' is used exclusively to denote the function $x\mapsto e^{x}$. And 'exponential function' (with 'exponential' as adjective) is used for all kinds of equal-distance-to-equal-ratio functions.   To avoid ambiguities, 'exponential function' (without 'natural') should not be used in case only the function $x\mapsto e^{x}$ is meant. The context is not always sufficient. Hesselp (talk) 23:30, 16 November 2024 (UTC)

If I didn't already know what you were trying to say, I would have no idea what "same percentage in same periods" means. Unpacking that is going to probably take 2–3 paragraphs (which is well worth doing somewhere in the first or second section after the lead, but not as the first few paragraphs of the article). noun vs. adjective – in my understanding, unless the context indicates otherwise, the phrase "exponential of ⁠$x$⁠" is a spelled out version of the notation ⁠$\exp x$⁠ or ⁠$e^{x}$⁠ (analogous to "sine of ⁠$\theta$⁠" as a spelled out version of ⁠$\sin \theta$⁠), whereas the name "exponential function" indicates the function ⁠$\exp$⁠, i.e. ⁠$x\mapsto e^{x}$⁠ (analogous to the name "sine function" meaning ⁠$\sin$⁠, i.e. ⁠$x\mapsto \sin x$⁠). In general there shouldn't be much ambiguity; other exponential functions can be explicitly called "an exponential function of base ⁠$b$⁠" or the like, in whatever places they appear here. It would be possible to say "the exponential of ⁠$x$⁠ of base ⁠$b$⁠" or similar, but in practice this doesn't occur because people instead say something like "⁠$b$⁠ to the ⁠$x$⁠ power". –jacobolus (t) 01:32, 17 November 2024 (UTC)

@Jacobolus:   My "same percentage in same periods" (16 Nov.) was meant as reference to sentences 3, 4, 5 in my "Alternative intro 11-06" :   All this functions obey the condition that pairs of arguments with the same difference in the domain, are transformed into pairs of values with the same ratio in the codomain.  This corresponds with the example of duckweed growth: in equal long periods of time, the area of duckweed increases by the same multiple (the same factor). In math language:  f(u)+d) / (f(u) = f(v+d) / f(v) for all u, v, d .   What do you see as too difficult for moderate level readers in this text? Better to replace the duckweed (or lily) example by quotes in media during the COVID outbreak?  I see your "has a derivative equal to its value" as more difficult.  Ratio of two numbers  is easier than  derivative of a function. Isn't it?
Nomenclature. The situation with 'sine function' differs from the situation with 'exponential function'. For there is only one sine function (or two: degrees/radians), but there are many functions called 'exponential function' (you write: "other exponential functionS can" – plural).
Your "In general there shouldn’t be much ambiguity" comes very close to my "The context is not always sufficient." The ambiguity concerns: 'exponential function' as name for the single function $\exp$, versus 'exponential function' as name for all functions obeying the 'same-percentage-in-same-periods' condition.
You are definitely right saying that both meanings are mixed up in mathematical practice, but that shouldn't mean that this WP-article has to follow that - sometimes confusing - habit. (Although this double use in practice should be mentioned.)

We seem to agree on the meaning of the noun 'exponential':  "the exponential of …"  is the verbal form for symbolic expressions like  $\exp$(...)  and  $e$^(…).  And "the exponential" is the name for the unique function  $\exp$ .   Hesselp (talk) 16:27, 18 November 2024 (UTC)

@Hesselp From what I can tell your basic proposal is that the scope of this article should be changed away from the exponential function ⁠$\exp$⁠, the topic it has covered since the earliest days of Wikipedia more than 2 decades ago, with thousands of edits and hundreds of editors involved since, and the primary meaning of exponential function in higher mathematics. Instead you want the topic to be general functions of the form ⁠$f(x)=e^{kx}$⁠ or maybe ⁠$f(x)=Ae^{kx}$⁠, with material about the exponential function per se either included as a sub-topic or moved elsewhere.

I am strongly opposed to that proposal, and the other editors discussing here also seem opposed. If you ask at Wikiproject Mathematics Talk I expect you'll get similar opinions from a broader group. Such a scope change seems very unlikely, and not really worth going back and forth about more. Of course, you are welcome to ask for more feedback here, at WPM, or elsewhere, and see if you can build consensus for a scope change, but I think it will be a steep uphill climb.

In my opinion the current scope is fine, and the topic of more generic "exponential functions" can be adequately covered in Wikipedia between a few sections of this article, Exponentiation, Exponential growth, Exponential decay, and other related articles. I don't think readers will be confused, within this article, by the various possible meanings of the term exponential function so long as we are explicit in the handful of sections pertaining to more generic ones.

The criticism I have of this article is that it is substantially incomplete and disorganized, not clear or accessible enough, poorly sourced, and poorly illustrated. The exponential function is an important enough topic that I think those are worth working on. I'd recommend instead of changes to the article topic we focus on what improvements we can make to an article with the current topic. –jacobolus (t) 18:08, 18 November 2024 (UTC)

@Jacobolus: You try to improve the article. Just as I do, and hundreds of editors before. I think it should be an improvement to use an uniform nomenclature throughout the article. Which could be reached by using the names "the exponential" and "the natural exponential function" – but NOT the name "exponential function" - exclusively to denote function $\exp$.
In your edit 18 Nov. I read that you see this as a very undesirable changing of the scope of the whole article. You are strongly opposed this way to avoid confusion caused by the ambiguity of "exponential function".
Your counter proposal is: to cover the topic of more generic "exponential functions" between a few sections of this article. Okay, that's another way to avoid ambiguity: in the 'natural' sections "exponential function" gets it natural meaning, and in the 'general' section its general meaning. This should be announced in a short lead, e.g. as follows.

Proposal for the lead, 23 Nov. :

Exponential function is used in two ways.

(1)   As name for the real function, usually denoted by $\,x\mapsto e^{x}$ or $\,x\mapsto \exp x$, obeying $f'(x)=f(x)$ for all $x$ and $f(0)=1\,$.  In words: the derivative function equals the function itself, and the argument 0 is mapped to 1. Other names: "the exponential" and "the natual exponential function". See section(s) §Natural exponential function. For the complex exponential $\,z\mapsto e^{z}$ see section §Complex plane.

(2) As name for functions , usually denoted by $\,x\mapsto \exp x$,  $x\mapsto e^{x}$, $\,x\mapsto b^{x}$,  $\,x\mapsto a\,b^{x}$, or  $t\mapsto a\,b^{t/\tau }$ and more,  obeying $\,f(u+d)/f(u)=f(v+d)/f(v)\$ for all $u$, $v$, $d\,$.  In words: pairs of arguments with the same difference in the domain, are mapped to pairs of values with the same ratio in the codomain. See section §Exponential functions, general type.  [End of the lead]

Topics that could be discussed in the 'general' section(s) I've enumerated underneath.

=== Exponential functions, general type ===

- Equivalent condition: for all $d$,  $f(x{+}d)/f(x)$ is independent of $x$ .
- Equivalent condition: $f(x)/f'(x)$ is independent of $x$ .  (Who have ever seen a name for this constant?  In a geometry context it is called: the constant length of the subtangent of points on the graph of an exponential function.)
- The relation between any exponential function and the Euler-number $e$. (The ratio of the values of two arguments with distance f / f ' equals e.)
- The graph of an exponential function in polar coordinates is a logarithmic spiral.  A logarithmic spiral with pitch angle 45^o  has the property that the length of a radius vector increases by a factor $e$ as the polar angle increases by one radian. (Picture!)
- Extension of domain to quantities as argument:  example lilies(duckweed) in the pond / notation with $t/\tau$ to have an dimensionless exponent / links to Exponential growth and Exponential decay.
- Exponential functions obeying $f=f'$.
- Exponential functions obeying $f(x{+}y)=f(x)f(y)$.
- An exponential function is determined by two points on its graph. (Points (a;A), (b;B) are on the graph of the exponential function $\,x\mapsto A^{(x-b)/(a-b)}B^{(x-a)/(b-a)}$.)
- Two meanings of 'base'. The exponential function  $f(x)=4\cdot 3^{2x}$ has base ($f(x{+}1)/f(x)=\,9$,  while the exponentiation expression  $3^{2x}$  has base $3$ (and exponent $2x$).
- More?

Comments? (This was written before 22 Nov. I think I can convert this staccato list into a real text for the section.) Hesselp (talk) 23:28, 22 November 2024 (UTC)

Edit: replacing my comment with something hopefully more explanatory / less tersely negative. I don't like the "exponential function means 2 different things" framing. It's generally difficult and undesirable to make an article about two separate top-level topics, unless they both usually accompany each-other and the descriptions can either be parallel or independent and sequential (for example, a topic like sine and cosine can discuss the two on equal footing or discuss the way they are packaged together, while a topic like series and parallel circuits can first discuss one then the other). In this case though, we're talking about two different things which happen to be related but aren't on even footing. I think it's worth putting both in the same article because a split into two articles would be substantially redundant and not that helpful to editors or readers, but I think it's best to make one the primary topic (which I think should be the exponential function ⁠$\exp$⁠), and discuss the other (general exponential functions with other bases) only in sections, treating it as subsidiary to the main topic. A framing that swapped the relative importance of these is conceivable, as is a split into two options, I just don't personally support those proposals. Once it is decided to make ⁠$\exp$⁠ the primary topic, I don't think the rest of this organization proposal makes sense anymore. But some other comments: I also think we should try, as best we can, to lead with prose rather than too many mathematical equations, as prose is often more accessible to less-technical readers (though of course sometimes equations can be clearer or more precise than sentences, so we shouldn't avoid them entirely). I hope we can come up with a structure that, as much as possible, avoids reading like a list of unordered unrelated topics. Sorry if this sounds negative; I can understand where you are coming from and I'm not trying to be unfriendly. –jacobolus (t) 00:38, 23 November 2024 (UTC)

@Jacobolus: Thank you for explaining your preferences.
Comment after your third sentence:   In contrast with your examples: in the present situation the two 'top-level topics' are - unfortunately - often/usually denoted verbally by the same name.
Comment after your fifth sentence:   I don't think in terms of a primary topic and a secondary topic. WP should offer, in its own encyclopedic style, just interesting facts about both the general type and the special/natural. What you and I see as the more important, doesn't matter (will depend maybe on our backgrounds and experiences).
I plan to write a draft for the section 'General exponential functions'. Based on the nine points I mentioned 22 Nov. Keeping from the current text what belongs to the general case. Hesselp (talk) 22:43, 24 November 2024 (UTC)

It's a common situation for distinct things have the same name in different contexts. That doesn't mean we need to address both in the same article. The scope of Wikipedia articles is particular topics, not particular names, and different topics with the same name can be discussed in different places. As I said before, making a Wikipedia article whose scope is split between two topics rarely works well unless the topics closely parallel each-other. (By comparison, the scope of a Wiktionary article is a word, and must address all meanings of that word.) Personally I think the topic of "general exponential functions" is already well covered by Exponentiation and Exponential growth. –jacobolus (t) 23:59, 24 November 2024 (UTC)

Overall I think you are misunderstanding the goal here, which is (1) give a characterization in 1–2 sentences suitable of starting the article off because that's better than just vaguely beginning with "can be characterized in many different ways" or the like, then (2) make sure we mention the most important properties and basic features of the function, to be unpacked later, while (3) throwing in a note about other possible meanings of "exponential function" and how those are related so that readers expecting those are not confused. –jacobolus (t) 01:35, 17 November 2024 (UTC)

@Jacobolus:   I agee with your "sentences suitable of starting the article off". (IMO your "has a derivative equal to its value" is less suitable.)
Your "mention properties and features of THE function" at the start, makes it necessary to change the title into "Exp (mathematical function)", or the like.   Hesselp (talk) 16:37, 18 November 2024 (UTC)

"rational exponential functions"

Hi @TheGameChallenger and welcome to Wikipedia. I reverted (special:diff/1256428565) the section you just added about the concept of a "rational exponential function" meaning the product of an exponential function and a rational function. In a quick literature skim I couldn't find any sources using the term "rational exponential functions" in this way, though I did find sources using that term to mean the exponential of a rational function, a rational function of an exponential, or an arbitrary function constructed from arithmetical operations and ⁠$\exp$⁠. I don't think this is a well-established term and the concept doesn't seem to be particularly widely used.

To add material to Wikipedia, you need to find "reliable sources" supporting it, and also make sure that it is on topic for the article; I think going into detail about this seems out of scope here, giving "undue weight" to a niche and tangentially related topic. –jacobolus (t) 22:34, 9 November 2024 (UTC)

@Jacobolus ok i see thx TheGameChallenger (talk) 22:36, 9 November 2024 (UTC)

@TheGameChallenger Do you have sources related to this, or is it just something you worked on yourself? –jacobolus (t) 23:20, 9 November 2024 (UTC)

@Jacobolus I was working on a problem having to do with repdigits, and found that it was close to an exponential function, but not quite. I then realized it could be expressed as an exponential and rational function combined. I had known that empirical data will always be off from an exact function, but was suprised when it occurred with pure math. I then thought that if it occurred with pure math, then it may be useful for finding even more accurate analytical representations of real-world phenomena and thus wrote the page. But I now understand that its very niche and has limited uses and sourcing, so thanks for letting me know. TheGameChallenger (talk) 00:15, 10 November 2024 (UTC)

I'm sure similar functions appear in many applications. I just don't think this deserves extensive coverage in this article, among other reasons because (a) I don't think it reveals too much about the exponential function per se and (b) there are many ways we could make up specific combinations of exponential + other kinds of functions in one way or another, and there's definitely not space to cover those all in depth here, so trying to do it neutrally would balloon the article scope. But if you made some interesting observations it's worth trying to publish them at some other venue. If you can find several reliable sources discussing a particular other type of function not currently discussed in Wikipedia and giving it a common name, it would even be possible to make a new Wikipedia article about that. (Also, I hope this doesn't discourage you from making other contributions to Wikipedia – not trying to scare you off.) –jacobolus (t) 03:06, 10 November 2024 (UTC)

okay thx, I see your point now. But adding stuff to Wikipedia seems really hard, with all the sourcing and everything. The most I've added at once is just a paragraph in a larger article about video game preservation. TheGameChallenger (talk) 03:49, 18 November 2024 (UTC)

Draft of a section "Fundamental properties"

In a preceding thread, Jacobolus proposed a new version of the lead in which the exponential function is first defined as a function equal to its derivative. Some editors challenged this choice, arguing that it uses a more advanced knowledge than other definitions. IMO, the best definition is a definition that non only requires the less prerequesties, but also allows the easiest derivation of the fundamental properties of the subject. Jacobulus' first satisfies clearly this criterion, but, when trying to show this, I remarked that there is presently no section "Properties" in the article. So, I wrote a draft (below) for such a section, which shows how easy it is to deduce every properties of the exponential function from the above definition (all proofs are given in the draft, and need each less than a line).

Adding the draft to the article cannot be done immediately, because (1) it must be discussed and improved first (2) Jacobolus' lead must be implemented first (3) adding this section requires to modify a large part of the remainder of the article.

Here is the draft:

The exponential function is the unique differentiable function that equal its derivative, and takes the value 1 for the value 0 of its variable.

This definition requires a uniqueness proof and an existence proof, but it allow an easy derivation of the main properties of the exponential function.

Uniqueness: If ⁠$f(x)$⁠ and ⁠$g(x)$⁠ are two functions satisfying the above definition, then the derivative of ⁠$f/g$⁠ is zero everywhere by the quotient rule. It follows that ⁠$g(x)$⁠ is constant, and this constant is 1 since ⁠$f(0)=f(0)$⁠.

Existence as the inverse function of the natural logarithm: The inverse function theorem inplies the natural logarithm has an inverse function that satisfies the above definition.

Series expansion: The above definition implies immediately that the MacLaurin series of the exponential function is $${\begin{aligned}\exp(x)&=1+x+{\frac {x^{2}}{2!}}+\cdots \\&=\sum _{n=0}^{\infty }{\frac {x^{n}}{n!}},\end{aligned}}$$ where $n!$ is the factorial of n (the product of the n first positive integers). Taylor theorem implies that this this series is convergent for every x. The fact that the exponential function is the sum of its Taylor series results from the fact that the series equals its formal derivative, and thus its sum satisfies the above definition.

Functional equation: The exponential functions satisfies the identity $$\exp(x+y)=\exp(x)\cdot \exp(y).$$ This results from the uniqueness and the fact that the function $f(x)=\exp(x+y)/\exp(y)$ satisfies the the above definition.

Positiveness: The exponential function is positive and monotonically increasing. The latter property results from the first one, since the derivative equals the function. The positiveness results for $x>0$ from the fact that all terms of the above series are positive. For $x<0,$ this results from the functional identity that implies $\exp(-x)=1/\exp(x).$

Extension of exponentiation to positive real bases: Let b be a positive real number. The exponential function being the inverse each of the other, one has $b=\exp(\ln b).$ If n is an integer, the functional equation of the logarithm implies $$b^{n}=\exp(\ln b^{n})=\exp(n\ln b).$$ Since the right-most expression is defined if n is any real number, this allows defining ⁠$b^{x}$⁠ for every positive real number b and every real number x: $$b^{x}=\exp(x\ln b).$$ In particular, if is the Euler's number $e=\exp(1),$ one has $\ln e=1$ (inverse function) and thus $$e^{x}=\exp(x).$$ This shows the equivalence of the two notations for the exponential function.

This will be completed later, but it seems sufficient to show that this approach seems the simplest for a comprehensible presentation of the main properties of the exponential. D.Lazard (talk) 12:09, 10 November 2024 (UTC)

In case you see a way to extend this without overcomplicating it ... that ⁠$\exp(n\ln b)$⁠ can be extended from integers n to non-integers n is more general than to real numbers n. That is, the expression ⁠$\exp(n\ln b)$⁠ works even when n is complex or even a matrix. (This is in contrast to generalizing the domain of b which is more complicated, can be multi-valued, ....) —Quantling (talk | contribs) 17:49, 11 November 2024 (UTC)

Consider writing ⁠$\exp 1$⁠, ⁠$\exp x$⁠, and ⁠$\exp y$⁠ instead of the corresponding versions that use parentheses. —Quantling (talk | contribs) 17:52, 11 November 2024 (UTC)

@D.Lazard: Please explain (or correct) after Uniqueness: "It follows that $g(x)$ is constant."  and  "since $f(0)=f(0)$".
And after Functional equation the plural "functionS" is a typo? Hesselp (talk) 16:16, 12 November 2024 (UTC)

Partially completed. D.Lazard (talk) 15:35, 10 November 2024 (UTC)

It's also worth adding the continuous limit of compounding interest to this, i.e. $$\exp x=\lim _{n\to \infty }\left(1+{\frac {x}{n}}\right)^{n}.$$

I wonder whether it would be worth calling this something like "Characterizations and fundamental properties", and then elaborating a bit further on each of these, or whether it's better to make a concise version toward the top and then add later sections unpacking them further. –jacobolus (t) 16:57, 11 November 2024 (UTC)

"It's also worth adding the continuous limit of compounding interest to this": it is my intention to add is. However the simplest proof that I know is less simple than for other properties (it consists of applying Taylor's theorem to the logarithm of the formula). D.Lazard (talk) 17:13, 11 November 2024 (UTC)

Yes I agree; regardless of which we end up using first, in short order all of the inverse of the natural logarithm, MacLaurin series, continuous interest, differential equation, and ⁠$(\exp 1)^{x}$⁠ should be featured prominently. As for equivalence ... the polynomial ⁠$\left(1+{\frac {x}{n}}\right)^{n}$⁠ can be written out exactly using binomial coefficients. We can then show that the coefficient of any ⁠$x^{k}$⁠, which is ⁠${\binom {n}{k}}\left({\frac {x}{n}}\right)^{k}$⁠, tends to the MacLaurin series coefficient for ⁠$x^{k}$⁠ as ⁠$n\rightarrow \infty$⁠. (We could probably skip the part about how absolute convergence or some similar criterion justifies this approach to showing equivalence.) —Quantling (talk | contribs) 17:35, 11 November 2024 (UTC)

I agree that ⁠⁠$\exp(x)=\exp(1)^{x}$⁠ is fundamental, but it is more a definition of exponentiation with real exponents than a property of exponentiation (except for integer exponents, or, after some work, for rational exponents). For the limit of ⁠$(1+x/n)^{n}$⁠, your suggested proof is correct, but it needs some competence in combinatorics and a computation that is not specially illuminating; the use of Taylor's theorem on the logarithm seems thus better.

Also, I intend to add a paragraph on exponential growth and exponential decay. This paragraph must contain the property that the exponential is greater and increases faster than every polynomial, for sufficiently large ⁠$x$⁠. For the moment I have not yet found a sufficiently simple proof (searching that is not WP:OR since, if a simple proof exists, it has certainly been published a long time ago). D.Lazard (talk) 18:20, 11 November 2024 (UTC)

It maybe wins on "short" though perhaps not "simple": for a student who knows enough calculus ... the ratio of an exponential to a polynomial of degree k can be analyzed with k applications of L'Hopital's rule to show that the exponential grows faster. —Quantling (talk | contribs) 18:25, 11 November 2024 (UTC)

In a section near the top it's probably not necessary to prove the relations between these in detail inline in the text – they could be e.g. further down the page, relegated to a footnote, or even left in Characterizations of the exponential function (though that article is kind of a mess). I also wonder whether we can write a section like this using narrative paragraphs, instead of a somewhat choppy quasi-list. (It's always a bit of a trade off between orderly structure vs. smooth flow, and author/reader preferences vary, but I think for the broadest audience we benefit by aiming for breezy.) –jacobolus (t) 17:56, 11 November 2024 (UTC)

I have installed Jacobolus' lead and an improved version of the above draft. IMO this improves the article by providing a synthetic presentation of the main things that users must know for using the exponential function.

Much work remains for updating the remainder of the article and adding a section on exponential growth and decay. D.Lazard (talk) 20:47, 22 November 2024 (UTC)

I've started a separate draft at user:jacobolus/exp, but don't consider its pieces ready for inserting into the article yet, and it has a long way to go. –jacobolus (t) 00:44, 23 November 2024 (UTC)

List of potential sources

Feel free to add to this list of some sources about the exponential function. Some of these are already cited by the article, and others may or may not be useful to cite. I'll also try to keep adding more to this list in the next few days: –jacobolus (t) 04:18, 14 November 2024 (UTC)

• Ahlfors, Lars (1966), "The Exponential and Trigonometric Functions", Complex Analysis (2nd ed.), New York: McGraw-Hill, §2.3, pp. 43–48, LCCN 65-20106
• Apostol, Tom M.; Mnatsakanian, Mamikon (1998), "Surprising geometric properties of exponential functions", Math Horizons, 6 (1): 27–29, doi:10.1080/10724117.1998.11975073
• Barnett, Janet Heine (2004), "Enter, Stage Center: The Early Drama of the Hyperbolic Functions", Mathematics Magazine, 77 (1): 15–30, JSTOR 3219227
• Bell, A. H. (1932), The Exponential and Hyperbolic Functions and their Applications, London: Pitman & Sons
• Cajori, Florian (1913) "History of the exponential and logarithm concepts", The American Mathematical Monthly 20 (1): 5–14; (2): 35–47; (3): 75–84; (4): 107–117; (5): 148–151; (6): 173–182; (7): 205–210, JSTOR 2973509; 2974078; 2973441; 2972960; 2972412; 2973069; 2974104
• Courant, Richard; Robbins, Herbert (1941), "The Exponential Function and the Logarithm", What is Mathematics? An Elementary Approach to Ideas and Methods, Oxford University Press, §8.6, pp. 442–452, ISBN 0-19-502517-2
• Feeman, Timothy G. (2001), "Conformality, the exponential function, and world map projections", The College Mathematics Journal, 32 (5): 334–342
• Gasparini, Andrea; Key, Eric; Radcliffe, David (2019), "A Geometric Approach to the Natural Exponential Function", The College Mathematics Journal, 50 (5): 357–363, doi:10.1080/07468342.2019.1664846
• Gowers, Timothy (2008), "The Exponential and Logarithmic Functions", in Gowers, Timothy (ed.), The Princeton Companion to Mathematics, Princeton University Press, §3.25, pp. 199–202, ISBN 978-0-691-11880-2
• Huntington, Edward V. (1916), "An elementary theory of the exponential and logarithmic functions", The American Mathematical Monthly, 23 (7): 241–246, JSTOR 2973888
• Klein, Felix (1932), "Logarithmic and Exponential Functions", Elementary Mathematics from an Advanced Standpoint: Arithmetic, Algebra, Analysis, translated by E. R. Hendrick; C. A. Noble, London: MacMillan, §3.1 pp. 144–162
• Komornik, Vilmos; Schäfke, Reinhard (2024), "A Simple Introduction to the Exponential Function", The College Mathematics Journal, 55 (2): 165–168, doi:10.1080/07468342.2023.2234256
• Maor, Eli (1994), "⁠$e^{x}$⁠: The Function That Equals Its Own Derivative", e: The Story of a Number, Princeton University Press, Ch. 10, pp. 98–113, ISBN 0-691-03390-0
• McCartin, Brian J. (2006), "e: The master of all", The Mathematical Intelligencer, 28: 10–21, doi:10.1007/BF02987150
• Melzak, Zdzislaw A. (1975), "On the exponential function", The American Mathematical Monthly, 82 (8): 842–844, JSTOR 2319809
• Toth, Gabor (2021), "Exponential and Logarithmic Functions", Elements of Mathematics: A Problem-Centered Approach to History and Foundations, Springer, pp. 423–468, doi:10.1007/978-3-030-75051-0_10, ISBN 978-3-030-75050-3
• Yzeren, Jan van (1970), "A rehabilitation of ⁠$(1+z/n)^{n}$⁠", The American Mathematical Monthly, 77 (9): 995–998, JSTOR 2318122

A gentler introductory section before diving into properties of exp

I've been working on draft new sections for this article, starting by trying to write a relatively gentler introductory section (to put immediately after the lead) to motivate and explain exponential functions in general and the "natural" exponential function in particular. What I have so far is:

Generalization of integer exponents

The most elementary description of an exponential function of base ⁠$b{\vphantom {)}}$⁠ is as the generalization of exponentiation to exponents which are arbitrary real numbers. For a positive integer exponent ⁠$n$⁠, exponentiation can be defined as repeated multiplication:

$$b^{n}=\underbrace {b\times b\times \cdots \times b} _{n{\text{ times}}}.$$

This definition establishes the essential property that addition of exponents is equivalent to multiplication of exponentials:

$$b^{m+n}~=~\underbrace {b\times \cdots \times b} _{m+n{\text{ times}}}~=~\underbrace {(b\times \cdots \times b)} _{m{\text{ times}}}\times \underbrace {(b\times \cdots \times b)} _{n{\text{ times}}}~=~b^{m}\times b^{n}.$$

Functions of the form ⁠$f(n)=A\times b^{n}$⁠ can be used to model phenomena which involve repeated multiplication. For example, imagine a simple model of a bacterial population, initially ⁠$1{,}000$⁠, which doubles every hour: each hour, the population will be multiplied by ⁠$2$⁠ compared to the population an hour before. After ⁠$t{\vphantom {)}}$⁠ hours, the population will have doubled ⁠$t{\vphantom {)}}$⁠ times, so will equal the initial population times an exponential of base ⁠$2$⁠: ⁠$P(t)=\textstyle 1{,}000\times 2^{t}$⁠. For instance, after ⁠$8$⁠ hours the population will be ⁠$P(8)=\textstyle 1{,}000\times 2^{8}=256{,}000$⁠.

But we might want to know the population after a fractional amount of time, such as after half an hour. If the amount of time is a rational number of hours, the definition of exponentiation can be extended using ⁠$n$⁠th roots, in a way that preserves the addition-to-multiplication property described above: ⁠$\textstyle b^{k/n}={\bigl (}{\sqrt[{n}]{b}}~\!{\bigr )}{\vphantom {)}}^{k}={\sqrt[{n}]{b^{k}}}$⁠. In the example, the bacterial population after half an hour will be ⁠$\textstyle P{\bigl (}{\tfrac {1}{2}}{\bigr )}=1{,}000\times {\sqrt {2}}\approx 1{,}414$⁠.

Quantities which change by repeated multiplication have a second essential property: their rate of change is proportional to their value. In the bacteria example, the population change ⁠$\Delta P$⁠ over a time increment ⁠$\Delta t$⁠ is the difference of the population before ⁠$P(t)$⁠ and the population after ⁠$P(t+\Delta t)$⁠, and the population after can be found by multiplying the initial population by a power of ⁠$2$⁠:

$${\begin{aligned}\Delta P&=P(t+\Delta t)-P(t)\\[3mu]&=P(t)\times 2^{\Delta t}-P(t)=\left(2^{\Delta t}-1\right)P(t).\end{aligned}}$$

So the rate of change of population is proportional to the current population, with a proportionality constant depending only on the time increment:

$${\frac {\Delta P}{\Delta t}}={\frac {2^{\Delta t}-1}{\Delta t}}P(t).$$

For irrational values of ⁠$x$⁠, a definition of the exponential ⁠$b^{x}$⁠ based on integer powers and roots alone is not sufficient, but the definition above for rational exponents can be extended to a continuous function of an arbitrary real-number exponent using the calculus concept of a limit. There are several ways to do this formally, but the most convenient ones come from describing the exponential of any base in terms of the so-called natural exponential function ⁠$\textstyle \exp(x)=e^{x}$⁠ with the "natural base" ⁠$e$⁠⁠${}\approx 2.718$⁠.

For any two real numbers ⁠$a$⁠ and ⁠$b{\vphantom {)}}$⁠, an exponential of base ⁠$a$⁠ can be written as an exponential of base ⁠$b{\vphantom {)}}$⁠:

$$a^{x}=\left(b^{\log _{b}a}\right)^{x}=b^{(\log _{b}a)x}.$$

This works because ⁠$\log _{b}$⁠, the logarithm of base ⁠$b{\vphantom {)}}$⁠, is the inverse of the exponential of base ⁠$b{\vphantom {)}}$⁠, which always satisfies ⁠$\textstyle b^{\log _{b}a}=a$⁠. In particular, any exponential can be written as an exponential of base ⁠$e$⁠:

$$b^{x}=\left(e^{\ln b}\right)^{x}=e^{(\ln b)x}=\exp(x\ln b),$$

where ⁠$\ln$⁠ is the natural logarithm, short for ⁠$\log _{e}$⁠. This identity can be used as a definition of the exponential function of base ⁠$b{\vphantom {)}}$⁠, assuming the ⁠$\exp$⁠ and ⁠$\ln$⁠ functions have already been defined.

The exponential function ⁠$\textstyle \exp(x)=e^{x}$⁠ with base ⁠$e$⁠ is the unique exponential function such that the derivative (instantaneous rate of change, the limit of the rate of change for infinitesimally small increments of the variable) is not merely proportional but is exactly equal to its value, with proportionality constant ⁠$1$⁠:

$${\frac {d}{dx}}e^{x}=\lim _{\Delta x\to 0}{\frac {e^{\Delta x}-1}{\Delta x}}e^{x}=1\times e^{x},$$

so ⁠$e$⁠ satisfies:

$$\lim _{\Delta x\to 0}{\frac {e^{\Delta x}-1}{\Delta x}}=1.$$

An exponential function of base ⁠$b{\vphantom {)}}$⁠ turns out to have a derivative equal to the natural logarithm of ⁠$b{\vphantom {)}}$⁠ times its value,

$${\frac {d}{dx}}b^{x}=\ln b\times b^{x}.$$

I'm aiming for something that would be at least moderately accessible to high school students encountering exponential functions for the first time who haven't learned much about calculus before, while trying not to get excessively long or let the topic scope drift too far. Not sure how well I'm threading that needle. @Hesselp Would something like that that address your concerns about making sure to frame our discussion relative to arbitrary bases, etc.? @D.Lazard, does this seem concise enough or is it too discursive / unfocused for an introduction here? –jacobolus (t) 21:33, 22 November 2024 (UTC)

@Jacobolus. Not a good adviser here, but can you just remove the calculus properties instead? I mean, if you are targeting the high school students, I think the relationship between logarithm and root may be moderately accesible for the beginners. Calculus can be put alongside describing the graph of its function. Dedhert.Jr (talk) 01:00, 23 November 2024 (UTC)

@Dedhert.Jr – This whole topic is ultimately dependent on calculus, which is therefore unavoidable. What I mean when I say I want to make it moderately accessible to someone who does not yet know calculus is that I don't want such a reader to immediately hit a wall and be left with no clue what is going on. If they can make it halfway through the first section after the lead and then we give them bit of in-line gloss explaining what a derivative is, they might be able to at least get the gist, or have some idea where to look next (e.g. by clicking through wikilinks to Calculus, Limit (mathematics), Derivative, Continuous function, etc., all of which should hopefully also be moderately accessible). (But it's also possible that the description could be more accessible than what I wrote here, or that I'm overdoing it and belaboring this section, with the narrative left clearer by moving or trimming parts.... feedback is welcome.) –jacobolus (t) 01:24, 23 November 2024 (UTC)

@Jacobolus Hmm? Really? Mine was never taught about the relationship between calculus and exponential functions. The integral and derivative were meant to be studied in the higher classes. (I have forgotten whether they studied these, so I might need to check again). Am not sure how U.S. classes study with these complexities, especially since I have never lived in the U.S. before. Dedhert.Jr (talk) 04:47, 23 November 2024 (UTC)

A typical US "precalculus" textbook (I just skimmed about 4) doesn't really say much about exponential functions. The books I looked at note that they can take a form like ⁠$f(x)=a^{x}$⁠, show pictures of graphs of such functions and describe the basic features of those graphs (e.g. the domain and codomain, the ⁠$y$⁠-intercept, the ⁠$x$⁠-axis as a horizontal asymptote), give a few examples of exponential growth and decay, discuss compound interest a bit, then give some problems to practice manipulating formulas containing logarithms and exponents or using a calculator to calculate related quantities. There's a mention in passing that there's a special example with base ⁠$e=2.71828...$⁠, which is not more carefully defined or described, and maybe some examples about the normal distribution.

In general the topic is deferred to calculus courses and beyond for more in-depth coverage. –jacobolus (t) 05:48, 23 November 2024 (UTC)

This draft is much better than the present section § Overview, and seems to have the same purpose. So, I would agree to place the draft just after the lead, and to remove § Overview, after having moved elsewhere parts and citations of § Overview that are not already present (as I just did for section "Formal definition").

However, two remarks: Firstly, the heading could be "Motivation". Secondly, this draft is intended for beginners. I suppose that such readers would have difficulties to read and understand the complicate formulas in which ⁠$\Delta$⁠ occurs. Therefore, we must think about replacing these formulas with prose. D.Lazard (talk) 16:18, 23 November 2024 (UTC)

Let me work on these as a draft for a while yet before trying to incorporate it in the article. You are probably right that this is too equation heavy; I'll try to figure out how to lighten that part. –jacobolus (t) 17:06, 23 November 2024 (UTC)

@D.Lazard: how about this version?

Motivation: exponentiation as a continuous function

An exponential function of base ⁠$b{\vphantom {)}}$⁠ is a continuous function ⁠$f(x)=b^{x}$⁠ whose value is the base raised to the power of the variable ⁠$x$⁠. Such functions generalize exponentiation with integer exponents to arbitrary real-number exponents.

For a positive integer exponent ⁠$n$⁠, exponentiation has an elementary definition as repeated multiplication,

$$b^{n}=\underbrace {b\times b\times \cdots \times b} _{n{\text{ times}}}.$$

Functions of the form ⁠$f(x)=A\times b^{x}$⁠ can thus be used to model phenomena which involve repeated multiplication, which appear ubiquitously in mathematics and science (see § Exponential growth). For example, imagine a simple model of a bacterial population, initially ⁠$1{,}000$⁠, which doubles every hour: each hour, the population will be multiplied by ⁠$2$⁠ compared to the population an hour before. After ⁠$t{\vphantom {)}}$⁠ hours, the population will have doubled ⁠$t{\vphantom {)}}$⁠ times, so will equal the initial population times an exponential of base ⁠$2$⁠: ⁠$P(t)=\textstyle 1{,}000\times 2^{t}$⁠. For instance, after ⁠$8$⁠ hours the population will be ⁠$P(8)=\textstyle 1{,}000\times 2^{8}=256{,}000$⁠. However the above definition only supports calculating the population once per hour; to find the population at other times requires further development.

The definition of exponentiation as repeated multiplication establishes the basic rule that addition of exponents is equivalent to multiplication of exponentials,

$$b^{m~\!+~\!n}~=~\underbrace {b\times \cdots \times b} _{m+n{\text{ times}}}~=~\underbrace {(b\times \cdots \times b)} _{m{\text{ times}}}\times \underbrace {(b\times \cdots \times b)} _{n{\text{ times}}}~=~b^{m}\times b^{n},$$

leads to the other rules of exponents,

$$b^{0}=1,\quad b^{-n}={\frac {1}{b^{n}}},\quad b^{~\!m~\!-~\!n}={\frac {b^{m}}{b^{n}}},\quad b^{m~\!\times ~\!n}={\bigl (}b^{m}{\bigr )}^{n}={\bigl (}b^{n}{\bigr )}^{m},$$

and, to maintain consistency, suggests a natural definition of ⁠$\textstyle b^{1/n}$⁠ as the ⁠$n$⁠th root of ⁠$b{\vphantom {)}}$⁠, so that a rational exponent can be expanded as

$${\begin{aligned}b^{k/n}&={\bigl (}b^{k}{\bigr )}^{1/n}={\sqrt[{n}]{b^{k}}}\\&={\bigl (}b^{1/n}{\bigr )}^{k}={\bigl (}{\sqrt[{n}]{b}}~\!{\bigr )}{\vphantom {)}}^{k}.\end{aligned}}$$

In the bacterial population example, if the amount of time is a rational number of hours, this extended concept of exponents can be used. For instance, the population after half an hour will be ⁠$\textstyle P{\bigl (}{\tfrac {1}{2}}{\bigr )}=1{,}000\times {\sqrt {2}}\approx 1{,}414$⁠. However, this is still not enough to answer questions about the model based on the concepts and tools of calculus, such as the population's derivative (instantaneous rate of change).

For arbitrary real-number values of ⁠$x$⁠ (which might be irrational), the definition of the exponential ⁠$\textstyle b^{x}$⁠ based on integer powers and roots alone is not sufficient, but it can be extended to define a continuous function using the calculus concept of a limit. The most immediate way to do this is to find a convergent sequence ⁠$\textstyle \left(q_{1},q_{2},q_{3},\ldots \right)$⁠ of rational exponents whose limit is ⁠$x$⁠, and define the exponential ⁠$b^{x}$⁠ as the limit of the exponentials ⁠$\textstyle \left(b^{q_{1}}\!,\,b^{q_{2}}\!,\,b^{q_{3}}\!,\,\ldots \right)$⁠. However, this definition is inconvenient, unenlightening, and cumbersome to work with, so instead the exponential of any base is usually defined in terms of the so-called natural exponential function ⁠$\textstyle \exp x=e^{x}$⁠ with the "natural base" ⁠$e$⁠⁠${}\approx 2.718$⁠, the unique exponential function whose derivative is equal to its value, ⁠$\textstyle {\tfrac {d}{dx}}\exp x=\exp x$⁠.

For any two real numbers ⁠$a$⁠ and ⁠$b{\vphantom {)}}$⁠, an exponential of base ⁠$a$⁠ can be written as an exponential of base ⁠$b{\vphantom {)}}$⁠:

$$a^{x}=\left(b^{\log _{b}a}\right)^{x}=b^{(\log _{b}a)x}\!.$$

This works because ⁠$\log _{b}$⁠, the logarithm of base ⁠$b{\vphantom {)}}$⁠, is the inverse of the exponential of base ⁠$b{\vphantom {)}}$⁠, so it satisfies ⁠$\textstyle b^{\log _{b}a}=a$⁠. In particular, any exponential can be written as an exponential of base ⁠$e$⁠:

$$b^{x}=\left(e^{\log _{e}b}\right)^{x}=e^{(\log _{e}b)x}=\exp(x\ln b),$$

where ⁠$\ln$⁠ is the natural logarithm, short for ⁠$\log _{e}$⁠. This identity can be used as a definition of the exponential function of base ⁠$b{\vphantom {)}}$⁠, assuming the ⁠$\exp$⁠ and ⁠$\ln$⁠ functions have already been defined.

The exponential function of arbitrary base ⁠$b{\vphantom {)}}$⁠ turns out to be just the natural exponential function with a re-scaled domain. It is common to solve problems involving arbitrary exponentials by first rewriting them as exponentials of base ⁠$e$⁠, which makes them easier to combine, compare, and analyze by simplifying the relevant identities and reducing the number to remember. Instead of naming the base ⁠$b{\vphantom {)}}$⁠, it is common to name its natural logarithm, e.g. ⁠$k=\ln b$⁠, and write the generic ⁠$b^{x}$⁠ as ⁠$e^{kx}$⁠ or ⁠$\exp kx$⁠ instead.

For example, the derivative of an arbitrary exponential function can be found by applying the chain rule,

$${\frac {d}{dx}}e^{kx}=e^{kx}\cdot {\frac {d}{dx}}kx=ke^{kx}.$$

I rearranged things a bit and tried to take out some of the more technical bit, while also including more of the basic rules of exponentiation near the top. –jacobolus (t) 05:09, 24 November 2024 (UTC)

Fine. At first glance, I have no major remark. Maybe, "convenently analyzed as such" could be replaced by a sentence saying explicitly that the common way of solving problems involving exponentials of base ⁠$b$⁠ is to convert them to natural exponentials since this this make formula manipulation much simpler by limiting the number of formulas that have to be remembered. (You are definitely better than me for finding a good formulation). D.Lazard (talk) 09:49, 24 November 2024 (UTC)

How's this update? –jacobolus (t) 16:27, 24 November 2024 (UTC)

Section "Computation of a^b where both a and b are complex"

Section "Computation of a^b where both a and b are complex" is a mess. A minor issue is that its heading cannot be linked correctly, because it uses templates. A major issue is that its content belongs to exponention rather than this article. Moreover the section is so poorly written that it is almost not understandable. Also, it is mathematically contovesial. For example, it qualifies as singularities the points that are not singular if the function is considered as a multivalued function and are singular only if the function is restricted to its principal value.

For these reasons, I'll remove the section. D.Lazard (talk) 09:48, 27 November 2024 (UTC)