## Spectral Galerkin method for a semi-linear parabolic PDE

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

I'm trying to understand how to apply the Galerkin method to $u_t - \Delta u = u^3$. I understand how to obtain all of the a-priori estimates using Sobolev embeddings and such but my question concerns the actual discretization procedure where we project onto the finite dimensional subspace spanned by the eigenfunctions of $-\Delta$.

In the linear case we may simply set $u_N = \sum \phi_n c_n$ and plug this in to obtain a set of $N$ O.D.Es which we then show satisfy the same energy bounds. In the non-linear case though we may not just substitute directly because of the $u^3$ term. How can this be dealt with? Is there perhaps a better way to do the approximation?

Addition: In this example if we let $u_N = \sum \phi_n c_n^N(t)$ then when we plug this into the weak form of our PDE we obtain and then choose our test function to be one of the basis elements $w_k$ we obtain $d/dt c_k^N(t) + \sum_{i=1}^n e^{ki}(t) c_k^N(t) = \int (\sum_{n=1}^N c_n^N(t) \phi_n)^3w_k$, for some coefficients $e^{ki}(t)$. My question is, how do I deal with the integral on the right? I would like to be able to solve this ODE and then say I have a solution.

-

1
There is no easy way. You have to honestly open the parentheses, compute the integrals, and deal with the resulting trilinear form if you pursue this approach. – fedja Sep 10 2010 at 23:47

## 1 Answer

The solution of this problem will blow up in finite times, which can be understood from the ODE your posted. In fact, the nonlinear term in the right hand of the ODE is not globally lipchitz, you can only get a local solution by Picard existence theorem. To see that, one solves the following ODE $$y' = y^3, y(0)=1$$ you will the solution is $y(t) = -2(t - \sqrt[3]{2})^{-2}$ blow up as $t \rightarrow \sqrt[3]{2}$.

-

Will all solutions blow up no matter what (nontrivial) initial and boundary conditions you have? – timur Dec 1 2011 at 1:10
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 11, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9125550985336304, "perplexity_flag": "head"}