How to prove differential property of homogeneous function

Click For Summary
SUMMARY

The discussion centers on proving the equality involving rational algebraic homogeneous functions of degree n, specifically the relationship between the differential operator function f_n and the non-differential function g_n. The equality states that applying the differential operator f_n to g_n yields the same result as applying g_n to the differential operator f_n, as referenced in Hobson's "The Theory of Spherical and Ellipsoidal Harmonics" (1931). The analysis focuses on monomials and the linearity of differentiation, emphasizing that only specific terms survive the differentiation process.

PREREQUISITES
  • Understanding of rational algebraic homogeneous functions
  • Familiarity with differential operators
  • Knowledge of monomial differentiation
  • Basic principles of linearity in calculus
NEXT STEPS
  • Study the properties of rational algebraic homogeneous functions
  • Explore the application of differential operators in mathematical analysis
  • Investigate the product rule in the context of partial derivatives
  • Review Hobson's "The Theory of Spherical and Ellipsoidal Harmonics" for historical context and examples
USEFUL FOR

Mathematicians, students of advanced calculus, and researchers in differential equations who are looking to deepen their understanding of homogeneous functions and their properties.

Prpan
Messages
3
Reaction score
0
I came across of an equality which I have difficulty to understand. If f_n is a rational algebraic homogeneous function of degree n in the differential operators and if g_n is a regular non-differential homogeneous function of the same degree n, following equality takes place [Hobson: The theory of spherical and ellipsoidal harmonics, 1931]

[tex]f_n\left(\frac{\partial}{\partial{x_1}},\frac{\partial}{\partial{x_2}},...,\frac{\partial}{\partial{x_p}}\right)g_n(x_1,x_2,...,x_p)=g_n\left(\frac{\partial}{\partial{x_1}},\frac{\partial}{\partial{x_2}},...,\frac{\partial}{\partial{x_p}}\right)f_n(x_1,x_2,...,x_p)[/tex]

Could someone help me to figure out how to obtain this equality?
 
Last edited:
Physics news on Phys.org
We may consider only monomials, because differentiation is linear. The only terms which do not vanish are of the form ##\dfrac{\partial^{n_{i_1}}}{\partial x_{i_1}}\ldots \dfrac{\partial^{n_{i_k}}}{\partial x_{i_k}} \left( x_{i_1}^{n_{i_1}}\ldots x_{i_k}^{n_{i_k}} \right)## since all others either have a power less than ##n_j## or a variable which doesn't occur at all. The product rule doesn't matter, since we have partial derivatives where all other variables are treated as constants.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
32
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K