Questions tagged [inequalities]

Questions about handling with inequalities with, e.g., Reduce, Solve, FindInstance etc., their application in defining Regions, and ways to incorporate them into other computations, e.g. integration.

Filter by
Sorted by
Tagged with
1
vote
0answers
24 views

Sign of a determinant based on sign conditions

New user here. I want to sign a determinant, using known qualitative conditions on the components. any help appreciated. dummy example below. thanks. ...
1
vote
1answer
60 views

Finding a Numerical Solution to a Linear Combination Inequality [closed]

Can I use Mathematica to find a value for $\alpha$ that satisfies the below linear combination inequality? If so, how? $$ \begin{bmatrix} -1 \\ -1 \\ -1 \end{bmatrix} < \begin{bmatrix} g_1 \\ \...
5
votes
1answer
169 views

Summation with inequalities

How can I perform this function with Mathematica? Where N=5.
1
vote
0answers
64 views

problem with solving inequality $x+1/x>-1+1/x$. different answer in Mathematica and Wolfram Alpha

I tried to solve inequality $x+1/x>-1+1/x$ with Wolfram Alpha, and it gave me the answer $(-1,0)\cup(0,+\infty)$. This is correct. But when I try to solve it in Wolfram Mathematica 12.0 (with ...
1
vote
2answers
104 views

Solve inequalities and find parameters

Let $$S=4 (\alpha -2) \beta -58 (\alpha -2)^2-\beta ^2-8 c_6 \left(7 \alpha +2 c_6-13\right)$$ $$T=-\frac{\left((\alpha -4) (\alpha -2) (\alpha (3 \alpha +4 \beta -27)-18 \beta +60)+4 c_2 (\alpha +...
2
votes
1answer
74 views

Solving a coupled system of inequalities over integers

! tried to solve $ \frac{999999}{1000000}<a+\sqrt{2} b\land a+\sqrt{2} b<1$ over the integers through ...
3
votes
3answers
122 views

Is there a way to speed up the following calculation Table[If[TrueQ[],k,Nothing],{k,10^5,10^7}]

I've the following code: Table[If[TrueQ[2+3^k>2^k+(-1+2^k)*Floor[(3/2)^k]],k,Nothing],{k,10^5,10^7}] Is there a way to speed the calculation up in Mathematica ...
1
vote
1answer
49 views

Numerical results for Reduce on an inequality

I am trying to determine the regions parameters (a, b) must belong to for a function to be negative for any argument x greater than zero. I have tried using Resolve ...
3
votes
3answers
176 views

Solving inequality with logarithmic expression

I am trying to solve the following inequality 2 y(Log[1 + (y-1)x] - x Log[y]) - x(1 - x)(y - 1)^2 < 0 where ...
2
votes
0answers
44 views

Cannot simplify or reduce a region

I have a region specified by a rather short expression, and the same region by a longer one, and cannot seem to reduce the size of the longer one. A simple example is ...
0
votes
1answer
49 views

How can I solve this inequality for every $n$ in Mathematica?

I am trying to find the solution to the inequality $t^{-1/n}<1$ when $n$ is an integer and $t$ is positive, however when using Reduce[t^(-1/n) >= 1, t] it ...
0
votes
0answers
22 views

Inequalities in the context of stability analysis

I find for the study of the active control of a system with 2 dofs to study the stability conditions. For that purpose, i use the Routh criteria and look when all the coefficients of the first row ...
0
votes
0answers
46 views

Verifying simple inequality involving FactorialPower function

It is obviously true that FactorialPower[k, m] <= k^m when k and m are both positive ...
0
votes
2answers
81 views

Verifying that a functions attends values below something

After plotting the graph of $$f(x)=\frac{π}{3\sqrt{2 π}} (\frac{e^{\frac{-x^2}{18}}}{3} + \frac{e^{\frac{-(x - 5)^2}{2}}}{1} +\frac{e^{\frac{-(x - 15)^2}{8}}}{2} ) (1 + x^2)$$ I would like to ...
2
votes
1answer
55 views

Inequality plot like Wolfram Alpha

I'd like to reproduce in Mathematica the output of this Wolfram Alpha query. Of course I can just use WolframAlpha but I'd like to manipulate the graphics (add ...
0
votes
3answers
68 views

How would I plot the inequality lines together with the intersection plot of the inequalities?

For example, I've got the following code: Plot[{x >= 5, y >= 8, x + 2y <= 64, x + y <= 40}] This would plot: Now, this is fair enough. It shows me ...
0
votes
0answers
37 views

How to find the value in which an expression becomes greater than another

I have the following expressions: $\Delta \sigma_1=\frac{2 \gamma ^2 \left(\text{$\sigma $Y} \log \left(\frac{\gamma }{\alpha }\right)+\text{pe}\right)}{\left(\gamma ^2-1\right) \rho ^2}$ $\Delta \...
1
vote
0answers
45 views

FindInstance Returns “Aborted” [closed]

Edit: Apologies, the question needs to be reworked, because I cannot reproduce the original problem using this code. I don't delete the question, in case someone is preparing an answer at the moment. ...
0
votes
2answers
127 views

How to plot all the points which satisfy equation/inequality in two variables?

I am new to Mathematica and I have two questions that I really appreciate if you can help me to solve them. 1) I want to plot all the points (x, y) which satisfy the following equation: ...
0
votes
2answers
71 views

RegionPlot avoiding some complex terms

I have a system of inequalities given as follows: ...
0
votes
0answers
41 views

Solving Inequalities: Run time too long

I am trying to solve the following system for d: ...
0
votes
1answer
33 views

Inconsistent region plot?

If I do a region plot of the following inequality, ...
0
votes
0answers
34 views

Translate Mathematica Output to Latex type font [duplicate]

In solving the inequality $2d^2\ge -(2(1+d)+\frac{4d^3}{1-d})(d-1)$, Mathematica returns something using Slots and Functions: ...
1
vote
1answer
58 views

Reduce all pairwise comparisons in a list

I have a list of 37 values, like $2d^2$ and $2d(1-d^2)$. I know I can use Reduce[] to solve an inequality of the values. For example, ...
0
votes
0answers
75 views

How to make ternary Plot 3D in a different situation?

Owing to xzczd, I could make ternary plot with the following code: ...
0
votes
0answers
52 views

Solve multivariable inequlity and read the output correctly

Hi I need to solve an inequality for multiple variables, and I do not understand in a good manner the results. The inequality that I tray to obtain is $$ a+b+(2*c)+\sqrt{(-2\,c-b-a)^2-4\,(2\,c\,b+b\,...
0
votes
1answer
45 views

Inequality in RegionPlot with LogLinear scale

I want to plot a RegionPlot in LogLinear scale. If I try with a simple linear scale, ...
1
vote
1answer
25 views

Trying to apply Jensen's inequality to a complicated symbolic expression

I have a somewhat complicated inequality expression like this: ...
0
votes
2answers
48 views

How to manipulate sequences of inequalities?

I am trying to write some symbolic inequality proofs in Mathematica. What would be a clean way to make the inference that a >= b and ...
0
votes
1answer
36 views

Testing which expression is greater

I have two expressions: expr1 = e^2/(8 + 4*e + e^2) and expr2 = (d^2 - 2*d*e + e^2)/(8 + d^2 - 2*d*2 - 2*d*e + 4*e + e^2) ...
0
votes
0answers
70 views

Verifying an inequality

I want to verify an inequality in mathematica but I don't know where I'm mistaken. Please help me out, thanks in advance. $\psi(t):\to[0,\infty)$ and $\phi(t):\to[0,\infty)$ where; $\psi(t)=3/2*t^2$...
2
votes
1answer
72 views

Reduce not handling 0 == a properly

Consider ...
1
vote
0answers
51 views

Export system of inequalities in MPS format

I am interested in the .MPS format, usually used in Linear Programming problems (see here). When importing a file in the .MPS ...
5
votes
2answers
179 views

RegionIntersection not returning what I expected

Consider the following implicit region defined on one variable reg = {x > 0 && x < 0} If I Reduce this system, ...
4
votes
0answers
44 views

Wrong output of RegionPlot

I think Mathematica goes wrong if asked to plot this very simple region: Region2 = ImplicitRegion[x < -1 && y < -1/x, {{x, -3, 0}, {y, 0, 1}}] by ...
2
votes
2answers
99 views

Region plot in the $xy$-plane of $f(x,y,z) < 0$

I want to plot the region in the $xy$-plane which satisfies $f(x,y,z) < 0$, where $z$ can take values in the range [-1, 1]. How do I do this in Mathematica?
0
votes
1answer
48 views

Strange behaviour of RegionIntersection

Consider this list of inequalities ...
2
votes
2answers
328 views

=== not working properly [closed]

I've been trying to check the identity using wolfram Mathematica and I've found the following ...
6
votes
3answers
313 views

Calculating the width of the interval defined by an inequality

I am looking for a Mathematica function that takes an inequality as the input and gives back the width defined by upper bound - lower bound: Example: ...
1
vote
3answers
416 views

Can Mathematica prove inequalities involving complex numbers?

I am given two complex numbers $z$ and $w$ that satisfy the following constraint $$ |z - \overline{z}w| + |w|^2 < 1. $$ I want to see if the following inequality is true $$ z^2 \overline{w} + \...
0
votes
2answers
46 views

Get the set of points from constant function

I have a function f defined by points: finput = {{0, 1/5}, {1/5, 1/5}, {1/2, 1}, {1, 0}}; ListLinePlot[finput, PlotRange -> {{0, 1}, {0, 1}}] Then I create a ...
1
vote
1answer
66 views

How to judge whether a relation is true or false

$x$ is a real number, how to judge $x+1>x$ is true using Wolfram.
3
votes
2answers
159 views

Remove legend if a plot in an array of plots is empty

In an array of plots of regions (inequalities) p[..] which are eventually combined using Show, how do I suppress the legend of ...
1
vote
1answer
138 views

How to simplify $ a^n > -1$ ($\forall$ Integer $n >0$) to $ a > -1 $?

Assume $ a $ is real, and $ a^n > -1 $ for all positive integers $n$. It follows that $ a > -1 $. How can I do this simplification? More generally, I would like to find restrictions on $a$ ...
2
votes
4answers
173 views

How to generate repetitive graphs?

I need to create several graph for different values of a parameter $h$. The code is the following ...
0
votes
1answer
81 views

Trying to obtain a numeric solution to an inequality. Code might be not working as intended

I need to check whether an inequality can have solutions in the real numbers, given some extra constraints on the variables. I suspect that no solutions exist but I would like some verification of ...
2
votes
1answer
72 views

Why is Reduce in Mathematica giving solution in other symbols that don't exist in original equation [closed]

Here is an example: Reduce[P/Q < (P - X)/(Q - X) && X > 0 && P > 0 && Q > 0 && P > Q, {X}, Integers] The solution ...
1
vote
1answer
62 views

Reducing system of 10 inequalities

I have the following system of inequalities of real variables ...
1
vote
2answers
494 views

How to prove that $(1 - x)^y \leq 1$, When $1 > x > 0 \wedge y \geq 1$?

The statement in the question is obviously true. But when I tried FullSimplify[(1 - x)^y <= 1, 1 > x > 0 && y >= 1] I got ...
3
votes
1answer
142 views

Generate convex-hull of a 15 dimensional space

This question follows my last post. I have a function $ \vec{f}: S^6 \times S^6 \rightarrow \mathbb{R}^{13} $ defined on two 6-dim hyperspheres. We will denote the function $ \vec{f}(\vec{x},\vec{y}) ...

1
2 3 4 5