Find Relative Extrema of f|s: Explained with Lagrange Multipliers

Click For Summary

Discussion Overview

The discussion centers on understanding the notation f|S in the context of finding relative extrema of a function constrained by a set S, specifically using Lagrange multipliers. Participants explore the implications of this notation and its application in calculus problems involving functions from R^n to R.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Homework-related

Main Points Raised

  • Some participants express confusion about the notation f|S, with one suggesting it means f restricted to points in S.
  • Another participant points out that the function f is defined from R^n to R, and questions the description of the domain as a triple (x, y, z) instead of an n-tuple.
  • One participant provides an example from their book, asking how to approach the problem using Lagrange multipliers and questioning the effect of the inequality in the constraint.
  • Another participant suggests that extrema would occur where all three partial derivatives are zero, as well as potentially on the boundary of S, while also correcting a misunderstanding about subtracting a set from a function.
  • A later reply clarifies that f|S is indeed a function constrained to the set S, emphasizing that the discussion involves points lying on or inside the defined paraboloid.

Areas of Agreement / Disagreement

Participants generally agree that f|S refers to a function constrained by the set S, but there is some disagreement regarding the interpretation of the notation and the correct approach to solving the problem. The discussion remains unresolved regarding the specific methods to apply in these types of problems.

Contextual Notes

There are limitations in the clarity of the notation and the assumptions about the function's domain. Participants express uncertainty about the implications of the inequality in the constraint and how it affects the problem-solving approach.

RaulTheUCSCSlug
Gold Member
Messages
179
Reaction score
28
I am in Calculus 3, and I do not under stand what it means when they ask to find the relative extrema of f|S?

The problem is usually something like f:R^n=>R, (x,y,z) |=> (some function) , S= {(x,y) | x e R}

What does f|s mean? How does this relate to Lagrange multipliers? The book does not have an example of this notation and I can not seem to find any videos using this notation.
 
Physics news on Phys.org
RaulTheUCSCSlug said:
I am in Calculus 3, and I do not under stand what it means when they ask to find the relative extrema of f|S?

The problem is usually something like f:R^n=>R, (x,y,z) |=> (some function) , S= {(x,y) | x e R}

What does f|s mean? How does this relate to Lagrange multipliers? The book does not have an example of this notation and I can not seem to find any videos using this notation.
I haven't seen that notation, but my guess is that f|S means f restricted to points in S.

BTW, what you wrote doesn't make much sense. If f is a map from Rn to R, the domain for f would be an n-tuple, not a triple like (x, y, z). Also, in your description for set S, what you wrote says that S is a set of ordered pairs (x, y), with x a real number, but nothing is stated about y.
 
That is why I am so confused about. I thought it was f restricted to points in S but have never heard of such notation. Would it help if I gave you an example of one of the problems from the book.
 
RaulTheUCSCSlug said:
That is why I am so confused about. I thought it was f restricted to points in S but have never heard of such notation. Would it help if I gave you an example of one of the problems from the book.
Yes, that would be helpful.
 
As it is written in the book:

"Find the relative extrema of f|S

ƒ: R2→R, (x,y,z) |→ x2+y2+z2, S= {(x,y,z) | z≥2+x2+y2

"
Would I solve this problem like a lagrange multiplier? As in I subtract S from ƒ and find the zeroes, then plug back into the original equation or what would be the approach? How does the greater or equal to sign effect the problem? I know it will restrict it, but wouldn't it be better to have it as greater or equal to 0 and subtract the z to the other side so that I may solve for all variables?

I am confused on the notation and approach that they want me to take, since there are several problems like this in the exercises of the book, but no examples.
 
RaulTheUCSCSlug said:
As it is written in the book:

"Find the relative extrema of f|S

ƒ: R2→R, (x,y,z) |→ x2+y2+z2, S= {(x,y,z) | z≥2+x2+y2

"
Would I solve this problem like a lagrange multiplier? As in I subtract S from ƒ and find the zeroes, then plug back into the original equation or what would be the approach? How does the greater or equal to sign effect the problem? I know it will restrict it, but wouldn't it be better to have it as greater or equal to 0 and subtract the z to the other side so that I may solve for all variables?

I am confused on the notation and approach that they want me to take, since there are several problems like this in the exercises of the book, but no examples.
I would probably take a different approach, mostly because it's been a long time since I did anything with the Lagrange multipliers approach. Based on what you wrote, I'm pretty sure they mean for you to find the extreme for f restricted to set S.

Geometrically, S is a paraboloid that opens upward, with its low point at (0, 0, 2), plus all of the points inside the paraboloid. Any extrema would have to occur where all three partials are zero, as well as potentially on the boundary of S.

As in I subtract S from ƒ and find the zeroes
This doesn't make much sense. You can't subtract a set from a function.

You also have a typo in this:
ƒ: R2→R, (x,y,z) |→ x2+y2+z2, S= {(x,y,z) | z≥2+x2+y2
f is a map from R3 to R, so the first part of what you wrote should be ƒ: R3→R. The domain for f is a subset of R3, namely the paraboloid I mentioned.
 
  • Like
Likes   Reactions: RaulTheUCSCSlug
Right, must have written it down wrong. I went to my TA session today and was able to clear up the rest of the confusion I had. But apparently f|S is a function constrained by the parameters in S. Thank you for helping!
 
RaulTheUCSCSlug said:
But apparently f|S is a function constrained by the parameters in S. Thank you for helping!
It is f restricted to (or constrained to) the set S, not "the parameters in S" which doesn't make any sense.

IOW, we're considering only those points in R3 that happen to lie on or inside the paraboloid.
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
Replies
7
Views
2K
Replies
2
Views
2K
Replies
9
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K