Prove that there exists a universal constant $K<10$, for all $C^1$ function $f : \mathbb R^2 \rightarrow\mathbb R$, if $f \in L^1 (\mathbb R^2)\cap L^2(\mathbb R^2)$ and $|\nabla f| \in L^2(\mathbb R^2)$, we have the following inequality: $$||f||^2_{L^2(\mathbb R^2)}\le K||f||_{L^1(\mathbb R^2)}||\nabla f||_{L^2(\mathbb R^2)}$$ $$$$ Since this form is something like "A function's norm can be bounded by its gradient's norm", and the problem provides many limitations on $f$ and $\nabla f$, I think that this problem should be solved by Poincaré inequality since the forms are too similar. However there're two problems: First the Poincaré inequality is used in a bounded domain, second the Poincaré inequality didn't provide any explicit constants. My question is, can this problem be solved by using Poincaré inequality (or relevant inequalities)? What is it like if it can? If it can't, then what ways should we try? Thanks!
2026-05-15 00:37:54.1778805474
Proving $||f||^2_{L^2(\mathbb R^2)}\le 10||f||_{L^1(\mathbb R^2)}||\nabla f||_{L^2(\mathbb R^2)}$ with $f\in C^1,L^1\cap L^2$ and $\nabla f\in L^2$.
84 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail AtRelated Questions in REAL-ANALYSIS
- how is my proof on equinumerous sets
- Finding radius of convergence $\sum _{n=0}^{}(2+(-1)^n)^nz^n$
- Optimization - If the sum of objective functions are similar, will sum of argmax's be similar
- On sufficient condition for pre-compactness "in measure"(i.e. in Young measure space)
- Justify an approximation of $\sum_{n=1}^\infty G_n/\binom{\frac{n}{2}+\frac{1}{2}}{\frac{n}{2}}$, where $G_n$ denotes the Gregory coefficients
- Calculating the radius of convergence for $\sum _{n=1}^{\infty}\frac{\left(\sqrt{ n^2+n}-\sqrt{n^2+1}\right)^n}{n^2}z^n$
- Is this relating to continuous functions conjecture correct?
- What are the functions satisfying $f\left(2\sum_{i=0}^{\infty}\frac{a_i}{3^i}\right)=\sum_{i=0}^{\infty}\frac{a_i}{2^i}$
- Absolutely continuous functions are dense in $L^1$
- A particular exercise on convergence of recursive sequence
Related Questions in ANALYSIS
- Analytical solution of a nonlinear ordinary differential equation
- Finding radius of convergence $\sum _{n=0}^{}(2+(-1)^n)^nz^n$
- Show that $d:\mathbb{C}\times\mathbb{C}\rightarrow[0,\infty[$ is a metric on $\mathbb{C}$.
- conformal mapping and rational function
- What are the functions satisfying $f\left(2\sum_{i=0}^{\infty}\frac{a_i}{3^i}\right)=\sum_{i=0}^{\infty}\frac{a_i}{2^i}$
- Proving whether function-series $f_n(x) = \frac{(-1)^nx}n$
- Elementary question on continuity and locally square integrability of a function
- Proving smoothness for a sequence of functions.
- How to prove that $E_P(\frac{dQ}{dP}|\mathcal{G})$ is not equal to $0$
- Integral of ratio of polynomial
Related Questions in NORMED-SPACES
- How to prove the following equality with matrix norm?
- Closure and Subsets of Normed Vector Spaces
- Exercise 1.105 of Megginson's "An Introduction to Banach Space Theory"
- derive the expectation of exponential function $e^{-\left\Vert \mathbf{x} - V\mathbf{x}+\mathbf{a}\right\Vert^2}$ or its upper bound
- Minimum of the 2-norm
- Show that $\Phi$ is a contraction with a maximum norm.
- Understanding the essential range
- Mean value theorem for functions from $\mathbb R^n \to \mathbb R^n$
- Metric on a linear space is induced by norm if and only if the metric is homogeneous and translation invariant
- Gradient of integral of vector norm
Related Questions in LP-SPACES
- Absolutely continuous functions are dense in $L^1$
- Understanding the essential range
- Problem 1.70 of Megginson's "An Introduction to Banach Space Theory"
- Showing a sequence is in $\ell^1$
- How to conclude that $\ell_\infty$ is not separable from this exercise?
- Calculating the gradient in $L^p$ space when $0<p<1$ and the uderlying set is discrete and finite
- $f_{n} \in L^{p}(X),$ such that $\lVert f_{n}-f_{n+1}\rVert_{p} \leq \frac{1}{n^2}$. Prove $f_{n}$ converges a.e.
- Find a sequence converging in distribution but not weakly
- Elementary use of Hölder inequality
- Identify $\operatorname{co}(\{e_n:n\in\mathbb N\})$ and $\overline{\operatorname{co}}(\{e_n : n\in\mathbb N\})$ in $c_0$ and $\ell^p$
Related Questions in SOBOLEV-SPACES
- On sufficient condition for pre-compactness "in measure"(i.e. in Young measure space)
- $\mbox{Cap}_p$-measurability
- If $u\in W^{1,p}(\Omega )$ is s.t. $\nabla u=0$ then $u$ is constant a.e.
- Weak formulation of Robin boundary condition problem
- Variational Formulation - inhomogeneous Neumann boundary
- Why the Sobolev space $W^{1,2}(M,N)$ weak-sequencially closed in $W^{1,2}(\mathbb R^K)$?
- Sobolev space $H^s(Q)$ is Hilbert
- Duhamel's principle for heat equation.
- How to define discrete Sobolev dual norm so that it can be computed?
- Weakly sequentially continuous maps
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
geometry
circles
algebraic-number-theory
functions
real-analysis
elementary-set-theory
proof-verification
proof-writing
number-theory
elementary-number-theory
puzzle
game-theory
calculus
multivariable-calculus
partial-derivative
complex-analysis
logic
set-theory
second-order-logic
homotopy-theory
winding-number
ordinary-differential-equations
numerical-methods
derivatives
integration
definite-integrals
probability
limits
sequences-and-series
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?