Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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.

81
votes
0answers
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 ...
48
votes
0answers
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 ...
21
votes
0answers
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 ...
18
votes
0answers
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 ...
18
votes
0answers
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 ...
16
votes
0answers
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.
16
votes
0answers
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 ...
15
votes
0answers
365 views

Constructing an infinite chain of subfields of 'hyper' algebraic numbers?

Let $F$ be a subset of $\mathbb{R}$ and let $S_F$ denote the set of values which satisfy some generalized polynomial whose exponents and coefficients are drawn from $F$. That is, we let $S_F$ denote $...
15
votes
0answers
229 views

A closed $1$-form on a convex open set is exact

Baby Rudin Exercise 10.24: Let $\omega = \sum a_i(\mathbf x) \, dx_i$ be a $1$-form of class $\mathscr{C}''$ in a convex open set $E \subset \mathbb{R}^n$. Assume $d \omega = 0$ and show that $\...
15
votes
0answers
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 ...
14
votes
0answers
214 views

The sequence $\,a_n=\lfloor \mathrm{e}^n\rfloor$ contains infinitely many odd and infinitely many even terms

PROBLEM. Show that the sequence $\,a_n=\lfloor \mathrm{e}^n\rfloor$ contains infinitely many odd and infinitely many even terms. It suffices to show that the terms of the sequence $$\,b_n=\mathrm{e}^...
14
votes
0answers
585 views

Lagrange multipliers in Calculus of Variations

I am trying to learn about Calculus of Variations and I am beginning to see some constrained optimization problems in the domain of functionals, by using Lagrange multipliers. It seems that things ...
13
votes
0answers
254 views

If $V\subset L^\infty[0,1]$ with $\|f\|_\infty \leq c\|f\|_2$, then $V$ is finite dimensional

If $V$ is a linear subspace of $L^\infty[0,1]$ with $\|f\|_\infty \leq c\|f\|_2$ for all $f\in V$, then $V$ is finite dimensional. The proof is an explicit calculation: Since $L^\infty[0,1] \subset L^...
12
votes
0answers
299 views

Prove a strong inequality $\sum_{k=1}^n\frac{k}{a_1+a_2+\cdots+a_k}\le\left(2-\frac{7\ln 2}{8\ln n}\right)\sum_{k=1}^n\frac 1{a_k}$

For $a_i>0$ ($i=1,2,\dots,n$), $n\ge 3$, prove that $$\sum_{k=1}^n\frac{k}{a_1+a_2+\cdots+a_k}\le\left(2\color{red}{-\frac{7\ln 2}{8\ln n}}\right)\sum_{k=1}^n\frac 1{a_k}.$$ The case without $\...
12
votes
0answers
240 views

Find all pairs of functions $(f,g)$, $\forall x, y \in \mathbb{R}, f(x+g(y))=x f(y) - y f(x) + g(x)$

Find all pairs of functions $(f,g)$ : $\mathbb{R} \to \mathbb{R}, g : \mathbb{R} \to \mathbb{R}$ satisfying : $$\forall x, y \in \mathbb{R}, f(x+g(y))=x f(y) - y f(x) + g(x)$$ I am really stuck ...
12
votes
0answers
771 views

Heat Kernel Property

Let $\phi$ be the Heat Kernel in $\mathbb{R}^n$, i. e. $$\phi (x,t)={(4\pi t)}^{-n/2}\exp\left( - \frac{\mid x \mid ^2}{4t}\right)$$ and let $u$ satisfy Heat equation. Show that: $$\frac{d}{dt}\...
12
votes
0answers
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" ...
11
votes
0answers
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 ...
11
votes
0answers
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 ...
11
votes
0answers
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 ...
11
votes
0answers
246 views

Generalized Harmonic Number Summation $ \sum_{n=1}^{\infty} \frac{(H_{n}^{(2)})^2}{2^n}$

