I would like to consider a background for a quantum field theory made up by connecting continuously two different solutions of the Euler Lagrange equations.
The problem is one dimensional (let's call our coordinate $r,\;\;r>0$) and I would like to have a certain solution $\phi_*(r)$ defined as $\;\phi_*(r):=\phi_0 (r)\;\;\forall\,r>r_*$ and $\phi_*(r):=\phi_c(r)\;\;\forall\,r\leq r_*$.
In standard field theory I can do this as long as $\phi_*(r_*)$ is regular enough so that no operator of the Lagrangian is divergent (i.e. $\phi_*\in C^k\;$if the Lagrangian contains differential operators up to order $k$).
Now my question comes when we want to deal with an effective field theory, so that we need to be able to neglect operators with arbitrary number of derivatives. My conclusion would be that I can only accept such a solution if the junction between the two behaviors $\phi_0\,,\,\phi_c$ is $C^{\infty}$.
Is there any way to escape such conditions? Or are the conditions even stronger?(analicity of the background fields for instance?) I heard some sort of "piecewise" solution is used in the context of spontaneous scalarization in theoretical cosmology and I imagine that this kind of solutions might be studied in Electromagnetism and Mathematical Physics.
Can such solutions be made consistent with the effective field theory approach without discarding any globally non $C^{\infty}$ result?