I have a few general questions related to PDE solution behavior, specifically as it relates to set invariance. Namely, I've been reading papers that give necessary/sufficient conditions for set invariance of parabolic PDE systems, and have noticed that the results only show invariance of a set on the time interval $t\in\left(0,T\right)$ for some finite $T$. There's also restrictions on the boundedness of the geometry, $D \subseteq \mathbb{R}^n$, but for the purposes of our project, we aren't considering unbounded geometries.
In brief, these theorems state that given some nice properties of the PDE system (Lipschitz continuity of the source term, Holder continuity of the invariant set boundaries, constraints on the boundary conditions, etc) a subset $A$ of the solution space $\mathbb{R}^m$ is invariant over the geometry and on the time domain $t\in\left(0,T\right)$ with respect to a solution of the PDE $u\left(x,t\right)$ if a dot product criterion on the source term, $f\left(x,t\right)$, is met at all points on the boundary $\partial A$.
My question is why the restriction to a finite time horizon on the solution? Very roughly speaking, if you interpret the conditions for invariance to say that "if the PDE is well behaved enough over this interval" then you have invariance, what can cause the PDE to stop behaving well at larger times? If the source term were independent of time, it would seem to me we could amend the statement for times going to infinity?
If you could offer any insight or examples here, that would be great. Getting some more intuition to wrap my head around why were concerned about behavior at large times would be very helpful.
I have a hard time reading your question. What do you mean precisely with the solution space and what does invariance precisely mean. Could you maybe give some references to the papers you mention?
Now, I do not know the precise setting you are working with, but I do see a parallel with well-posedness theory of reaction-diffusion equations, say $$ u_t=\mathrm{div} A(\,\cdot\,,u,\nabla u) + f. $$ Often it is shown that solutions exist for all times $t\in[0,T]$ for some $0<T<\infty$. Such proofs use uniform energy estimates and their uniforms bound rely on $T$ being finite. In particular the expression $\int_0^T\int_{\mathbb{R}^n}f^2$ has to be bounded. If $f$ does not depend on $t$, this might not be the case for $T=\infty$. Of course, asking that $f\in L^2(\mathbb{R}^n\times \mathbb{R})$ solves the issue, but this means that dependence on time of the source term is needed.