Flipped SU(5): Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>R'n'B
en>Theroadislong
wiki link Stephen Barr
 
Line 1: Line 1:
{{For|Jensen's inequality for analytic functions|Jensen's formula}}
== FYI Nike Blazer High ==
[[File:ConvexFunction.svg|thumb|right|400px|'''Jensen's inequality''' generalizes the statement that a secant line of a convex function lies above the graph.]]
In [[mathematics]], '''Jensen's inequality''', named after the Danish mathematician [[Johan Jensen (mathematician)|Johan Jensen]], relates the value of a [[convex function]] of an [[integral]] to the integral of the convex function. It was proved by Jensen in 1906.<ref>{{cite journal|last=Jensen|first=J. L. W. V.|authorlink=Johan Jensen (mathematician)|date=1906|title=Sur les fonctions convexes et les inégalités entre les valeurs moyennes|journal=Acta Mathematica|volume=30|issue=1|pages=175–193|doi=10.1007/BF02418571}}</ref> Given its generality, the inequality appears in many forms depending on the context, some of which are presented below. In its simplest form the inequality states that the convex transformation of a mean is less than or equal to the mean after convex transformation; it is a simple corollary that the opposite is true of concave transformations.


Jensen's inequality generalizes the statement that the [[secant line]] of a convex function lies ''above'' the graph of the function, which is Jensen's inequality for two points: the secant line consists of weighted means of the convex function, <math>t f(x_1) + (1-t) f(x_2),</math> while the graph of the function is the convex function of the weighted means, <math>f(t x_1 + (1-t) x_2).</math>
I talked to my Dad about attempting to change my major and he actually seemed a little shocked. He thinks I ought to wait until this school year is over. I want [http://www.localsukkah.org/images/festival.asp?q=74-Nike-Blazer-High Nike Blazer High] to kind of figure out what to complete when I have to register for new classes on November 14th, which I have to write down on my calendar so I can get some nice classes in the afternoon so I can sleep late watching Sealab, which is on now. <br><br>Consequently, irrigation water becomes nutrient depleted and this necessitates the extensive use of chemical fertilizers for agriculture. Consequences of water pollution (both surface and subsurface) due to the use of inorganic fertilizers and pesticides as well as nutrientdepleted food on the health from the ecosystem including that of humans are somewhat known. Besides, unlike an all natural river channel (bed), a canal cannot [http://www.indopacificmarine.com.au/mail/copyright.asp?page=44-Nike-Air-Max-2014 Nike Air Max 2014] provide for ecological niches for diversity of aquatic life.. <br><br>Open Diary went online on October 20, 1998. Shortly afterwards, the site added the ability for [http://www.thornleighsports.org.au/wp-content/plugins/akismet/config.php?f=62-Tiffany-And-Co-Rings-Australia Tiffany And Co Rings Australia] readers to post comments on others' diary entries  an innovation that was the forerunner of the interactive nature of today's blogs and blog comments. Early features of the site included public or private diary entries, indexes of diaries by age and geographic location, along with a "Favorites" page for the diary owner. <br><br>Baby (or infantonly) child car seats: These should always face the rear of the car. They have a weight limit which is between 22 and 35 pounds. Many new ones are designed to hold a child as high as 40 pounds rearfacing and up to 70 pounds forwardfacing. However this week's breaking news served up strange terms and locations by having an unusual velocity that kept Wikipedia humming, talkshow bookers jumping and experts racing to pitch themselves towards the media. People who have spent their lives toiling away in the history of pressure cookers [http://www.slickwebsites.com.au/images/test/test.asp?k=132-Buy-Oakley-Goggles-Australia Buy Oakley Goggles Australia] hoped to get their 15 minutes of fame. (FYI: Comparable time it takes to prepare meals using one of the pots.). <br><br>Ppc is really just as it sounds. You have to pay each time a person clicks on an advertised ad to your website. How much you pay is dependent on a number of factors, and that is really where ppc advertising can run you through the mill if you're not careful.. <br><br>Starting in 2004, when the city of Roswell added a covered bridge to access the federal land on the other side of Vickery Creek, Old Mill Park has been completely redone with everything from the new entrance at Roswell Mill to new interpretive signs, decking and elimination of that scourge of the South, kudzu. Once the mill was founded, Roswell was part of Cobb County. It was ceded to Fulton County in 1932 when Milton County and Fulton County merged because the two counties were not contiguous..<ul>
 
  <li>[http://www.btalk.tk/activity/p/6175/ http://www.btalk.tk/activity/p/6175/]</li>
 
  <li>[http://www.oisex.cn/forum.php?mod=viewthread&tid=664643 http://www.oisex.cn/forum.php?mod=viewthread&tid=664643]</li>
 
  <li>[http://www.histoirepassion.eu/spip.php?article1761/ http://www.histoirepassion.eu/spip.php?article1761/]</li>
 
  <li>[http://bbs.whxx.mhedu.sh.cn/forum.php?mod=viewthread&tid=1396555 http://bbs.whxx.mhedu.sh.cn/forum.php?mod=viewthread&tid=1396555]</li>
 
</ul>


In the context of [[probability theory]], it is generally stated in the following form: if ''X'' is a [[random variable]] and <math>\varphi</math> is a convex function, then <math>\varphi\left(\mathbb{E}\left[X\right]\right) \leq \mathbb{E}\left[\varphi(X)\right].</math>
== of McCandless Ray Ban Frames Australia ==


==Statements==
Have you ever tried to leave a discuss a wordpress site or any web site that allows html in the comments box? Write nice relevant comments that report to your blog and put your link inside it. But there is already a name, email, and website field to put [http://www.weddingsbyjohn.com.au/SpryAssets/vertical.asp?r=78-Ray-Ban-Frames-Australia Ray Ban Frames Australia] my information. How many people click peoples names? Fill in all your information, and after you write your article put this in LINK_TITLE replace "LINK_URL" with your referral. <br><br>Old bus or no, Fairbanks 142 is becoming something of a reliquary, a shrine to which many have come seeking understanding: of McCandless, from the wilderness, of themselves. A memorial plaque to McCandless is screwed to the inside of the bus, bearing a note from his family that ends using the phrase "We commend his soul to the world." Inside a beatup suitcase on the table are a halfdozen tattered notebooks. The first entries, from July 1993, in [http://www.pacificcarpetcare.com.au/cp/Scripts/ASP/Counter/client.asp?b=105-Cheap-Oakleys-Australia Cheap Oakleys Australia] red pen in writing yellowing with age, are personal notes from his parents. <br><br>Nearby in Hatfield may be the de Havilland campus, converted from a former BAe site. The Business School and the faculty of Humanities and Education are housed here, together with another library. The law faculty relies in St Albans, conveniently for the law courts. <br><br>Two of the applications that made it through the department's review and are up for a board approval were submitted by City on a Hill Charter School, a charter provider that currently operates a 280student senior high school in Roxbury. CoaH is seeking approval of the [http://www.indopacificmarine.com.au/mail/copyright.asp?page=127-Nike-Air-Force-1-High-Tops-Australia Nike Air Force 1 High Tops Australia] second school in Boston in 2013, and also the creation of an additional affiliated school in New Bedford in 2014. Each one of the new schools would serve 280 students.. <br><br>The days of feeling self conscious about your metal braces are past. Using the opening of new doors in the form of modern advancements in the field of dentistry, many intriguing and innovative treatments are now available for those in need of dental alignment. These treatments provide you with the freedom to laugh and smile without feeling the need to cover your mouth in embarrassment.. <br><br>The Government's first attempt to block the website of an allegedly antiIndia group has inconvenienced lakhs of Online users who are questioning the utility, process and procedure associated with blocking. As the ISPs don't have the technical finesse to block one subgroup, they have blocked all Yahoo groups or URLs inconveniencing you. This website, belonging to a militant group [http://www.weddingsbyjohn.com.au/SpryAssets/vertical.asp?r=93-Cheap-Ray-Bans-Online-Australia Cheap Ray Bans Online Australia] espousing the reason for Meghalaya's Khasi tribe, can still be accessed by ISPs outside India or anyone who has not yet complied with the directive..<ul>
 
 
The classical form of Jensen's inequality involves several numbers and weights. The inequality can be stated quite generally using either the language of [[measure (mathematics)|measure theory]] or (equivalently) probability. In the probabilistic setting, the inequality can be further generalized to its ''full strength''.
  <li>[http://61.153.145.131/function/forum/viewthread.php?tid=351036&extra=page%3D1&frombbs=1 http://61.153.145.131/function/forum/viewthread.php?tid=351036&extra=page%3D1&frombbs=1]</li>
 
 
===Finite form===
  <li>[http://huijiazhuangxiu.com/news/html/?366702.html http://huijiazhuangxiu.com/news/html/?366702.html]</li>
For a real [[convex function]] {{nowrap|<math>\varphi</math>}}, numbers  ''x''<sub>1</sub>,&nbsp;''x''<sub>2</sub>,&nbsp;...,&nbsp;''x''<sub>''n''</sub> in its domain, and positive weights ''a<sub>i</sub>'', Jensen's inequality can be stated as:
 
 
  <li>[http://www.jy586.cn/forum.php?mod=viewthread&tid=75842 http://www.jy586.cn/forum.php?mod=viewthread&tid=75842]</li>
:<math>\varphi\left(\frac{\sum a_i x_i}{\sum a_j}\right) \le \frac{\sum a_i \varphi (x_i)}{\sum a_j} \qquad\qquad (1)</math>
 
 
  <li>[http://www.yxwzkj.com/news/html/?99890.html http://www.yxwzkj.com/news/html/?99890.html]</li>
and the inequality is reversed if {{nowrap|<math>\varphi</math>}} is [[concave function|concave]], which is
 
:<math>\varphi\left(\frac{\sum a_i x_i}{\sum a_j}\right) \geq \frac{\sum a_i \varphi (x_i)}{\sum a_j}.\qquad\qquad(2) </math>
</ul>
 
As a particular case, if the weights ''a<sub>i</sub>'' are all equal, then (1) and (2) become
 
:<math>\varphi\left(\frac{\sum x_i}{n}\right) \le \frac{\sum \varphi (x_i)}{n} \qquad\qquad (3) </math>
:<math>\varphi\left(\frac{\sum x_i}{n}\right) \geq \frac{\sum \varphi (x_i)}{n} \qquad\qquad (4) </math>
 
For instance, the function [[Logarithm|log(''x'')]] is ''[[concave function|concave]]'', so substituting <math>\scriptstyle\varphi(x)\,=\,\log(x)</math> in the previous formula (4) establishes the (logarithm of) the familiar [[AM-GM inequality|arithmetic mean-geometric mean inequality]]:
 
:<math>\frac{x_1 + x_2 + \cdots + x_n}{n} \geq \sqrt[n]{x_1 \cdot x_2 \cdots x_n}. \quad \text{or} \quad
\log\!\left( \frac{\sum_{i=1}^n x_i}{n}\right) \geq \frac{\sum_{i=1}^n \log\!\left( x_i \right)}{n}</math>
 
The variable ''x'' may, if required, be a function of another variable (or set of variables) ''t'', so that ''x''<sub>''i''</sub> = ''g''(''t''<sub>''i''</sub>). All of this carries directly over to the general continuous case: the weights ''a<sub>i</sub>'' are replaced by a non-negative integrable function ''f''(''x''), such as a probability distribution, and the summations are replaced by integrals.
 
===Measure-theoretic and probabilistic form===
Let (Ω,&nbsp;''A'',&nbsp;''μ'') be a [[measure (mathematics)#Formal definitions|measure space]], such that μ(Ω)&nbsp;=&nbsp;1. If ''g'' is a [[real number|real]]-valued function that is μ-[[Integrable function|integrable]], and if <math>\varphi</math> is a [[convex function]] on the real line, then:
 
:<math>\varphi\left(\int_\Omega g\, d\mu\right) \le \int_\Omega \varphi \circ g\, d\mu. </math>
 
In real analysis, we may require an estimate on
 
:<math>\varphi\left(\int_a^b f(x)\, dx\right) </math>
 
where <math>a,b</math> are real numbers, and <math>f:[a,b]\to\mathbb{R}</math> is a non-negative [[real number|real]]-valued function that is Lebesgue-[[Integrable function|integrable]]. In this case, the Lebesgue measure of <math>[a,b]</math> need not be unity. However, by integration
by substitution, the interval can be rescaled so that it has measure unity. Then Jensen's inequality can be applied to get 
 
:<math>\varphi\left(\int_a^b  f(x)\, dx\right) \le \frac{1}{b-a} \int_a^b \varphi((b-a)f(x)) \,dx. </math>
 
The same result can be equivalently stated in a [[probability theory]] setting, by a simple change of notation. Let <math>\scriptstyle(\Omega, \mathfrak{F},\mathbb{P})</math> be a [[probability space]], ''X'' an [[integrable function|integrable]] real-valued [[random variable]] and <math>\varphi</math> a [[convex function]]. Then:
 
:<math>\varphi\left(\mathbb{E}\left[X\right]\right) \leq \mathbb{E}\left[\varphi(X)\right].</math>
 
In this probability setting, the measure μ is intended as a probability <math>\scriptstyle\mathbb{P}</math>, the integral with respect to μ as an [[expected value]] <math>\scriptstyle\mathbb{E}</math>, and the function ''g'' as a [[random variable]] ''X''.
 
=== General inequality in a probabilistic setting ===
 
More generally, let ''T'' be a real [[topological vector space]], and ''X'' a ''T''-valued [[integrable function|integrable]] random variable. In this general setting, ''integrable'' means that there exists an element <math>\scriptstyle\mathbb{E}\{X\}</math> in ''T'', such that for any element ''z'' in the [[dual space]] of ''T'': <math>\scriptstyle\mathbb{E}|\langle z, X \rangle|\,<\,\infty </math>, and <math>\scriptstyle\langle z, \mathbb{E}\{X\}\rangle\,=\,\mathbb{E}\{\langle z, X \rangle\}</math>. Then, for any measurable convex function φ and any sub-[[sigma algebra|&sigma;-algebra]] <math>\scriptstyle\mathfrak{G}</math> of <math>\scriptstyle\mathfrak{F}</math>:
 
:<math>\varphi\left(\mathbb{E}\left[X|\mathfrak{G}\right]\right) \leq  \mathbb{E}\left[\varphi(X)|\mathfrak{G}\right].</math>
 
Here <math>\scriptstyle\mathbb{E}\{\cdot|\mathfrak{G} \}</math> stands for the [[conditional expectation|expectation conditioned]] to the σ-algebra <math>\scriptstyle\mathfrak{G}</math>. This general statement reduces to the previous ones when the topological vector space ''T'' is the [[real axis]], and  <math>\scriptstyle\mathfrak{G}</math> is the trivial σ-algebra <math>\scriptstyle\{\varnothing, \Omega\}</math>.
 
==Proofs==
[[Image:Jensen graph.png|350px|thumb|right|A graphical "proof" of Jensen's inequality for the probabilistic case. The dashed curve along the ''X'' axis is the hypothetical distribution of ''X'', while the dashed curve along the ''Y'' axis is the corresponding distribution of ''Y'' values. Note that the convex mapping ''Y''(''X'') increasingly "stretches" the distribution for increasing values of&nbsp;''X''.]]
 
Jensen's inequality can be proved in several ways, and three different proofs corresponding to the different statements above will be offered. Before embarking on these mathematical derivations, however, it is worth analyzing an intuitive graphical argument based on the probabilistic case where ''X'' is a real number (see figure). Assuming a hypothetical distribution of ''X'' values, one can immediately identify the position of <math>\scriptstyle\mathbb{E}\{X\}</math> and its image <math>\scriptstyle\varphi(\mathbb{E}\{X\})</math> in the graph. Noticing that for convex mappings <math>\scriptstyle Y\,=\,\varphi(X)</math> the corresponding distribution of ''Y'' values is increasingly "stretched out" for increasing values of ''X'', it is easy to see that the distribution of ''Y'' is broader in the interval corresponding to ''X''&nbsp;>&nbsp;''X''<sub>0</sub> and narrower in ''X''&nbsp;<&nbsp;''X''<sub>0</sub> for any ''X''<sub>0</sub>; in particular, this is also true for <math>\scriptstyle X_0 \,=\, \mathbb{E}\{ X \}</math>. Consequently, in this picture the expectation of ''Y'' will always shift upwards with respect to the position of <math>\scriptstyle\varphi(\mathbb{E}\{ X \} )</math>, and this "proves" the inequality, i.e.
 
:<math> \mathbb{E}\{Y\} = \mathbb{E}\{ \varphi(X) \} \geq \varphi(\mathbb{E}\{ X \} ), </math>
 
with equality when ''&phi;''(''X'') is not strictly convex, e.g. when it is a straight line, or when ''X'' follows a [[degenerate distribution]] (i.e. is a constant).
 
The proofs below formalize this intuitive notion.
 
===Proof 1 (finite form)===
If ''λ''<sub>1</sub> and ''λ''<sub>2</sub> are two arbitrary nonnegative real numbers such that ''λ''<sub>1</sub>&nbsp;+&nbsp;''λ''<sub>2</sub>&nbsp;=&nbsp;1 then convexity of <math>\scriptstyle\varphi</math> implies
 
:<math>\varphi(\lambda_1 x_1+\lambda_2 x_2)\leq \lambda_1\,\varphi(x_1)+\lambda_2\,\varphi(x_2)\text{ for any }x_1,\,x_2.</math>
 
This can be easily generalized: if ''λ''<sub>1</sub>, ''λ''<sub>2</sub>, ..., ''λ''<sub>''n''</sub> are nonnegative real numbers such that ''λ''<sub>1</sub>&nbsp;+&nbsp;...&nbsp;+&nbsp;''λ''<sub>''n''</sub>&nbsp;=&nbsp;1, then
 
:<math>\varphi(\lambda_1 x_1+\lambda_2 x_2+\cdots+\lambda_n x_n)\leq \lambda_1\,\varphi(x_1)+\lambda_2\,\varphi(x_2)+\cdots+\lambda_n\,\varphi(x_n),</math>
 
for any ''x''<sub>1</sub>,&nbsp;...,&nbsp;''x''<sub>''n''</sub>. This ''finite form'' of the Jensen's inequality can be proved by [[mathematical induction|induction]]: by convexity hypotheses, the statement is true for ''n''&nbsp;=&nbsp;2</sub>. Suppose it is true also for some ''n'', one needs to prove it for ''n''&nbsp;+&nbsp;1. At least one of the ''λ''<sub>''i''</sub> is strictly positive, say ''λ''<sub>1</sub>; therefore by convexity inequality:
 
:<math>
\begin{align}
\varphi\left(\sum_{i=1}^{n+1}\lambda_i x_i\right) & = \varphi\left(\lambda_1 x_1+(1-\lambda_1)\sum_{i=2}^{n+1} \frac{\lambda_i}{1-\lambda_1} x_i\right) \\
& \leq \lambda_1\,\varphi(x_1)+(1-\lambda_1) \varphi\left(\sum_{i=2}^{n+1}\left( \frac{\lambda_i}{1-\lambda_1} x_i\right)\right).
\end{align}
</math>
 
Since <math>\scriptstyle \sum_{i=2}^{n+1} \lambda_i/(1-\lambda_1)\, =\,1</math>, one can apply the induction hypotheses to the last term in the previous formula to obtain the result, namely the finite form of the Jensen's inequality.
 
In order to obtain the general inequality from this finite form, one needs to use a density argument. The finite form can be rewritten as:
 
:<math>\varphi\left(\int x\,d\mu_n(x) \right)\leq \int \varphi(x)\,d\mu_n(x),</math>
 
where ''μ''<sub>''n''</sub> is a measure given by an arbitrary [[convex combination]] of [[Dirac delta]]s:
 
:<math>\mu_n=\sum_{i=1}^n \lambda_i \delta_{x_i}.</math>
 
Since convex functions are [[continuous function|continuous]], and since convex combinations of Dirac deltas are [[weak topology|weakly]] [[dense set|dense]] in the set of probability measures (as could be easily verified), the general statement is obtained simply by a limiting procedure.
 
===Proof 2 (measure-theoretic form)===
Let ''g'' be a real-valued μ-integrable function on a probability space Ω, and let ''φ'' be a convex function on the real numbers. Since φ is convex, at each real number x we have a nonempty set of [[subderivative]]s, which may be thought of as lines touching the graph of φ at x, but which are at or below the graph of φ at all points.
 
Now, if we define
:<math>x_0:=\int_\Omega g\, d\mu,</math>
because of the existence of subderivatives for convex functions, we may choose an a and b such that
:<math>ax + b \leq \varphi(x),</math>
for all real x and
:<math>ax_0+ b = \varphi(x_0).</math>
But then we have that
:<math>\varphi\circ g (x) \geq ag(x)+ b</math>
for all x. Since we have a probability measure, the integral is monotone with μ(Ω)=1 so that
:<math>\int_\Omega \varphi\circ g\, d\mu
\geq \int_\Omega (ag + b)\, d\mu
= a\int_\Omega g\, d\mu + \int_\Omega b\, d\mu
= ax_0 +b\cdot1
=\varphi (x_0)
= \varphi (\int_\Omega g\, d\mu),</math>
as desired.
 
=== Proof 3 (general inequality in a probabilistic setting)===
Let ''X'' be an integrable random variable that takes values in a real topological vector space ''T''. Since <math>\scriptstyle\varphi:T \mapsto \mathbb{R}</math> is convex, for any <math>x,y \in T</math>, the quantity
 
:<math>\frac{\varphi(x+\theta\,y)-\varphi(x)}{\theta},</math>
 
is decreasing as θ approaches 0<sup>+</sup>. In particular, the ''subdifferential'' of ''φ'' evaluated at ''x'' in the direction ''y'' is well-defined by
 
:<math>(D\varphi)(x)\cdot y:=\lim_{\theta \downarrow 0} \frac{\varphi(x+\theta\,y)-\varphi(x)}{\theta}=\inf_{\theta \neq 0} \frac{\varphi(x+\theta\,y)-\varphi(x)}{\theta}.</math>
 
It is easily seen that the subdifferential is linear in ''y'' {{Citation needed|date=October 2013}} (that is false and the assertion requires Hahn-Banach theorem to be proved) and, since the infimum taken in the right-hand side of the previous formula is smaller than the value of the same term for ''θ''&nbsp;=&nbsp;1, one gets
 
:<math>\varphi(x)\leq \varphi(x+y)-(D\varphi)(x)\cdot y.\,</math>
 
In particular, for an arbitrary sub-σ-algebra <math>\scriptstyle\mathfrak{G}</math> we can evaluate the last inequality when <math>\scriptstyle x\,=\,\mathbb{E}\{X|\mathfrak{G}\},\,y=X-\mathbb{E}\{X|\mathfrak{G}\}</math> to obtain
 
:<math>\varphi(\mathbb{E}\{X|\mathfrak{G}\})\leq \varphi(X)-(D\varphi)(\mathbb{E}\{X|\mathfrak{G}\})\cdot (X-\mathbb{E}\{X|\mathfrak{G}\}).</math>
 
Now, if we take the expectation conditioned to <math>\scriptstyle\mathfrak{G}</math> on both sides of the previous expression, we get the result since:
 
:<math>\mathbb{E}\{\left[(D\varphi)(\mathbb{E}\{X|\mathfrak{G}\})\cdot (X-\mathbb{E}\{X|\mathfrak{G}\})\right]|\mathfrak{G}\}=(D\varphi)(\mathbb{E}\{X|\mathfrak{G}\})\cdot \mathbb{E}\{ \left( X-\mathbb{E}\{X|\mathfrak{G}\} \right) |\mathfrak{G}\}=0,</math>
 
by the linearity of the subdifferential in the ''y'' variable, and the following well-known property of the [[conditional expectation]]:
 
:<math>\mathbb{E}\{ \left(\mathbb{E}\{X|\mathfrak{G}\} \right) |\mathfrak{G}\}=\mathbb{E}\{ X |\mathfrak{G}\}.</math>
 
==Applications and special cases==
===Form involving a probability density function===
 
Suppose Ω is a measurable subset of the real line and ''f''(''x'') is a non-negative function such that
 
:<math>\int_{-\infty}^\infty f(x)\,dx = 1.</math>
 
In probabilistic language, ''f'' is a [[probability density function]].
 
Then Jensen's inequality becomes the following statement about convex integrals:
 
If ''g'' is any real-valued measurable function and φ is convex over the range of ''g'', then
 
:<math> \varphi\left(\int_{-\infty}^\infty g(x)f(x)\, dx\right) \le \int_{-\infty}^\infty \varphi(g(x)) f(x)\, dx. </math>
 
If ''g''(''x'') = ''x'', then this form of the inequality reduces to a commonly used special case:
 
:<math>\varphi\left(\int_{-\infty}^\infty x\, f(x)\, dx\right) \le \int_{-\infty}^\infty \varphi(x)\,f(x)\, dx.</math>
 
===Alternative finite form===
 
If <math>\Omega</math> is some finite set <math>\{x_1,x_2,\ldots,x_n\}</math>, and if <math>\mu</math> is a [[counting measure]] on <math>\Omega</math>, then the general form reduces to a statement about sums:
 
:<math> \varphi\left(\sum_{i=1}^{n} g(x_i)\lambda_i \right) \le \sum_{i=1}^{n} \varphi(g(x_i))\lambda_i, </math>
 
provided that <math> \lambda_1 + \lambda_2 + \cdots + \lambda_n = 1, \lambda_i \ge 0. </math>
 
There is also an infinite discrete form.
 
===Statistical physics===
 
Jensen's inequality is of particular importance in statistical physics when the convex function is an exponential, giving:
 
:<math> e^{\langle X \rangle} \leq \left\langle e^X \right\rangle, </math>
 
where angle brackets denote [[expected value]]s with respect to some [[probability distribution]] in the [[random variable]] ''X''.
 
The proof in this case is very simple (cf. Chandler, Sec. 5.5).  The desired inequality follows directly, by writing
 
:<math> \left\langle e^X \right\rangle
= e^{\langle X \rangle} \left\langle e^{X - \langle X \rangle} \right\rangle </math>
 
and then applying the inequality
:<math> e^X \geq 1+X \, </math>
 
to the final exponential.
 
===Information theory===
 
If ''p''(''x'') is the true probability distribution for ''x'', and ''q''(''x'') is another distribution, then applying Jensen's inequality for the random variable ''Y''(''x'') = ''q''(''x'')/''p''(''x'') and the function <math>\varphi</math>(''y'') = &minus;log(''y'') gives
 
:<math>\Bbb{E}\{\varphi(Y)\} \ge \varphi(\Bbb{E}\{Y\})</math>
 
:<math>\Rightarrow  -D(p(x)\|q(x))=\int p(x) \log \frac{q(x)}{p(x)} \, dx  \le  \log \int p(x) \frac{q(x)}{p(x)}\,dx\,=\log \int q(x)\,dx=0 </math>
 
a result called [[Gibbs' inequality]]. 
 
It shows that the average message length is minimised when codes are assigned on the basis of the true probabilities ''p'' rather than any other distribution ''q''. The quantity that is non-negative is called the [[Kullback&ndash;Leibler divergence]] of ''q'' from ''p''.
 
Since -log(x) is a strictly convex function for x>0, it follows that equality holds when p(x) equals q(x) almost everywhere.
 
===Rao&ndash;Blackwell theorem===
 
{{main|Rao&ndash;Blackwell theorem}}
 
If ''L'' is a convex function, then from Jensen's inequality we get
 
:<math>L(\Bbb{E}\{\delta(X)\}) \le \Bbb{E}\{L(\delta(X))\} \quad \Rightarrow \quad \Bbb{E}\{L(\Bbb{E}\{\delta(X)\})\} \le \Bbb{E}\{L(\delta(X))\}. \, </math>
 
So if δ(''X'') is some [[estimator]] of an unobserved parameter θ given a vector of observables ''X''; and if ''T''(''X'') is a [[sufficient statistic]] for θ; then an improved estimator, in the sense of having a smaller expected loss ''L'', can be obtained by calculating
 
:<math>\delta_1 (X) = \Bbb{E}_{\theta}\{\delta(X') \,|\, T(X')= T(X)\}, \,</math>
 
the expected value of δ with respect to θ, taken over all possible vectors of observations ''X'' compatible with the same value of ''T''(''X'') as that observed.
 
This result is known as the [[Rao&ndash;Blackwell theorem]].
 
==See also==
* [[Karamata's inequality]] for a more general inequality
* [[Popoviciu's inequality]]
* [[Law of averages]]
 
{{refimprove|date=October 2011}}
 
==Notes==
<references/>
 
==References==
*{{cite book|author=David Chandler|title=Introduction to Modern Statistical Mechanics|publisher=Oxford|year=1987|isbn=0-19-504277-8|authorlink=David Chandler (chemist)}}
* [[Tristan Needham]] (1993) "A Visual Explanation of Jensen's Inequality", [[American Mathematical Monthly]] 100(8):768&ndash;71.
*{{cite book|author=Walter Rudin|title=Real and Complex Analysis|publisher=McGraw-Hill|year=1987|isbn=0-07-054234-1 |authorlink=Walter Rudin}}
 
==External links==
* [http://arxiv.org/abs/math/0204049 Jensen's Operator Inequality] of Hansen and Pedersen.
* {{springer|title=Jensen inequality|id=p/j054220}}
* {{MathWorld|urlname=JensensInequality|title=Jensen's inequality}}
*{{cite web|title=Introduction to Inequalities|url=http://www.mediafire.com/?1mw1tkgozzu |author=Arthur Lohwater|date=1982|publisher=Online e-book in PDF format}}
[[Category:Inequalities]]
[[Category:Probabilistic inequalities]]
[[Category:Statistical inequalities]]
[[Category:Mathematical analysis]]
[[Category:Articles containing proofs]]
[[Category:Convex analysis]]

Latest revision as of 19:07, 6 January 2015

FYI Nike Blazer High

I talked to my Dad about attempting to change my major and he actually seemed a little shocked. He thinks I ought to wait until this school year is over. I want Nike Blazer High to kind of figure out what to complete when I have to register for new classes on November 14th, which I have to write down on my calendar so I can get some nice classes in the afternoon so I can sleep late watching Sealab, which is on now.

Consequently, irrigation water becomes nutrient depleted and this necessitates the extensive use of chemical fertilizers for agriculture. Consequences of water pollution (both surface and subsurface) due to the use of inorganic fertilizers and pesticides as well as nutrientdepleted food on the health from the ecosystem including that of humans are somewhat known. Besides, unlike an all natural river channel (bed), a canal cannot Nike Air Max 2014 provide for ecological niches for diversity of aquatic life..

Open Diary went online on October 20, 1998. Shortly afterwards, the site added the ability for Tiffany And Co Rings Australia readers to post comments on others' diary entries an innovation that was the forerunner of the interactive nature of today's blogs and blog comments. Early features of the site included public or private diary entries, indexes of diaries by age and geographic location, along with a "Favorites" page for the diary owner.

Baby (or infantonly) child car seats: These should always face the rear of the car. They have a weight limit which is between 22 and 35 pounds. Many new ones are designed to hold a child as high as 40 pounds rearfacing and up to 70 pounds forwardfacing. However this week's breaking news served up strange terms and locations by having an unusual velocity that kept Wikipedia humming, talkshow bookers jumping and experts racing to pitch themselves towards the media. People who have spent their lives toiling away in the history of pressure cookers Buy Oakley Goggles Australia hoped to get their 15 minutes of fame. (FYI: Comparable time it takes to prepare meals using one of the pots.).

Ppc is really just as it sounds. You have to pay each time a person clicks on an advertised ad to your website. How much you pay is dependent on a number of factors, and that is really where ppc advertising can run you through the mill if you're not careful..

Starting in 2004, when the city of Roswell added a covered bridge to access the federal land on the other side of Vickery Creek, Old Mill Park has been completely redone with everything from the new entrance at Roswell Mill to new interpretive signs, decking and elimination of that scourge of the South, kudzu. Once the mill was founded, Roswell was part of Cobb County. It was ceded to Fulton County in 1932 when Milton County and Fulton County merged because the two counties were not contiguous..

of McCandless Ray Ban Frames Australia

Have you ever tried to leave a discuss a wordpress site or any web site that allows html in the comments box? Write nice relevant comments that report to your blog and put your link inside it. But there is already a name, email, and website field to put Ray Ban Frames Australia my information. How many people click peoples names? Fill in all your information, and after you write your article put this in LINK_TITLE replace "LINK_URL" with your referral.

Old bus or no, Fairbanks 142 is becoming something of a reliquary, a shrine to which many have come seeking understanding: of McCandless, from the wilderness, of themselves. A memorial plaque to McCandless is screwed to the inside of the bus, bearing a note from his family that ends using the phrase "We commend his soul to the world." Inside a beatup suitcase on the table are a halfdozen tattered notebooks. The first entries, from July 1993, in Cheap Oakleys Australia red pen in writing yellowing with age, are personal notes from his parents.

Nearby in Hatfield may be the de Havilland campus, converted from a former BAe site. The Business School and the faculty of Humanities and Education are housed here, together with another library. The law faculty relies in St Albans, conveniently for the law courts.

Two of the applications that made it through the department's review and are up for a board approval were submitted by City on a Hill Charter School, a charter provider that currently operates a 280student senior high school in Roxbury. CoaH is seeking approval of the Nike Air Force 1 High Tops Australia second school in Boston in 2013, and also the creation of an additional affiliated school in New Bedford in 2014. Each one of the new schools would serve 280 students..

The days of feeling self conscious about your metal braces are past. Using the opening of new doors in the form of modern advancements in the field of dentistry, many intriguing and innovative treatments are now available for those in need of dental alignment. These treatments provide you with the freedom to laugh and smile without feeling the need to cover your mouth in embarrassment..

The Government's first attempt to block the website of an allegedly antiIndia group has inconvenienced lakhs of Online users who are questioning the utility, process and procedure associated with blocking. As the ISPs don't have the technical finesse to block one subgroup, they have blocked all Yahoo groups or URLs inconveniencing you. This website, belonging to a militant group Cheap Ray Bans Online Australia espousing the reason for Meghalaya's Khasi tribe, can still be accessed by ISPs outside India or anyone who has not yet complied with the directive..