Review Derivation: Physics Derivation Graph

Return to navigation page or list derivations

Review coefficient of isothermal compressibility using the equation of state for an ideal gas

abstract:
reference: https://hj.hi.is/EE2/HD1lausn.pdf

step	inference rule	input	feed	output	step validity (as per SymPy)
1	0000111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\ref{eq:#1} is an initial equation.			9781951738 $\kappa_T = \frac{-1}{V} \left( \frac{ \partial V}{\partial P} \right)_T$	no validation is available for declarations
2	0000111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\ref{eq:#1} is an initial equation.			8435841627 $P V = n R T$	no validation is available for declarations
3	0000111975: divide both sides by number of inputs: 1; feeds: 1; outputs: 1 Divide both sides of Eq.~\ref{eq:#2} by $#1$; yields Eq.~\ref{eq:#3}.	8435841627 $P V = n R T$	6296166842 $P$	3497828859 $V = \frac{n R T}{P}$	valid
4	0000111556: substitute LHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute LHS of Eq.~\ref{eq:#1} into Eq.~\ref{eq:#2}; yields Eq.~\ref{eq:#3}.	9781951738 $\kappa_T = \frac{-1}{V} \left( \frac{ \partial V}{\partial P} \right)_T$ 3497828859 $V = \frac{n R T}{P}$		8368984890 $\kappa_T = \frac{-1}{V} \left( \frac{ \partial }{\partial P}\left(\frac{nRT}{P}\right) \right)_T$	LHS diff is -pdg0004645 + pdg0007586 RHS diff is pdg0002834pdg0007343pdg0008179/pdg0008134 - pdg0002834pdg0007343pdg0008179/(pdg0007586pdg0008134*2)
5	0000111457: simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\ref{eq:#1}; yields Eq.~\ref{eq:#2}.	8368984890 $\kappa_T = \frac{-1}{V} \left( \frac{ \partial }{\partial P}\left(\frac{nRT}{P}\right) \right)_T$		1190768176 $\kappa_T = \frac{-nRT}{V} \left( \frac{ \partial }{\partial P}\left(\frac{1}{P}\right) \right)_T$	valid
6	0000111457: simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\ref{eq:#1}; yields Eq.~\ref{eq:#2}.	1190768176 $\kappa_T = \frac{-nRT}{V} \left( \frac{ \partial }{\partial P}\left(\frac{1}{P}\right) \right)_T$		3605073197 $\kappa_T = \frac{-nRT}{V} \left( \frac{-1}{P^2}\right)$	valid
7	0000111556: substitute LHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute LHS of Eq.~\ref{eq:#1} into Eq.~\ref{eq:#2}; yields Eq.~\ref{eq:#3}.	3605073197 $\kappa_T = \frac{-nRT}{V} \left( \frac{-1}{P^2}\right)$ 8435841627 $P V = n R T$		9847143017 $\kappa_T = \frac{-PV}{V} \left( \frac{-1}{P^2}\right)$	LHS diff is -pdg0004645 + pdg0007586pdg0008134 RHS diff is pdg0002834pdg0007343*pdg0008179 - 1/pdg0008134
8	0000111457: simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\ref{eq:#1}; yields Eq.~\ref{eq:#2}.	9847143017 $\kappa_T = \frac{-PV}{V} \left( \frac{-1}{P^2}\right)$		9718685793 $\kappa_T = \frac{1}{P}$	valid
9	0000111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\ref{eq:#1} is one of the final equations.	9718685793 $\kappa_T = \frac{1}{P}$			no validation is available for declarations

Symbols used in coefficient of isothermal compressibility using the equation of state for an ideal gas

0000004645: $ \kappa_T $
0000002834: $ n $
0000008134: $ P $
0000008179: $ R $
0000007343: $ T $
0000007586: $ V $

d3js visualization of steps and expressions in coefficient of isothermal compressibility using the equation of state for an ideal gas

Hold the mouse over a node to highlight that node and its neighbors. You can zoom in/out. You can pan the image. You can move nodes by clicking and dragging.

Actions: Edit Derivation

You must be logged in to edit the steps of derivation, edit the abstract, or rename the derivation.

Generate Tex file or PDF file

Delete Derivation and all associated steps

You must be logged in to delete the derivation.

timing of Neo4j queries:

0.004 seconds for pdg_app/to_review_derivation d3695c99-9c2e-4ea0-853d-59b2f9738481
0.004 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivationd727e201-d87a-4ed0-b332-9545bb8f2346
0.002 seconds for compute/input_feed_output_infrule_for_step: get_inference_rule_connected_to_step_IDd727e201-d87a-4ed0-b332-9545bb8f2346
0.002 seconds for compute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type HAS_INPUTd727e201-d87a-4ed0-b332-9545bb8f2346
0.002 seconds for compute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type, HAS_FEEDd727e201-d87a-4ed0-b332-9545bb8f2346
0.002 seconds for compute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type, HAS_OUTPUTd727e201-d87a-4ed0-b332-9545bb8f2346
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_sequence_index_for_stepd727e201-d87a-4ed0-b332-9545bb8f2346
0.003 seconds for pdg_app/ d3695c99-9c2e-4ea0-853d-59b2f9738481

step	inference rule	input	feed	output	step validity (as per SymPy)
1	0000111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\ref{eq:#1} is an initial equation.			9781951738 \(\kappa_T = \frac{-1}{V} \left( \frac{ \partial V}{\partial P} \right)_T\)	no validation is available for declarations
2	0000111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\ref{eq:#1} is an initial equation.			8435841627 \(P V = n R T\)	no validation is available for declarations
3	0000111975: divide both sides by number of inputs: 1; feeds: 1; outputs: 1 Divide both sides of Eq.~\ref{eq:#2} by $#1$; yields Eq.~\ref{eq:#3}.	8435841627 \(P V = n R T\)	6296166842 \(P\)	3497828859 \(V = \frac{n R T}{P}\)	valid
4	0000111556: substitute LHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute LHS of Eq.~\ref{eq:#1} into Eq.~\ref{eq:#2}; yields Eq.~\ref{eq:#3}.	9781951738 \(\kappa_T = \frac{-1}{V} \left( \frac{ \partial V}{\partial P} \right)_T\) 3497828859 \(V = \frac{n R T}{P}\)		8368984890 \(\kappa_T = \frac{-1}{V} \left( \frac{ \partial }{\partial P}\left(\frac{nRT}{P}\right) \right)_T\)	LHS diff is -pdg0004645 + pdg0007586 RHS diff is pdg0002834pdg0007343pdg0008179/pdg0008134 - pdg0002834pdg0007343pdg0008179/(pdg0007586pdg0008134*2)
5	0000111457: simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\ref{eq:#1}; yields Eq.~\ref{eq:#2}.	8368984890 \(\kappa_T = \frac{-1}{V} \left( \frac{ \partial }{\partial P}\left(\frac{nRT}{P}\right) \right)_T\)		1190768176 \(\kappa_T = \frac{-nRT}{V} \left( \frac{ \partial }{\partial P}\left(\frac{1}{P}\right) \right)_T\)	valid
6	0000111457: simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\ref{eq:#1}; yields Eq.~\ref{eq:#2}.	1190768176 \(\kappa_T = \frac{-nRT}{V} \left( \frac{ \partial }{\partial P}\left(\frac{1}{P}\right) \right)_T\)		3605073197 \(\kappa_T = \frac{-nRT}{V} \left( \frac{-1}{P^2}\right)\)	valid
7	0000111556: substitute LHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute LHS of Eq.~\ref{eq:#1} into Eq.~\ref{eq:#2}; yields Eq.~\ref{eq:#3}.	3605073197 \(\kappa_T = \frac{-nRT}{V} \left( \frac{-1}{P^2}\right)\) 8435841627 \(P V = n R T\)		9847143017 \(\kappa_T = \frac{-PV}{V} \left( \frac{-1}{P^2}\right)\)	LHS diff is -pdg0004645 + pdg0007586pdg0008134 RHS diff is pdg0002834pdg0007343*pdg0008179 - 1/pdg0008134
8	0000111457: simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\ref{eq:#1}; yields Eq.~\ref{eq:#2}.	9847143017 \(\kappa_T = \frac{-PV}{V} \left( \frac{-1}{P^2}\right)\)		9718685793 \(\kappa_T = \frac{1}{P}\)	valid
9	0000111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\ref{eq:#1} is one of the final equations.	9718685793 \(\kappa_T = \frac{1}{P}\)			no validation is available for declarations