psie
- 315
- 40
- TL;DR Summary
- I'm reading Rudin's PMA. In particular, his proof of the Stirling formula (see below). I'm stuck trying to figure out how a certain family of functions parameterized by a continuous variable converges uniformly to its limit.
In Rudin's PMA, when he proves the Stirling formula, he defines a continuous, decreasing function ##h:(-1,\infty)\to\mathbb R## such that ##h(u)\to\infty## as ##u\to -1## and ##h(u)\to 0## as ##u\to\infty##. Then he derives an integral expression for ##\Gamma(x+1)##, where ##\Gamma## is the Gamma function, in terms of the function ##\psi_x(s)## defined in the screenshot below. He claims this function converges uniformly on ##[-A,A]## for every ##A<\infty##.
I think I know which theorem in the book he uses to justify this claim (Theorem 7.13), however, Theorem 7.13 deals with sequences of functions, whereas here it seems we have a function that is indexed by a continuous variable ##x\in (0,\infty)##. I struggle with understanding the definition of uniform convergence when the index is continuous like this. What is the correct definition in this case?
Here's an attempt. This is really just a guess, since I don't know the proper definition of uniform convergence when the index variable is continuous. I'd like to somehow phrase it in terms of sequences, so I'd say ##\psi_{x}\to f## uniformly iff given ##\epsilon>0## and any sequence ##(x_n)\subset(0,\infty)## diverging to infinity, there exists an ##N\in\mathbb N## such that for all ##s\in[-A,A]##, $$n>N\implies |\psi_{x_n}(s)-f(s)|<\epsilon.$$Again, I have no clue if this is correct, since I don't know the non-sequential definition. Grateful for any help.
I think I know which theorem in the book he uses to justify this claim (Theorem 7.13), however, Theorem 7.13 deals with sequences of functions, whereas here it seems we have a function that is indexed by a continuous variable ##x\in (0,\infty)##. I struggle with understanding the definition of uniform convergence when the index is continuous like this. What is the correct definition in this case?
Here's an attempt. This is really just a guess, since I don't know the proper definition of uniform convergence when the index variable is continuous. I'd like to somehow phrase it in terms of sequences, so I'd say ##\psi_{x}\to f## uniformly iff given ##\epsilon>0## and any sequence ##(x_n)\subset(0,\infty)## diverging to infinity, there exists an ##N\in\mathbb N## such that for all ##s\in[-A,A]##, $$n>N\implies |\psi_{x_n}(s)-f(s)|<\epsilon.$$Again, I have no clue if this is correct, since I don't know the non-sequential definition. Grateful for any help.