Find all critical and stationary points: Legrange multipliers

  • Thread starter Thread starter mikeyrichster
  • Start date Start date
  • Tags Tags
    Points
Click For Summary

Homework Help Overview

The discussion revolves around finding critical and stationary points of the function f(x,y) = x^3 - y^2, subject to the constraint c(x,y) = 1 - x^2 - y^2 ≥ 0. Participants are exploring the application of Lagrange multipliers in this context.

Discussion Character

  • Exploratory, Assumption checking, Conceptual clarification

Approaches and Questions Raised

  • The original poster attempts to set up equations using Lagrange multipliers but expresses difficulty in solving them due to the presence of multiple variables. Some participants clarify the definitions and conditions of Lagrange multipliers, while others suggest checking the nature of the constraint and the function's behavior within the defined region.

Discussion Status

Participants are actively engaging with the problem, with some providing guidance on the setup of equations and the interpretation of the constraint. There is an ongoing exploration of whether the constraint is binding and how that affects the application of Lagrange multipliers.

Contextual Notes

Some participants note that the constraint may not be binding and suggest that stationary points should be considered both inside the region and on the boundary defined by the constraint. There is also mention of the need to find critical points without assuming the constraint is always applicable.

mikeyrichster
Messages
9
Reaction score
0
Find all critical and stationary points of the function f(x,y)=x^3-y^2 subject to the inequality constraint c(x,y)=1-x^2-y^2 >=0

So far I've deduced that I need to use a lagrange multiplier L say, so i think i need to solve the equations :
3x^2=-2Lx
-2y^2=-2Ly

and

1-x^2-y^2 >=0

Is that correct? I'm finding it hard to solve as the 1st and second EQ only have one variable other than the multiplier..

any help would be appreciated!
 
Physics news on Phys.org
so you want to find the critical points of

[tex]f(x,y) = x^3 - y^2[/tex]

Subject to the following constraint

[tex]C(x,y) = 1 - x^2 - y^2 \geq 0[/tex]

Through Lagrange Multipliers?

First of all, you should remember from the definition of Lagrange Multipliers that

[tex]\bigtriangledown f(x,y) = \lambda \bigtriangledown C(x,y)[/tex]

And

[tex]C(x,y) = k[/tex]

Notice in this case that we have from the constraint

[tex]1 - x^2 - y^2 \geq 0[/tex]

[tex]x^2 + y^2 \leq 1[/tex]

And what does that equation resembles? That's right, a circle (not a circumference, a circumference would have been a curve, which would have happened if there were an equality sign instead of an inequality sign, as a circle is a group of several points limited by the central point and the circumference) of radius 1.

Then you'll have an easily solvable system

[tex]\frac{\partial f}{\partial x} = 3x^2 = \lambda\frac{\partial C}{\partial x} = 2x\lambda[/tex]

[tex]\frac{\partial f}{\partial y} = -2y = \lambda\frac{\partial C}{\partial y} = 2y\lambda[/tex]

[tex]0 \leq x^2 + y^2 \leq 1[/tex]
 
Last edited:
Hey thanks for your help that's brilliant!

So I have the solvable system of EQ's:

-2y = 2y[tex]\lambda[/tex]

and

[tex]3x^2[/tex]=2x[tex]\lambda[/tex]

Am I correct in saying now that x = -2/3 and y = +/-sqrt 13/9 ? sorry about my lack of LaTeX typesetting.

:)
 
Hello there little man, I'm sorry for the delay but I've been busy, I don't know if you still need this or if you have already solved, but anyway, I'll leave it here just in case.

mikeyrichster said:
Hey thanks for your help that's brilliant!

So I have the solvable system of EQ's:

-2y = 2y[tex]\lambda[/tex]

and

[tex]3x^2[/tex]=2x[tex]\lambda[/tex]

Yes, this is perfect.

mikeyrichster said:
Am I correct in saying now that x = -2/3 and y = +/-sqrt 13/9 ?

Hum, let's check it together, shall we?

We've seen that

[tex]-2y = 2y\lambda ,\ so\ \lambda = -1[/tex]

Look that [tex]y[/tex] is not defined yet, we just found [tex]\lambda[/tex], so we'll find [tex]y[/tex] by first finding [tex]x[/tex].

[tex]3x^2 = 2x\lambda,\ where\ \lambda = -1[/tex]

[tex]3x^2 = -2x[/tex]

[tex]3x^2 + 2x = 0[/tex]

[tex]x(3x + 2) = 0[/tex]

So we'll have two solutions for [tex]x[/tex]

[tex]x = 0\ and\ 3x = -2,\ x = \frac{-2}{3}[/tex]

Now we'll have to plug both values found for [tex]x[/tex] on the constraint equation in order to find [tex]y[/tex]

From the constraint (notice that we won't need anymore the inequality sign by now) we have

[tex]x^2 + y^2 = 1[/tex]

For [tex]x = 0[/tex],

[tex](0)^2 + y^2 = 1,\ therefore\ y = \pm 1[/tex]

For,

[tex]x = \frac{-2}{3}[/tex]

[tex](\frac{-2}{3})^2 + y^2 = 1[/tex]

[tex]\frac{4}{9} + y^2 = 1[/tex]

[tex]4 + 9y^2 = 9[/tex]

[tex]9y^2 = 5,\ then\ y = \pm \frac{\sqrt{5}}{3}[/tex]


Then the critical points are

[tex]P_1 = (0,1)\ and\ P_2 = (0, -1)\ and\ P_3 = (\frac{-2}{3},\frac{\sqrt{5}}{3})\ and\ P_4 = (\frac{-2}{3},\frac{-\sqrt{5}}{3})\ and\ P_5 = (0,0)[/tex]

Remember that [tex]P_5 = (0,0)[/tex] is a critical point inside the disk once it satisfies the definition for a critical point of [tex]f(x,y)[/tex] that is

[tex]\frac{\partial f}{\partial x} = 0[/tex]

[tex]\frac{\partial f}{\partial y} = 0[/tex]

Therefore,

[tex]\frac{\partial f}{\partial x} = 3x^2 = 0,\ then\ x = 0[/tex]

[tex]\frac{\partial f}{\partial y} = -2y = 0,\ then\ y = 0[/tex]

So, [tex]P_5 = (0,0)[/tex] is a critical point by definition.

mikeyrichster said:
sorry about my lack of LaTeX typesetting.

No problem at all, I understood it perfectly.

Just in case you're curious about learning [tex]LaTeX[/tex], there's this introductory topic on PF:

https://www.physicsforums.com/showthread.php?t=8997

It's pretty easy to learn, you can master the basics in matter of minutes, so check it out.

See you little man, and good luck with those studies.
 
Last edited:
Your contstraint is not binding. Therefore, straighforward application of Lagrange's multipliers is not applicable.

First, you need to find if [tex]f(x, y)[/tex] has any stationary points inside the region of interest. Then, you should also find if the function has critical points on the boundary of the region you are considering. Only in this step do you use Lagrange multipliers (because the boundary is defined by the equality sign in the constraint). Nevertheless, you might notice that the unconstrained problem is equal to the constrained with the value [itex]\lambda = 0[/itex] for the Lagrange's multiplier, just to avoid extra algebra.
 
Thanks for all your help, I've finally got my head around this... and cheers for the LaTeX heads up. I've spent ages looking for good LaTeX resources for beginners.

:)
 

Similar threads

  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 27 ·
Replies
27
Views
2K
Replies
4
Views
2K
  • · Replies 20 ·
Replies
20
Views
1K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 18 ·
Replies
18
Views
3K