Home » Posts tagged 'Real Analysis'

# Tag Archives: Real Analysis

## Arithmotheoretic sum

Evaluate the limit:

Solution

However,

Hence

## Series of Bessel function

Let denote the Bessel function of the first kind. Prove that

Solution

The Jacobi – Anger expansion tells us that

(1)

Hence by Parseval’s Theorem it follows that

## A factorial limit

Let denote the factorial of a real number; that is . Evaluate the limit:

Solution

It holds that

where denotes the -th harmonic number and the Euler – Mascheroni constant.

## Linear isometry

Let . If:

• for all

then prove that is linear.

Solution

For convenience, identify with here. Then note that for any such function , also a solution for any point on the unit circle. Also is a solution. Note that and hence we can wlog assume that . So is a point on the unit circle with distance to . Hence , so w.l.o.g. assume that . But then for any , both and have the same distance to and . So supposing , all lie on the perpendicular bisector between these points and in particular and are collinear which clearly is absurd. Hence for all which proves the claim.

## Zeta logarithmic series

Let denote the zeta function. Prove that

Solution

### Who is Tolaso?

Find out more at his Encyclopedia Page.