Skip to main content
MathOverflow

Return to Question

tags added
Link
A. J. Pan-Collantes
A. J. Pan-Collantes
  • 975
  • 5
  • 17
minor improvements
Source Link
A. J. Pan-Collantes
A. J. Pan-Collantes
  • 975
  • 5
  • 17

Maybe I am asking a triviality. If thisthat is the case, please let me know and I will close the question. I have searched a lot but I didn't find an adequate and forceful response.

For $i=1,\ldots, r$, let $Z_i$ be $r$ linearly independent vector fields defined on an open subset $U$ of $\mathbb{R}^n$, $r<n$; and. And let $\lambda_i$ be $r$ smooth functions defined on $U$. We can consider the inhomogeneous system of first-order linear PDEs $$ Z_i(f)=\lambda_i, \quad i=1,\ldots,r. $$

Question: What hypothesis do we need to assure the local existence of a solution $f$? (we can shrink $U$ if needed).

I don't think I can apply the Cauchy–Kovalevskaya theorem in this case, because we have here several vector fields...

On the other hand, at the end of Wikipedia page of Cauchy–Kovalevskaya theorem it is named the Cauchy–Kovalevskaya–Kashiwara theorem, which seems very technical to me, but I feel it has something to do...

Finally, I think that involutivity of the distribution $\{Z_1,\ldots,Z_r\}$ plays an important role here. For example, in case $\lambda_i=0$ Frobenius theorem would tell us that there exist $n-r$ functionally independent solutions.

Maybe I am asking a triviality. If this is the case, please let me know and I will close the question. I have searched a lot but I didn't find an adequate and forceful response.

For $i=1,\ldots, r$, let $Z_i$ be $r$ linearly independent vector fields defined on an open subset $U$ of $\mathbb{R}^n$, $r<n$; and let $\lambda_i$ be $r$ smooth functions defined on $U$. We can consider the inhomogeneous system of first-order linear PDEs $$ Z_i(f)=\lambda_i, \quad i=1,\ldots,r. $$

Question: What hypothesis do we need to assure the existence of a solution $f$? (we can shrink $U$ if needed).

I don't think I can apply the Cauchy–Kovalevskaya theorem in this case, because we have several vector fields...

On the other hand, at the end of Wikipedia page of Cauchy–Kovalevskaya theorem it is named the Cauchy–Kovalevskaya–Kashiwara theorem, which seems very technical to me, but I feel it has something to do...

Finally, I think that involutivity of the distribution $\{Z_1,\ldots,Z_r\}$ plays an important role here. For example, in case $\lambda_i=0$ Frobenius theorem would tell us that there exist $n-r$ functionally independent solutions.

Maybe I am asking a triviality. If that is the case, please let me know and I will close the question. I have searched a lot but I didn't find an adequate and forceful response.

For $i=1,\ldots, r$, let $Z_i$ be $r$ linearly independent vector fields defined on an open subset $U$ of $\mathbb{R}^n$, $r<n$. And let $\lambda_i$ be $r$ smooth functions defined on $U$. We can consider the inhomogeneous system of first-order linear PDEs $$ Z_i(f)=\lambda_i, \quad i=1,\ldots,r. $$

Question: What hypothesis do we need to assure the local existence of a solution $f$?

I don't think I can apply the Cauchy–Kovalevskaya theorem in this case, because we have here several vector fields...

On the other hand, at the end of Wikipedia page of Cauchy–Kovalevskaya theorem it is named the Cauchy–Kovalevskaya–Kashiwara theorem, which seems very technical to me, but I feel it has something to do...

Finally, I think that involutivity of the distribution $\{Z_1,\ldots,Z_r\}$ plays an important role here. For example, in case $\lambda_i=0$ Frobenius theorem would tell us that there exist $n-r$ functionally independent solutions.

Source Link
A. J. Pan-Collantes
A. J. Pan-Collantes
  • 975
  • 5
  • 17

Existence of solution to linear inhomogeneous first order PDEs systems

Maybe I am asking a triviality. If this is the case, please let me know and I will close the question. I have searched a lot but I didn't find an adequate and forceful response.

For $i=1,\ldots, r$, let $Z_i$ be $r$ linearly independent vector fields defined on an open subset $U$ of $\mathbb{R}^n$, $r<n$; and let $\lambda_i$ be $r$ smooth functions defined on $U$. We can consider the inhomogeneous system of first-order linear PDEs $$ Z_i(f)=\lambda_i, \quad i=1,\ldots,r. $$

Question: What hypothesis do we need to assure the existence of a solution $f$? (we can shrink $U$ if needed).

I don't think I can apply the Cauchy–Kovalevskaya theorem in this case, because we have several vector fields...

On the other hand, at the end of Wikipedia page of Cauchy–Kovalevskaya theorem it is named the Cauchy–Kovalevskaya–Kashiwara theorem, which seems very technical to me, but I feel it has something to do...

Finally, I think that involutivity of the distribution $\{Z_1,\ldots,Z_r\}$ plays an important role here. For example, in case $\lambda_i=0$ Frobenius theorem would tell us that there exist $n-r$ functionally independent solutions.