# Questions tagged [real-analysis]

For questions about real analysis, a branch of mathematics dealing with limits, convergence of sequences, construction of the real numbers, least upper bound property and related analysis topics, such as continuity, differentiation, and integration through the Fundamental Theorem of Calculus.

16,940 questions
782 views

### What functions can be made continuous by “mixing up their domain”?

Definition. A function $f:\Bbb R\to\Bbb R$ will be called potentially continuous if there is a bijection $\phi:\Bbb R\to\Bbb R$ so that $f\circ \phi$ is continuous. So one could say a potentially ...
837 views

### On the Constant Rank Theorem and the Frobenius Theorem for differential equations.

Recently I was reading chapter $4$ (p. $60$) of The Implicit Function Theorem: History, Theorem, and Applications (By Steven George Krantz, Harold R. Parks) on proof's of the equivalence of the ...
1k views

### Analytic form of: $\int \frac{\bigl[\cos^{-1}(x)\sqrt{1-x^2}\bigr]^{-1}}{\ln\bigl( 1+\sin(2x\sqrt{1-x^2})/\pi\bigr)} dx$

Background: On my quest to solve difficult integrals, I chanced upon this site: http://www.durofy.com/5-most-beautiful-questions-from-integral-calculus/ Good problems for me, (novice), although I ...
334 views

### A subadditive bijection on the positive reals

Question. Does there exist a subadditive bijection $f$ of the positive reals $(0,\infty)$ such that $$\liminf_{x\to 0^+}f(x)=0 \,\,\,\text{ and }\,\,\,\limsup_{x\to 0^+}f(x)=1\,?$$ Ps. I guess ...
264 views

### Witt's proof of Gelfand-Mazur / Ostrowski's theorem

Now asked on MathOverflow. Background: It seems that, after his groundbreaking work on quadratic forms and inventing Witt vectors, Ernst Witt developed the hobby of giving extremely short proofs to ...
253 views

### Convergence of $\sum_{n=1}^{\infty} \frac{\sin(n!)}{n}$

Is there a way to assess the convergence of the following series? $$\sum_{n=1}^{\infty} \frac{\sin(n!)}{n}$$ From numerical estimations it seems to be convergent but I don't know how to prove it.
381 views

### A question connected with the decomposition of a functional on $C(X)$ on Riesz and Banach functionals

Let $X$ be a metric space and let $C(X)$ be a family of all bounded and continuous functions from $X$ in $\mathbb{R}$. We call a positive linear functional $\varphi: C(X) \rightarrow \mathbb{R}$ the ...
365 views

608 views

### Can fundamental theorem of algebra for real polynomials be proven without using complex numbers?

Update 24 Nov 2015: It is solved. Please refer to this arXiv paper. For polynomials with real coefficients, I am trying to prove the following version of fundamental theorem of algebra, which avoids ...
214 views

984 views

### Question regarding the Kolmogorov-Riesz theorem on relatively compact subsets of $L^p(\Omega)$.

Usually, the Kolmogorov-Riesz theorem is quoted for $L^p(\mathbb R^n)$, but I am looking for versions considering spaces over subsets in $\mathbb R^n$. The following is from the book "Sobolev spaces" ...
69 views

### A question about Existence of a Continuous function.

Let $f$ be a continuous function on the interval $[1,2]$. It follows from Stone-Weierstrass theorem that if $\displaystyle \int_1^2x^nf(x)dx=0$ for integers $n=0,1,2,....$, then $f$ must be ...
192 views

### Geometric representation of Euler-Maclaurin Summation Formula

When reading Tom Apostol's expository article (or the free link), I was expecting more diagrams to come that follow the figure below (or this from the Wolfram project). It was a disappointment not ...
436 views

### How to prove this lemma related to Rolle's theorem

For any function $f$ denote by $Z(f)$ and $Z_o(f)$ the cardinalities of $f^{-1}(0)\cap[0,1]$ and $f^{-1}(0)\cap(0,1)$, respectively. Let $H=\{f\in C^\infty(\mathbb{R}): \text{supp}(f) = [0,1]\}$ From ...
246 views

596 views

### norm of a singular integral operator

My question is from Harmonic Analysis, about the study of singular kernels (in the Calderon Zygmund sense.) Suppose that a kernel $K$ is a singular kernel, extending to a bounded operator on $L^p$, ...
536 views

326 views

### A very useful lemma for Henstock-Stieltjes integration

I'd like to see a proof (or hints and outlines) for the following lemma, which is very useful to prove some interesting properties, including an Integration by Parts theorem for Henstock-Stieltjes ...
127 views

### How to get the idea of the formula for the mean value property for the heat equation

From the mean-value property of the Laplace's equation, we have the following mean-value property: $$u(x)=\frac{1}{a(n)r^n}\int_{B(x,r)}u\,dy.$$ But for the mean-value property of the Heat equation, ...
346 views

### Fréchet L-Spaces

NOTE: The question has now been posted on MathOverflow: Fréchet L-Spaces According to the paper The emergence of open sets, closed sets, and limit points in analysis and topology famous ...
328 views

### Combinatorial Proofs of Real Analysis Identity

In this question, a proof using real analysis is given of the following identity: $$\sum_{n=1}^{\infty} \frac{(n-1)!}{n \prod_{i=1}^{n} (a+i)} = \sum_{k=1}^{\infty} \frac{1}{(a+k)^2}$$ Is there a ...
48 views

168 views

### Covering a set $A \subset \Bbb R$ by two families of disjoint intervals taken from given intervals

Let $A \subset \Bbb R$ be a bounded set. Every element $a \in A$ is the center of some given open interval, let's denote it by $I_a=(a-r_a, a+r_a)$. I'm interested in knowing the following: Can we ...
147 views

### Strong Counterexample to MVT on Q

A well-known application of the MVT is to prove that any $f: \mathbb{R} \to \mathbb{R}$ with $f'= 0$ is constant. But of course, the MVT relies fundamentally on the properties of $\mathbb{R}$, and in ...
110 views