CSIR NET EXAM » CSIR UGC-NET Exam Study Materials » Mathematical Sciences » Necessary and sufficient conditions for extrema

Necessary and sufficient conditions for extrema

To understand the complex method of extremum in an easier and more meaningful way.

Necessary and Sufficient Conditions for Extrema

Extrema is a maximum or minimum value of a function at any point and relative to maxima and minima.

The following are sufficient conditions for Extrema:

  • Second Variation

JX= abFt,x,ẋdt  be a nonlinear functional, with x(a) = A and x(b) = B fixed. Normally, we will imagine that F is necessary. The first variation of J is

Jxh=ab(F(t,x,ẋ)ddtF)htdt,

where h(t) is supposed to be as smooth as possible and also fulfills h(a) = h(b) = 0. We will classify such h as permissible.

The goal of locating the first variation is to capture the linear portion of the J[x]. We have, in particular,

JX+εh=JxJxh+0,

0= satisfying quantity 

o()=0

The second variation results from the quadratic approximation in ,

Jx+h=Jx+Jx+12 22Jxh+o2

As a result of,

2Jxh=d2d2(Jx+h)|=0

To compute it, we take note of the fact that,

d2d2Jx+h=ab22Ft,x+h, ẋ+hdt

Using the chain rule on the integrand, we can see that

22Ft,x+h, ẋ+h=22(Fxh+Fḣ)=FXXh2+2Fxẋhḣ+Fẋẋ2

where the derivatives of F are evaluated at (t, x + εh, x˙ + εh˙). Setting ε = 0 and plugging the result into our earlier expression for the second variation yields 

2Jxh=abFxxh2+2Fxẋhḣ+Fẋẋ2dt

It is compulsory to note that the middle term can be represented as 2Fxẋhḣ=Fẋẋddth2 . Using this in the previous equation, integrating by parts, and using h(a) = h(b) = 0, we get a

2Jxh=ab{(FxxddtFxẋ)h2+Fẋẋ2}dt=ab(Ph2+Qh2)dt……(1)

  • Legendre’s Trick

To be clear, we will continuously accept we are searching for conditions for the extremum to be a feeble least. The instance of the most extreme is comparative. We should check out the integrand P2 + Qh2

in (1). It is by and large a fact that

a capacity can be limited, however have a subordinate that differs fiercely. At that point, says that P2 is the firstly a dominant term, and this ends up being valid. It is important to check that 2Jx[h] ≥ 0 

for all h. For a base, it is firstly essential, however, not enough, that P ≥ 0 on [a, b], P > 0 on [a, b]. We likewise accept that P and Q are sufficient.

Legendre planned to add a term to 2J to make it positive.

In particular, he added ddt(wh2) to the integrand in (1). Note that abddtwh2dt=wh2|ab=0.

Henceforth, we have this chain of conditions,

2Jxh=2Jxh+abddtwh2dt=ab(P2+Qh2+ddt(wh2))dt=ab(P2+2whḣ+(ẇ+Q)h2)dt……..(2)=abP(ḣ+wPh)2dt+abẇ+Q-w2Ph2,…(3)

where we finished the square to triumph ultimately the last condition. Assuming that we can find w(t) with the end goal that

ẇ+Q-w2P=0,….(4)

then, second equation

2Jxh=abP(ḣ+wPh)2dt…..(5)

Condition (4) is known as a Riccati condition. It tends to be transformed into the second-request direct ODE beneath by means of the replacement w =−( ˙u/u)P:

ddtPdudt+Qu=0,…….(6)

which is known as the Jacobi condition for J. Two focuses t = α and t = ˜α, α ≠α˜, are supposed to be form focuses for Jacobi’s situation in the event that there is an answer u to (6) with the end goal that u 6 ≠ 0 among α and ˜α, and to such an extent that u(α) = u(˜α) = 0. Whenever there are no focuses from t = an in the span [a, b], we can build an answer for (6) that is completely certain on [a, b]. Begin with the two directly independent arrangements u0 and u1 to (6) that satisfy the underlying

conditions

u0a=0, ů0a=1, u1a=0, and  ů0a=1.

To check on [a,b],

u≔1+2m12m0u0+u112,

u solving (6),

P(ḣ+wPh)2=0, a≤t≤b,

  • Conjugate Points

Let x(t, ε) be a group of extremals for the utilitarian J relying flawlessly upon a boundary ε. We accept the condition x(a, ε) = A, which will not include ε. These extremals all fulfill the Euler-Lagrange condition

Fxt,xt,,ẋ,=ddtFt,xt,,ẋ,.

On the off chance that we separate this condition as for ε, being mindful so as to accurately apply the chain rule, we acquire

Fxx∂x+Fxẋ∂ẋ=ddtFxẋ∂x+Fxẋ∂ẋ=dFxẋdt∂x+FxẋFxẋ+ddt(FxẋFxẋ)

We obtain,

Fxxddt+Fxẋ∂xddtFxẋ∂ẋ=0……..(7)

The distinction here is that we generally have the underlying circumstances,

ua=∂xa,0=A=0,

ůa=∂ẋ(a,0)≠0

  • Sufficient Conditions

An adequate condition for an extremal to be a general least is just the

The second variety is firmly true. This tells us  that there is a

c > 0, which is free of h, with the end goal that for all acceptable h one has

2Jxh≥c||h||H11

where H1 = H1[a, b] indicates the standard Sobolev space of capacities with distributional subordinates in L2[a, b].

In condition (2), where we insert terms relying upon the capacity w. In the integrand there, we add and take σPh2 away, where σ is steady. The important necessity for now is that 0 < σ < mint[a,b] P(t). The outcome is

2Jxh=abP-σ2+2whḣ+(ẇ+Q)h2)dt+σabh2dt

To obtain first integral term,

2Jxh=abP-σ(ḣ+wP-σh)2dt+abẇ+Q-w2P-σh2abh2dt…..(8)

The Jacobi equation,

ddt(P-σ) dudt)+Qu=0……..(9)

The Riccati equation,

2Jxh=abP-σ(ḣ+wP-σh)2dt+σabh2dt≥-ddt abh2dt

For h, 

|h|H12=abh2dt+ab2dt≤(1+(b-a)22)abh2dt

The inequality we obtain,

2Jxh1+b-a2|h|H12=c||h||H12

With this, we obtain what we need for a relative minimum.

Conclusion

The conditions of Extrema tell us about how the Ricotta and Jacobi equations are from these conditions to be a relative minimum function.

faq

Frequently asked questions

Get answers to the most common queries related to the CSIR Examination Preparation.

What is the end goal for h in sufficient conditions?

Ans: The end goal for h is 2...Read full

State the two conditions of conjugate points.

Ans: The two conditions are: u...Read full

What is Extrema?

Ans: Extrema is a maximum or minimum value of a function at any point and relative to maxima and mi...Read full