Prove That $$ \sum_{n=1}^{\infty} \dfrac{(H_{n}^{(2)})^2}{2^n} = \tfrac{1}{360}\pi^4 - \tfrac16\pi^2\ln^22 + \tfrac16\ln^42 + 2\mathrm{Li}_4(\tfrac12) + \zeta(3)\ln2 $$ Notation : $ \...
11
votes
0answers
239 views

Norms and pointwise convergence

It is known that There is no norm $\|.\|$ on the space $E$ of continuous real-valued functions on an interval, say $[0,1]$ such that $f_n \to f$ for $\|.\|$ if and only if $f_n$ converges pointwise ...
11
votes
0answers
438 views

How to construct examples of functions in the Spaces of type $\mathcal{S}$

There are $3$ $\mathcal{S}$-type Spaces, namely $\mathcal{S}_\alpha\:,\: \mathcal{S}^\beta\:,\:\mathcal{S}_\alpha^\beta$. They are defined by: $\mathcal{S}_\alpha: |x^k\varphi^{(q)}(x)|\le C_qA^kk^{...
11
votes
0answers
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$, ...
11
votes
0answers
536 views

Egorov's theorem for this Lebesgue integral

I want to prove Egorov's theorem using this Lebesgue integral defined by the upper integral $$\int^*f:=\left\{\int h ; h \ge f \text{ and h upper-continuous }\right\}$$ $$\int_*f:=\left\{\int h ; h \...
10
votes
0answers
77 views

$\frac{1}{p}+\frac{1}{q}=1$ vs $\sum_{n=0}^\infty \frac{1}{p^n}=q$

It just occurred to me that conjugate exponents, i.e. $p,q\in(1,+\infty)$ such that $$\frac{1}{p}+\frac{1}{q} =1$$ also satisfy the relations: $\sum_{n=0}^\infty \frac{1}{p^n}=q;$ $\sum_{n=0}^\infty \...
10
votes
0answers
363 views

Increasing derivatives of recursively defined polynomials

Consider recursively defined polynomials $f_0(x) = x$ and $f_{n+1}(x) = f_n(x) - f_n'(x) x (1-x)$. These polynomials have some special properties, for example $f_n(0) = 0$, $f_n(1) = 1$, and all $n+1$...
10
votes
0answers
165 views

Can (linear) differential equations of infinite order be recast into equations of first order?

In most analysis courses one sees that differential equations of order $n$ are basically a subset of higher dimensional differential equations of order $1$, for example the equation: $$f^{(n)}(t)=F\...
10
votes
0answers
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 ...
10
votes
0answers
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, ...
10
votes
0answers
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 ...
10
votes
0answers
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 ...
9
votes
0answers
48 views

Analyticity of the convolution of two functions

This question came about when trying to answer this one. Does there exist a function $f\in C^\infty(\Bbb R)$ such that: $f$ is supported on $[-1,1]$, $f$ is analytic on $(-1,1)$, The convolution $f*...
9
votes
0answers
163 views

Do any authors take the sheaf-theoretic viewpoint on multivalued functions and/or indefinite integrals?

It seems to me that multivalued functions and/or indefinite integrals can be thought of as sheaves. For example: The real square-root function can be viewed as the sheaf $\mathcal{F}$ defined on the ...
9
votes
0answers
196 views

Generalizing an inequality involving a convex function

If $V:[0,1] \rightarrow \mathbb{R}$ is a convex and nondecreasing function, then for all $(p,q,r,t,\lambda,\mu) \in [0,1]^{6}$ such that $p \geq q \geq r \geq t$ $\lambda p + (1-\lambda) t=\mu q + (1-...
9
votes
0answers
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 ...
9
votes
0answers
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 ...
9
votes
0answers
110 views

Evaluate the following integral involving $\sin \pi x$

Let $F: \Bbb{R} \to \Bbb{R}$ be defined by $$F(s)=\begin{cases}1, & \text{if }s\ge \dfrac12 \\[0.2cm]0, & \text{if }s< \dfrac12 \end{cases}$$ I need to evaluate $$\int^{1}_{0} F(\sin \pi ...
9
votes
0answers
339 views

Evaluating Elliptic Integrals in terms of Gamma Function

Some complete elliptic integral of first and second kind $E(k)$ and $K(k)$ can be evaluated for some particular values of $k$ in terms of Euler Gamma function. For example, for $k = \sqrt{2}/2$, $E(k)$...
9
votes
0answers
414 views

Two (strictly related) proofs by induction of inequalities.

This is a question I originally asked on MSE, receiving no answer, even with a bounty (which expired) on it. Therefore I am crosslinking in order to prevent duplication of effort: see here for the ...
9
votes
0answers
235 views

Invariant functions on the space of finite sequences of reals

Let $S$ be a space of all finite sequences of real numbers (we don't endow it with metric or topology in general). Before asking the main question, some notation. 1. For each $\mathbf s\in S$ we ...
8
votes
0answers
60 views

Show that there exist $[a,b]\subset [0,1]$, such that $\int_{a}^{b}f(x)dx$ = $\int_{a}^{b}g(x)dx$ = $\frac{1}{2}$

Let $f(x)$ and $g(x)$ be two continuous functions on $[0,1]$ and $$\int_{0}^{1}f(x) dx= \int_{0}^{1}g(x)dx = 1$$ Show that there exist $[a,b]\subset [0,1]$, such that $$\int_{a}^{b}f(x) dx= \int_{...
8
votes
0answers
114 views

How to solve $\dot{x}=f(x)/||f(x)||$?

How to solve the following ODE? \begin{equation} \frac{d}{dt}x=\frac{f(x)}{\|f(x)|\|}, \end{equation} where $x: \mathbb{R} \to \mathbb{R}^n$, i.e., $x(t)$ is the trajectory. The right-hand side $f:...
8
votes
0answers
181 views
+100

Potential for Monotone Operator

I have a question about understanding the proof of Theorem 4.11 in the paper A Potential Theory for Monotone Multivalued Operators (accessible here). The authors claim to construct a convex ...
8
votes
0answers
147 views

The Gudermannian function , its inverse and Jensen's inequality: in search of inequalities

In this post $\operatorname{gd}(x)$ denotes the Gudermannian function and $\operatorname{gd}^{-1}(x)$ its inverse. Look at the related Wikipedia's article to know the domain of these functions. The ...
8
votes
0answers
185 views

Get and prove a good approximation for $\sum_{k=1}^\infty\frac{\mu(k)}{k^k}$, where $\mu(k)$ is the Möbius function

It's possible to show for the complex variable $$\int_0^\infty e^{-sx}x^s dx=s^{-s}\Gamma(s)\tag{1}$$ when $\Re s>0$. After I've read a previous post, I've asked myself: Question. What's a good ...
8
votes
0answers
137 views

On the convergence of a more complex iterated radical

After exploring Ramanujan's famed $$3=\sqrt{1+2\sqrt{1+3\sqrt{1+\cdots}}} $$ and $$4=\sqrt{6+2\sqrt{7+3\sqrt{8+\cdots}}},$$ both of which can be expressed more generally by $$x+n+a=\sqrt{ax+(n+a)^2+x\...
8
votes
0answers
118 views

Are any tools or techniques available to solve the “placement of safety points” problem?

Definition 0. Given a metric space $X$ and subsets $H$ and $S$ thereof, define: $$d(H,S) = \sup_{h \in H} \inf_{s \in S}d(h,s)$$ (This as an asymmetric version of the Hausdorff distance.) Here's ...
8
votes
0answers
596 views

A random variable is symmetric if and only if its characteristic function is real-valued

Quick summary: I am stuck on the implication: $\phi_X$ real-valued $\rightarrow$ $X$ symmetric. Assume you have a probability space $(\Omega, \mathcal{F},P)$, and a random varaiable $X: \Omega \...
8
votes
0answers
228 views

Half Solved: A problem on the heat operator not being elliptic with a weakened version of elliptic regularity

I should first mention this: in my studies of Sobolev spaces I have completed all the questions of chapter 9 from Folland's real analysis with the help of this site and this is my last one, which is ...