eq

シンボリック方程式の定義

構文

A == B

eq(A,B)

説明

A == B はシンボリック方程式を定義します。方程式を solve、assume、fcontour、および subs などの関数への入力として使用します。

eq(A,B) は、A == B と等価です。

例

方程式の定義と求解

次の三角関数方程式を解きます。== 演算子を使用して方程式を定義します。

syms x
eqn = sin(x) == cos(x);
xsol = solve(eqn,x)

xsol = 
$$\frac{\pi }{4}$$

シンボリック方程式のプロット

fimplicit を使用して方程式 $$\sin (x^2)=\sin (y^2)$$ をプロットします。== 演算子を使用して方程式を定義します。

syms x y
eqn = sin(x^2) == sin(y^2);
fimplicit(eqn)

シンボリック式の等価性のテスト

isAlways を使用して 2 つのシンボリック式の等価性をテストします。

syms x
eqn = x + 1 == x + 1;
tf = isAlways(eqn)

tf = logical
   1

eqn = sin(x)/cos(x) == tan(x);
tf = isAlways(eqn)

tf = logical
   1

シンボリック行列の等価性のテスト

isAlways を使用して 2 つのシンボリック行列の等価性をチェックします。

A = sym(hilb(3));
B = sym([1 1/2 5; 1/2 2 1/4; 1/3 1/8 1/5]);
tf = isAlways(A == B)

tf = 3×3 logical array

   1   1   0
   1   0   1
   1   0   1

行列とスカラーを比較します。== 演算子により、スカラー値は、入力行列と同じ次元の行列に拡張されます。

A = sym(hilb(3));
B = sym(1/2);
tf = isAlways(A == B)

tf = 3×3 logical array

   0   1   0
   1   0   0
   0   0   0

入力引数

A — 入力

数値 | ベクトル | 行列 | 配列 | シンボリック数 | シンボリック スカラー変数 | シンボリック行列変数 | シンボリック配列 | シンボリック関数 | シンボリック行列関数 | シンボリック式

入力。数値、ベクトル、行列、配列、シンボリック数、シンボリック スカラー変数、シンボリック行列変数、シンボリック配列、シンボリック関数、シンボリック行列関数、またはシンボリック式として指定します。

B — 入力

数値 | ベクトル | 行列 | 配列 | シンボリック数 | シンボリック スカラー変数 | シンボリック行列変数 | シンボリック配列 | シンボリック関数 | シンボリック行列関数 | シンボリック式

入力。数値、ベクトル、行列、配列、シンボリック数、シンボリック スカラー変数、シンボリック行列変数、シンボリック配列、シンボリック関数、シンボリック行列関数、またはシンボリック式として指定します。

ヒント

• シンボリック オブジェクトではない A および B において == または eq を呼び出すと、MATLAB^® 関数 eq が呼び出されます。この MATLAB eq 関数は、要素が logical 1 (true) に設定された logical 配列を返します。ここで、A と B は等価です。そうでない場合は、返される配列の要素が logical 0 (false) になります。

• A と B の両方が配列の場合は、これらの配列は同じ次元でなければなりません。A == B は、方程式の配列 A(i,j,...) == B(i,j,...) を返します。

バージョン履歴

R2012a で導入

R2026a: シンボリック関数の引数は方程式内で一致していなければならない

eq (==) 演算子を使用してシンボリック関数を含むシンボリック方程式を定義するときは、方程式の両辺のシンボリック関数で関数の引数が同じでなければなりません。たとえば、次のコードでは、シンボリック方程式の左辺が t を引数とするシンボリック関数であるのに対し、右辺に a と t を引数とするシンボリック関数が含まれているため、現在はエラーが返されます。

syms x(t) k(a,t)
eq = diff(x,t) == -k*t

Error using symfun/privResolveArgs (line 247)
Symbolic function input arguments must match.

Error in sym/privComparison (line 889)
            args = privResolveArgs(A, B);
                   ^^^^^^^^^^^^^^^^^^^^^
Error in  ==  (line 350)
            X = privComparison(A, B, '_equal', 'FALSE', 'FALSE');
                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

以前のリリースでは、同じコードで方程式 0 == 1 が返されていました。これは、常に無効であり、矛盾を表すものです。

syms x(t) k(a,t)
eq = diff(x,t) == -k*t

eq =
 
0 == 1

R2022a: シンボリック行列関数の方程式の定義

関数 eq は symfunmatrix 型の入力引数を受け入れます。

R2021a: シンボリック行列変数の方程式の定義

関数 eq は symmatrix 型の入力引数を受け入れます。

参考

ge | gt | isAlways | le | lt | ne | solve

トピック

• 方程式の求解
• シンボリック変数の仮定の使用