How to prove the positivity if this function?
조회 수: 3 (최근 30일)
이전 댓글 표시
Hi,
I need to prove the positivity of the y:
y = x1 - x2 + sin(x1)
such that:
pi>x1>0, x1>x2, x1,x2 real
The Matlab code is:
x = sym('x', [1 2], 'real');
assume(pi>x(1)>0 & x(1)>x(2));
y = x(1) - x(2) + sin(x(1));
We all know that the sum of "x(1)-x(2)" and "sin(x(1))" ,according to the boundary, is always definite positive.
Checking it in Matlab:
isAlways(y>=0)
I get:
Warning: Unable to prove '0 < x1 - x2 + sin(x1)'.
> In symengine
In sym/isAlways (line 42)
How can I prove the positivity of y?
The whole function is more bigger then y, so I can't simply say "y looks positive", I need to check it using Matlab.
Any kind of help is really appreciated!
댓글 수: 0
채택된 답변
David Goodmanson
2021년 10월 23일
Hi Andrea,
What might constitute a proof using Matlab is a good question. If the answer to isAlways(y>=0) had come out as 1, would that be a proof? I guess maybe it would if the focus is on learning how to use symbolic variables, but it provides zero insight into the inequality itself. It's just the output from a black box. However, rearranging y > 0 gives
sin(x1) > x2 - x1
By the conditions of the problem, the left hand side is positive due to the angle restrictions and the right hand side is negative. So the inequality is correct.
댓글 수: 2
David Goodmanson
2021년 10월 28일
Hi Andrea,
checking the inequality with a set of values is of course not a mathematical proof, but with enough sets of values it might be considered a 'proof for all practical purposes'.
추가 답변 (0개)
참고 항목
카테고리
Help Center 및 File Exchange에서 Assumptions에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!