1
$\begingroup$

While reading the question about fitting all answers to the question of getting a single formula which, in the limit, captures all the answers to $\int x^{a}dx$, I thought of an obvious generalization (of the question):

What are sufficient conditions on a family of functions $f(x,a)$ so that $\int f(x,a) dx$ can be expressed as a single formula $F(x,a)+C(a)$ valid (in the limit) for all a?

From the point of view of FToC, $C(a)$ is completely irrelevant, but nevertheless such an answer has a certain elegance since $C(a)$ really captures the boundary cases of $f(x,a)$.

[Edit: although I like Dylan's answer below, it is not very algorithmic -- can one do better?]

$\endgroup$

1 Answer 1

1
$\begingroup$

I don't know what is meant by a "single formula" but if, for instance, $f(x,a)$ is continuous, then $f(x,a) dx$ is a continuous 1-form, so has a well-defined path integral along any reasonable path. The integral will be path dependent if $f(x,a)$ depends at all on $a$, but let's take a path that moves first in the $a$ direction, then in the $x$ direction, i.e., set $F(x,a) = \int_{x_0}^x f(x,a)dx$ for some reasonable choice of basepoint $x_0$. Then if $f$ is differentiable in both variables, by Stokes' theorem $\frac{\partial F}{\partial a}(x,a) = \int_{x_0}^x \frac{\partial f}{\partial a}(x,a)dx$, which is still continuous.

Concretely, for the example $\int x^a dx$, take $x_0 = 1$. Then for $a \ne -1$, we have $\int_1^x x^a dx = \frac{x^{a+1}-1}{a+1}$, which approaches $\log x$ as $a \to -1$. (This is the compound interest limit.)

$\endgroup$
1
  • $\begingroup$ Indeed. So the answer is 1) choose a good base point, 2) 'indefinite integration' is a weird concept anyways, one should use definite integration instead. I have long believed in #2, now I have an even better reason for it. $\endgroup$ Mar 30, 2010 at 15:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.