What are the optimal constants for the Sobolev inequalities in 3D?

  • Thread starter Thread starter Gerenuk
  • Start date Start date
  • Tags Tags
    Inequality
AI Thread Summary
The discussion focuses on finding the optimal constants for Sobolev inequalities in three dimensions, specifically relating the integral of the gradient of a function to the integral of the function itself. It mentions that for functions zero on a Lipschitz boundary, this corresponds to Poincaré's inequality, with a reference to Evans' PDE for a straightforward proof. To determine the exact constant, one must track constants through relevant estimates in the text. For functions not zero on the boundary, the average value must be subtracted, leading to another form of Poincaré's inequality. The constant in these inequalities is noted to be dependent on the dimensions involved.
Gerenuk
Messages
1,027
Reaction score
5
I'm searching for an inequality between
\iiint_\infty |\nabla f|^2 \mathrm{d}^3r
and
\iiint_\infty |f|^2 \mathrm{d}^3r

I saw similar inequalities that they called Sobolev inequalities. What would be the correct form and optimal constant for this 3D case?
 
Mathematics news on Phys.org
For functions that are zero on a lipschitz boundary, this is Poincare's inequality for W01,2. A straightforward proof is found in Evans PDE page 265. If you want to find the exact constant, you could go through the proofs of the relevant estimates on the previous several pages, carefully keeping track of the constants. I haven't done this. The constant will be dimension-dependent.

For functions that are not zero on the boundary, you have to subtract off the average value,
||u-avg(u)||L2 <= C||Du||L2

Which is another "Poincare inequality" (Evand p. 275)
 
Last edited:
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Thread 'Imaginary Pythagorus'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...

Similar threads

Replies
6
Views
3K
Replies
2
Views
1K
Replies
13
Views
2K
Replies
7
Views
2K
Replies
5
Views
2K
Replies
6
Views
2K
Back
Top