Solving a system of equations/inequalities that have trigonometric functions on the left-hand side - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T11:53:39Z http://mathoverflow.net/feeds/question/86848 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/86848/solving-a-system-of-equations-inequalities-that-have-trigonometric-functions-on-t Solving a system of equations/inequalities that have trigonometric functions on the left-hand side SCL 2012-01-27T17:56:41Z 2012-01-27T23:45:54Z <p>Is there any known (symbolic) method that solves a system of equations/inequalities that have trigonometric functions on the left-hand side of the system? </p> <p>Ex) Find $x,y,\theta \in \mathbb{R}$ that satisfy</p> <p>\begin{align} 2x + y + 3\cos(\theta) - 2\sin(\theta) \le&amp; 0 \\ x - y + 4\cos(\theta) + 2\sin(\theta) \le&amp; 0 \end{align}</p> http://mathoverflow.net/questions/86848/solving-a-system-of-equations-inequalities-that-have-trigonometric-functions-on-t/86851#86851 Answer by SJR for Solving a system of equations/inequalities that have trigonometric functions on the left-hand side SJR 2012-01-27T18:47:22Z 2012-01-27T18:47:22Z <p>Using, e.g., the sin function, one can write a system of inequalities in a given variable $x$ that is satisfied if and only if $x$ is an integer. Therefore, an algorithm for solving inequalities of the kind you asked about would give an algorithm of finding all integer solutions to an arbitrary system of inequalities. This would contradict the negative solution to Hilbert's Tenth Problem. See <a href="http://en.wikipedia.org/wiki/Hilbert%27s_tenth_problem" rel="nofollow">http://en.wikipedia.org/wiki/Hilbert%27s_tenth_problem</a></p> http://mathoverflow.net/questions/86848/solving-a-system-of-equations-inequalities-that-have-trigonometric-functions-on-t/86869#86869 Answer by zeb for Solving a system of equations/inequalities that have trigonometric functions on the left-hand side zeb 2012-01-27T23:45:54Z 2012-01-27T23:45:54Z <p>Here's some good news to balance out the bad: If every variable that appears inside a $\sin$ or a $\cos$ is bounded, then there is something very close to a method for deciding such problems.</p> <p>A basic result is that the theory of the real numbers with addition, multiplication, and the function</p> <p>$S(x) = \cases{0, |x|>1\\ \sin(x), |x|\le 1}$</p> <p>is strongly model-complete. This was proved by Lou van den Dries, in a paper titled "On the Elementary Theory of Restricted Elementary Functions" (link: <a href="http://www.jstor.org/stable/2274572" rel="nofollow">http://www.jstor.org/stable/2274572</a>).</p> <p>There is also an actual algorithm due to Adam Strzebonski for deciding such problems, but its correctness depends on Schanuel's conjecture, which is currently open. (link: <a href="http://dl.acm.org/citation.cfm?id=1576749" rel="nofollow">http://dl.acm.org/citation.cfm?id=1576749</a>.)</p>