Dgdrxrt

Deal with toxic manager when you can't quit

Was credit for the black hole image misappropriated?

What can I do if neighbor is blocking my solar panels intentionally?

Match Roman Numerals

Would an alien lifeform be able to achieve space travel if lacking in vision?

Did the UK government pay "millions and millions of dollars" to try to snag Julian Assange?

Solving overdetermined system by QR decomposition

60's-70's movie: home appliances revolting against the owners

Can withdrawing asylum be illegal?

Working through the single responsibility principle (SRP) in Python when calls are expensive

Do warforged have souls?

Huge performance difference of the command find with and without using %M option to show permissions

Keeping a retro style to sci-fi spaceships?

Mortgage adviser recommends a longer term than necessary combined with overpayments

What do I do when my TA workload is more than expected?

How to make Illustrator type tool selection automatically adapt with text length

Why can't devices on different VLANs, but on the same subnet, communicate?

What other Star Trek series did the main TNG cast show up in?

How to politely respond to generic emails requesting a PhD/job in my lab? Without wasting too much time

One-dimensional Japanese puzzle

What aspect of planet Earth must be changed to prevent the industrial revolution?

Is an up-to-date browser secure on an out-of-date OS?

Didn't get enough time to take a Coding Test - what to do now?

how can a perfect fourth interval be considered either consonant or dissonant?

Functional analysis exercise: $left(int_Omega|h|rho dxright)^pleq int_Omega|h|^prho dx$

0

$begingroup$

I have a doubt about this exercise:

Let $Omega subset mathbbR^n$ be an open set, let $h colon Omega rightarrow mathbbR$ and $rho colon Omega rightarrow [0, +infty)$ be Lebesgue measurable functions and suppose that $int_Omegarho dx =1$. Prove that for each $p in [1,+infty)$

beginequation
left(int_Omega|h|rho dxright)^pleq int_Omega|h|^prho dx.
endequation

My idea is to notice that if $dnu=rho dx$ i have that $nu(Omega)=1$ hence $nu$ is a probability measure. Now i can use the Jensen inequality, that is $left(mathbbE[|h|]right)^pleq mathbbE[|h|^p]$, and consequently follows

beginequation
left(int_Omega|h|dnuright)^pleq int_Omega|h|^pdnu,
endequation

and recalling $dnu=rho dx$ i have the desired conclusion.

functional-analysis inequality

share|cite|improve this question

edited Mar 31 at 7:40

Martin Sleziak

45k10122277

asked Mar 31 at 6:10

GiovanniGiovanni

409

$endgroup$

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  This is correct.
  $endgroup$
  – Kavi Rama Murthy
  Mar 31 at 6:13
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Thankyou so much!
  $endgroup$
  – Giovanni
  Mar 31 at 6:14
  

  
  
  
  

add a comment | 

0

$begingroup$

I have a doubt about this exercise:

Let $Omega subset mathbbR^n$ be an open set, let $h colon Omega rightarrow mathbbR$ and $rho colon Omega rightarrow [0, +infty)$ be Lebesgue measurable functions and suppose that $int_Omegarho dx =1$. Prove that for each $p in [1,+infty)$

beginequation
left(int_Omega|h|rho dxright)^pleq int_Omega|h|^prho dx.
endequation

My idea is to notice that if $dnu=rho dx$ i have that $nu(Omega)=1$ hence $nu$ is a probability measure. Now i can use the Jensen inequality, that is $left(mathbbE[|h|]right)^pleq mathbbE[|h|^p]$, and consequently follows

beginequation
left(int_Omega|h|dnuright)^pleq int_Omega|h|^pdnu,
endequation

and recalling $dnu=rho dx$ i have the desired conclusion.

functional-analysis inequality

share|cite|improve this question

edited Mar 31 at 7:40

Martin Sleziak

45k10122277

asked Mar 31 at 6:10

GiovanniGiovanni

409

$endgroup$

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  This is correct.
  $endgroup$
  – Kavi Rama Murthy
  Mar 31 at 6:13
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Thankyou so much!
  $endgroup$
  – Giovanni
  Mar 31 at 6:14
  

  
  
  
  

add a comment | 

$begingroup$

I have a doubt about this exercise:

Let $Omega subset mathbbR^n$ be an open set, let $h colon Omega rightarrow mathbbR$ and $rho colon Omega rightarrow [0, +infty)$ be Lebesgue measurable functions and suppose that $int_Omegarho dx =1$. Prove that for each $p in [1,+infty)$

beginequation
left(int_Omega|h|rho dxright)^pleq int_Omega|h|^prho dx.
endequation

My idea is to notice that if $dnu=rho dx$ i have that $nu(Omega)=1$ hence $nu$ is a probability measure. Now i can use the Jensen inequality, that is $left(mathbbE[|h|]right)^pleq mathbbE[|h|^p]$, and consequently follows

beginequation
left(int_Omega|h|dnuright)^pleq int_Omega|h|^pdnu,
endequation

and recalling $dnu=rho dx$ i have the desired conclusion.

functional-analysis inequality

share|cite|improve this question

edited Mar 31 at 7:40

Martin Sleziak

45k10122277

asked Mar 31 at 6:10

GiovanniGiovanni

409

$endgroup$

share|cite|improve this question

edited Mar 31 at 7:40

Martin Sleziak

45k10122277

asked Mar 31 at 6:10

GiovanniGiovanni

409

share|cite|improve this question

edited Mar 31 at 7:40

Martin Sleziak

45k10122277

asked Mar 31 at 6:10

GiovanniGiovanni

409

edited Mar 31 at 7:40

Martin Sleziak

45k10122277

edited Mar 31 at 7:40

Martin Sleziak

45k10122277

asked Mar 31 at 6:10

GiovanniGiovanni

409

asked Mar 31 at 6:10

GiovanniGiovanni

409