Function Repository Resource:

AllDependentVariables (1.2.1) current version: 1.2.2 »

Source Notebook

Retrieve a list of all dependent variables for a given expression

Contributed by: E. Chan-López, Jaime Manuel Cabrera & Jorge Mauricio Paulin Fuentes

ResourceFunction["AllDependentVariables"][expr,ivar]

gives all variables dependent on ivar within a given expr.

Details and Options

ResourceFunction["AllDependentVariables"] threads over lists in the first argument.

Similar to Variables, ResourceFunction["AllDependentVariables"] also has the Modulus option.

Examples

Basic Examples (1)

Use AllDependentVariables to get the expression that matches to be a mathematical solution:

In[1]:=

Out[1]=

Scope (8)

Use AllDependentVariables to get the expressions that match dependent variable:

In[2]:=

Out[2]=

Use AllDependentVariables with a list of complicated expressions:

In[3]:=

$ResourceFunction["AllDependentVariables", ResourceVersion->"1.2.1"][{Exp[x[t, s]] + 2 w[t, s], 1/2 m2 (x2'[t, s]^2 + y2'[t, s]^2 + z2'[t, s]^2)}, {t, s}]$

Out[3]=

Use AllDependentVariables with an inhomogeneous first-order ordinary differential equation:

In[4]:=

Out[4]=

Use AllDependentVariables with a differential equation with a piecewise coefficient:

In[5]:=

Out[5]=

Use AllDependentVariables with a system of delay differential equations:

In[6]:=

$ResourceFunction["AllDependentVariables", ResourceVersion->"1.2.1"][{x'[t] == a y[t - 1] + y[t - 3], y'[t] == x[t - 1], x[t /; t <= 0] == t, y[t /; t <= 0] == t^2}, t]$

Out[6]=

Use AllDependentVariables with a Caputo fractional differential equation of order 1/2:

In[7]:=

Out[7]=

Use AllDependentVariables with a linear first-order partial differential equation:

In[8]:=

Out[8]=

Use AllDependentVariables with a singular Abel integral equation:

In[9]:=

$ResourceFunction["AllDependentVariables"][Sin[a x] == \!$ \*SubsuperscriptBox[\(\[Integral]$, $0$, $x$]$ \*FractionBox[\(y[t]$, SqrtBox[$x - t$]] \[DifferentialD]t\)\), t]$

Out[9]=

Options (2)

Modulus (2)

Find dependent variables present after reducing coefficients modulo 2:

In[10]:=

Out[10]=

For polynomials, AllDependentVariables and Variables gives the same results:

In[11]:=

Out[11]=

Applications (3)

Use AllDependentVariables to define a simple function to compute the equations of motion for a given Hamiltonian:

In[12]:=

$HamiltonianEqns[H_, time_Symbol] := Module[{sols, classcoordsprev, classcoords, momentaeqns, velseqns}, sols = ResourceFunction["AllDependentVariables"][H, time]; classcoordsprev = GatherBy[sols, FreeQ[Characters[ToString[Head[#]]], "p"] &]; classcoords = Which[Length[classcoordsprev] == 1, Join @@ List[classcoordsprev, Transpose[ Map[ToExpression@*StringJoin, Map[DeleteCases[#, "p"] &@*Characters@*ToString, Transpose@classcoordsprev]]]], Length[classcoordsprev] == 2 && Length[classcoordsprev[[1]]] === Length[classcoordsprev[[2]]], classcoordsprev, Length[classcoordsprev] == 2 && Length[classcoordsprev[[1]]] =!= Length[classcoordsprev[[2]]], Join @@ List[{classcoordsprev[[1]]}, {Transpose[ Map[ToExpression@*StringJoin, Map[DeleteCases[#, "p"] &@*Characters@*ToString, Transpose@classcoordsprev[[1]]]]]}]]; momentaeqns = Thread[D[classcoords[[1]], time] == Simplify[Map[-D[H, #] &, classcoords[[2]]]]]; velseqns = Thread[D[classcoords[[2]], time] == Simplify[Map[D[H, #] &, classcoords[[1]]]]]; Flatten[Transpose[List[velseqns, momentaeqns]]]]$

Use HamiltonianEqns with the Hamiltonian for the spherical pendulum:

In[13]:=

$H1 = -(1/2) g l^3 m^2 Cos[\[Theta][t]] + p\[Theta][t]^2/(2 l^2 m) + ( Csc[\[Theta][t]]^2 p\[Phi][t]^2)/(2 l^2 m);$

In[14]:=

Out[14]=

Use HamiltonianEqns with the Hamiltonian for the PUMA-Like Robot:

In[15]:=

$H2 = g (m2 z2 + m3 z3) + px2[t]^2/(2 m2) + px3[t]^2/(2 m3) + py2[t]^2/(2 m2) + py3[t]^2/(2 m3) + pz2[t]^2/(2 m2) + pz3[t]^2/( 2 m3) + p\[Theta]2[t]^2/(2 A2) + p\[Theta]3[t]^2/(2 A3) + p\[Psi]1[ t]^2/(2 (C1 + C2 Cos[\[Theta]2[t]]^2 + C3 Cos[\[Theta]3[t]]^2 + B2 Sin[\[Theta]2[t]]^2 + B3 Sin[\[Theta]3[t]]^2));$