If we have a Lissajous curve given by the parametric equations $$x(t)=A\sin(\omega_x t)$$ $$y(t)=B\sin(\omega_y t + \delta),$$ how can we show that the curve is dense in the rectangle of sides $A,B$ if and only if $\omega_x$ and $\omega_y$ are incommensurate (i.e. their ratio is irrational)? What I tried: Suppose it is not dense, so […]

I have two questions on integrability. (a) Prove that $f(x)$ is integrable on $[a,b]$ if $f(x)$ is monotonic on the interval. (b) Define $f(x) = 1$ if $x$ rational, $0$ otherwise. Prove $f(x)$ is not integrable on $[0,1].$ For (a), there is a proof on my text book but it uses something called mesh which […]

I learned the following from Constantin and Foias’s Navier-Stokes Equations (Chapter 4): We say that a function of a bounded open set $\Omega\subset\mathbb{R}^n$, $c(\Omega)$, is scale invariant if $c(\Omega)=c(\Omega’)$ for all $\Omega’$ obtained from $\Omega$ by a rigid transformation and a dilation $x\mapsto\delta x$. Denote by $T_\delta$ the operation mapping functions defined on $\Omega$ to […]

I’m looking at this theorem from Marsden’s Elementary Classical Analysis, but there’s a part of the proof that I don’t understand. First I’ll state the proof of the direction that if it is complete and totally bounded then it is compact. The bold parts of the proof are what I don’t understand. Proof: Assume that […]

I have found the following problem in “Introduction to Analysis” by Rosenlicht. I am not sure if my solution is correct and I highlighted my uncertainties. First we have to show that the set $$S=\Bigg\{\sum_{i=1}^N d(f(x_{i-1}),f(x_i)):x_0,x_1,\ldots , x_N \mbox{ is a partition of } [a,b]\Bigg\}$$ is bounded from above and that the sequence of the […]

How do I see that every subspace of $\mathbb R^n$ is closed with respect to the usual metric $p(x,y) = x^Ty$ ? I’ve seen some sweet results regarding Hilbert Spaces $\mathcal H$, especially that for a subspace $S$, $(S^{\bot})^\bot = S$, and this is true (in the case $\mathcal H = \mathbb R^n$) if $S$ […]

Let $C\subset \omega \bigwedge A\bigcap B = \emptyset \bigwedge A\bigcup B = C$. Let $\{x_i\}$ be a sequence of nonnegative reals. Suppose $C$ is infinite and $\sum_{i\in C} x_i$ converges. (Since it converges absolutely, it makes sense to define its sum in this way) Then $\sum_{i\in C} x_i = \sum_{i\in B} x_i + \sum_{i\in A} […]

Let $K$ be a closed convex subset in $\mathbb{R}^n$ and $F: K\rightarrow \mathbb{R}^n$. We say that $F$ is strongly monotone on $K$ if there exists $\gamma>0$ such that $$ \left<F(y)-F(x), y-x\right>\geq \gamma\|y-x\|^2, \quad \forall x,y\in K. $$ $F$ is strongly pseudomonotone on $K$ if there exists $\gamma>0$ such that $$ \left<F(x), y-x\right>\geq 0 \Longrightarrow \left<F(y), […]

Let $f$ be a non negative continuous function on $[0,\infty)$ such that $$\lim_{x\to\infty}\int_x^{x+1}f(y)dy=0.$$ How do we prove that $$\lim_{x\to\infty}\frac{\int_0^{x}f(y)dy}{x}=0.$$ If we see this question using the primitive function, do we have the following result for a continuous function $F$: $$\lim_{x\to\infty}F(x+1)-F(x)=0$$ implies that $$\lim_{x\to\infty}\frac{F(x)}{x}=0.$$

Suppose that $f: \mathbb{R}^2\to \mathbb{R}^2$ is differentiable, and the partial derivatives of the components $f_1$, $f_2$ satisfy $$max(|\frac{\ df_1}{dx} -1|, |\frac{df_1}{d_y}|, |\frac{df_2}{d_x}|, |\frac{df_2}{d_y}-1|) <10^{-10}.$$ Prove that f is a bijection. Note: f is not assumed to be continuously differentiable. Any ideas on how to tackle this problem? We don’t have an explicit function given for […]

Intereting Posts

Is there a $G_\delta$ set with Positive Measure and Empty Interior?
Reflection with respect to a parabola
Variance for the number of trials before success in an urn problem without replacement
comparing compactness theorems: bolzano-weierstrass and arzela-ascoli
As many even numbers as natural numbers.
Extending a function on a submanifold to the ambient manifold & proof of a property of a vector field.
Union of a sequence of path connected sets being path connected
Reaction diffusion equation solution
algebraic sum of a graph of continuous function and itself Borel or measurable?
What is the intuition behind differential forms?
cohomology of tensor product of a vector space with a double complex
Runge-Kutta methods: step size greater than 1
Function whose image of every open interval is $(-\infty,\infty)$
The first homology group $ H_1(E(K); Z) $ of a knot exterior is an infinite cyclic group which is generated by the class of the meridian.
Functions satisfying $f(m+f(n)) = f(m) + n$