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
0
votes
0answers
12 views

Solving Inequalities: Run time too long

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

Inconsistent region plot?

If I do a region plot of the following inequality, ...
0
votes
0answers
32 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
40 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
67 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
50 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
24 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
24 views

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

I have a somewhat complicated inequality expression like this: ...
0
votes
2answers
43 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
32 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
44 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
70 views

Reduce not handling 0 == a properly

Consider ...
1
vote
0answers
41 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
143 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
41 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
75 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
46 views

Strange behaviour of RegionIntersection

Consider this list of inequalities ...
2
votes
2answers
304 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
301 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
386 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
44 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
62 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
122 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
104 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
161 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
62 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 ...
0
votes
0answers
74 views

An optimization problem

I have the following two quantities denoted by $LHS$ and $RHS$: ...
2
votes
1answer
63 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
52 views

Reducing system of 10 inequalities

I have the following system of inequalities of real variables ...
1
vote
2answers
435 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
129 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}) ...
0
votes
1answer
36 views

Inequality with assumptions

I would like to find 2D region formed by $(a,c) \in \mathbb{R}^2$ such that the inequality $f(a,c,x,y) \geq 0$ holds for all $x,y \in [0,1]$. If I solve this inequality with reduce of the form ...
2
votes
1answer
50 views

FindInstance for all real values satisfying a condition

I seek at least one instance of positive fractions $p,q,r$ where $p,q,r \in \mathbb{Q}^+$, for which $$\frac12 (a - 2 b + c)^2 \ge pa^2 + qb^2 + rc^2\quad \forall\ a,b,c \in \mathbb{R}.$$ I used this ...
1
vote
0answers
89 views

Solving a recurrence relation with variable coefficients

I am trying to solve this recurrence inequality for $ a_n $, hopefully in terms of $ a_0,a_1,c $ and $ x $, $$(1-x)a_{n+1} \le xa_n + (1+x)a_{n-1} + c\quad\forall\ n\ge1$$ What I tried: RSolve. But ...
2
votes
0answers
53 views

Simplify (or Reduce) a system of inequalities intelligently

I have the following system of inequalities of 4 real variables 3 (a + b) + 4 (d + c) > 0 && 2 (a - d) + 3 (b - c) > 0 The system can be written as ...
1
vote
0answers
62 views

Connectivity of semi-algebraic set

I am given the following semi-algebraic set: $$ \{ x= \begin{bmatrix} x_1,x_2,x_3,x_4,x_5 \end{bmatrix} ^T\in\mathbb{R}^5| -2 \leq (1 - x_2x_3)x_5 - 2x_4x_3x_1 \leq 1.5,\\ ~ -1 \leq x_1 \leq 30,...
1
vote
1answer
100 views

How to represent in a 3D graph the set of solutions to this system of inequalities?

I am studying this piecewise function: ...
1
vote
1answer
84 views

How to get solutions for this system of inequalities?

I am new to Mathematica and I am struggling finding the solution for the following problem. I am studying this piecewise function: ...
1
vote
0answers
81 views

Is it possible to solve following question about integer programming using mathematica?

Consider a $5$-uple $(r,a,b,c,s)$ with $a,b,c\in\mathbb{Z},s\in\mathbb{Q}_+,r\in\mathbb{Z}_+$, denote $\frac{1}{2}(a^2-b^2-c^2)-\frac{s}{r}$ by $\Delta(\mathbf{v})$. Let $A$ be a positive real number....
0
votes
0answers
41 views

How to find ranges of values where specific conditions are true?

I'm trying to get Mathematica to solve a particular inequality in terms of the variables (and constants) of interest to find where the inequality holds as true. Specifically, I have three functions of ...
3
votes
1answer
66 views

Determining the absence of Truth value of an inequality given assumptions

I have a set of assumptions, say, $x > 0$ and $y > 0$. So I specified the $Assumptions = x > 0 && y > 0 Now the inequality $x - y/2 > 0$ ...
0
votes
1answer
59 views

FindInstance with a symbolic constant

Please consider FindInstance[m >= 0 && x >= 0 && x <= m, {x}] for which, I would like a parametric answer ...
1
vote
1answer
83 views

Numerical Integration with Inequality Condition [closed]

I need to solve the following definite integral: $$\int_0^1 \mathrm{d}s \int_0^{2\pi} \mathrm{d}\phi \int_0^{2\pi} \mathrm{d}\phi' \int \mathrm{d}\theta\,'\sin{\theta\,'} \text{,}$$ such that $$\...
1
vote
0answers
34 views

Determine if nonlinear function can be positive subject to nonlinear constraints [closed]

I am trying to determine if a certain nonlinear function can be positive when the variables have to satisfy multiple nonlinear constraints. Currently my code looks like ...
1
vote
1answer
25 views

Finding smallest domain within which variables can satisfy inequality

Given an arbitrary number of variables $\epsilon_i$ that can be picked from a domain $[0, W]$ and some inequality relation between all the variables $G(\epsilon_1, \epsilon_2, ...)$, is there some way ...
1
vote
0answers
71 views

inequalitysolution [closed]

I have a function for which I would like to solve an inequality and find a range of r with respect to other quantities. I am not well familiar with Mathematica, ...
1
vote
1answer
66 views

How can I solve this inequality?

How can I find the answer to this inequality for Lambda? ...
2
votes
1answer
74 views

FindInstance within a range

I am trying to find particular solutions to my inequality for two positive integers $a$ and $b$: FindInstance[a<f[etc...]*b,{a,b},Integers] However I want $a$ ...
2
votes
1answer
133 views

Inequalities/extracting data from RegionPlot

I've searched everywhere for this but can't seem to find a simple way to do this. I have defined a function of two variables and am able to plot a 2D region in the domain space - the endpoints of the ...
1
vote
0answers
98 views

Plotting, NDSolve, initial conditions from range, inequalities [closed]

I will do my best to describe the simplest version of my problem as clearly as I can. Please bear with me: We have a,b and c which are functions of x and y, and their t-evolution is given by coupled ...