Nonlinear programming problem, mathematical programming

Click For Summary
SUMMARY

The discussion revolves around a nonlinear programming problem where the objective is to minimize the function -f(x) over the interval [a, b], with f(x) being a concave and twice differentiable function. It is established that if the optimal solution occurs at the left endpoint (x* = a), then the derivative at that point must be negative (∇f(a) < 0). Conversely, if the optimal solution is at the right endpoint (x* = b), the derivative must be positive (∇f(b) > 0). The participants clarify the definitions of the function and its derivative, leading to a simplified proof approach based on the properties of concave functions.

PREREQUISITES
  • Understanding of nonlinear programming concepts
  • Knowledge of concave functions and their properties
  • Familiarity with calculus, specifically derivatives and critical points
  • Basic understanding of Fermat's Theorem in optimization
NEXT STEPS
  • Study the properties of concave functions in optimization contexts
  • Learn about Fermat's Theorem and its applications in finding extrema
  • Explore the implications of second derivatives in determining function behavior
  • Investigate more complex nonlinear programming problems and their solutions
USEFUL FOR

Mathematicians, optimization specialists, and students studying nonlinear programming or calculus who seek to deepen their understanding of concave functions and their optimization properties.

malamenm
Messages
3
Reaction score
0
Hello,

I need to

minimize {- f (x) | a <=x <= b}
where f ( x) is a concave and twice differentiable function. In addition, a and b are
positive constants such that a <b. Assume that -f (x) exists in the given interval [a, b] .
Show that

if the optimal solution is at x*= a , then delta f (a) < 0 must hold and
if the optimal solution is at x*= b * , then delta f (b) > 0 must hold.

Any help is much appreciated
 
Physics news on Phys.org
I have a number of questions here:

1. Does $f:\mathbb{R} \to \mathbb{R}$? That is, is $f$ a function from the reals to the reals?

2. What do you mean by $\delta f$? Do you mean the derivative $df/dx$?

It sounds to me like your question is asking you to prove that if the minimum is at the left-hand endpoint, then the derivative must be positive, and if the minimum is at the right-hand endpoint, then the derivative must be negative. Is this what you're asked to do?
 
Hi, you I mean the derivative df/dx, I am assuming that it is a real to real transformation but the only information provided is that it is a nonlinear programming problem.

You are completely right, I am trying to prove that if the minimum is at the left-hand endpoint, then the derivative must be positive, and if the minimum is at the right-hand endpoint, then the derivative must be negative but don't really know if my methodolgy is right, here is what i have so far:
The problem can be re-formulated:

𝑚𝑖𝑛𝑖𝑚𝑧𝑒 −𝑓(𝑥) 𝑎 ≤𝑥 ≤𝑏 ≡ 𝑚𝑎𝑥𝑖𝑚𝑖𝑧𝑒 𝑓(𝑥) 𝑎 ≤𝑥 ≤𝑏

f(x) is concave and twice differentiable implies it is also continuous along [a,b].
Proof by contradiction. If the (unique) optimal solution is at 𝑥∗ = 𝑎 then 𝑓 𝑥∗ > 𝑓 𝑥 ∀ 𝑥 ∈ (𝑎, 𝑏].
Now instead assume ∇𝑓 𝑎  ≥ 0. This means ∃𝜕 > 0 such that, within some neighbourhood of a, 𝑎 + 𝜕 ≥ 𝑓 𝑎 = 𝑓(𝑥∗) (as f is continuous along [a,b]. But this directly contradicts 𝑓 𝑥∗ >
𝑓 𝑥 ∀𝑥∈(𝑎,𝑏].Therefore,∇𝑓 𝑎 <0musthold.
Similarly, if the (unique) optimal solution is at 𝑥∗ = 𝑏 then 𝑓 𝑥∗ > 𝑓 𝑥 ∀ 𝑥 ∈ [𝑎, 𝑏).
Now instead assume ∇𝑓(𝑏) ≤ 0. This means ∃𝜕 > 0 such that, within some neighbourhood of b, 𝑓 𝑏 − 𝜕 ≥ 𝑓 𝑏 = 𝑓(𝑥∗) (as f is continuous along [a,b]. But this directly contradicts 𝑓 𝑥∗ >
𝑓 𝑥 ∀𝑥∈(𝑎,𝑏].Therefore,∇𝑓 𝑏 >0 musthold.
Could you please advise if that is close to the actual proof and if it makes sense,

Thank you
 
You might be making this more complicated than it needs to be. Take the first case. You know that $-f(x)$ is convex; since $f$ is twice-differentiable, that is equivalent to $-f''(x)>0$ everywhere. Then, if a point inside the interval was the minimum, it would have to be a critical point, by Fermat's Theorem, and hence $-f'(x)=0$ there. Since the minimum occurs at the left-hand endpoint instead, you've just shown that $-f'(x)\not=0$ on the interval. That is, the derivative can't change sign on the interval. So, either the derivative starts out negative and is always increasing (convex function), or the derivative starts out positive and is always increasing. The former would imply that the minimum was the RH endpoint. The latter gives you the result you want.

This argument is not very rigorous, but I think it's getting at what needs to happen. The other case is exactly analogous.
 
Oh wow thank you, that is much simpler and straight foreword than the approach i tried:)

kind regards
 
Last edited by a moderator:

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 22 ·
Replies
22
Views
3K
  • · Replies 46 ·
2
Replies
46
Views
5K