Banach manifold of paths with endpoints on submanifolds Fix a Riemannian metric on a manifold $M$.  Suppose that we fix two points $x,y \in M$.  We start with the space 
$C^{\infty}_{\searrow}(x,y) = \left\{\gamma: \mathbb{R}\to M:\,\lim_{t\to-\infty}\gamma(t) = x, \lim_{t\to\infty}\gamma(t)=y, \exists\,C,\delta > 0 \text{ such that} \vert\gamma'(t)\vert \leq Ce^{-\delta\vert t\vert}\right\}$
We can complete this space to a Banach manifold, $\mathcal{P}^{1,p}(x,y)$.  The charts are given by pairs $(U_{\gamma},\gamma^{*}\exp)$, where $\gamma \in C^{\infty}_{\searrow}(x,y)$, $\exp: TM \to M$ is the exponential map coming from our metric, and $U_{\gamma} \subseteq W^{1,p}(\gamma^{*}TM)$ is chosen small enough so that for any $X \in U_{\gamma}$, $\exp_{\gamma(t)}{X(t)}$ stays within an injectivity radius of $\gamma(t)$.
I'm interested in a generalization of this construction when the endpoints of my curves lie in submanifolds, $S_{1},S_{2}\subseteq M$.  I could try and do the same thing as above, varying over all pairs $(x,y) \in S_{1}\times S_{2}$:
$\mathcal{P}^{1,p}(S_1,S_2) := \coprod_{(x,y) \in S_1\times S_2} \mathcal{P}^{1,p}(x,y)$
But this gives me a space with the "wrong" topology.  For example, any two paths with different endpoints are not in the same path component of $\mathcal{P}^{1,p}(S_1,S_2)$ as I've defined it here.  I want paths with nearby endpoints to be considered close together.
To fix the previous problem, I could instead complete to a space where my local model is:
$C^{k}_{S_1,S_2}(\gamma^{*}TM) = \left\{X \in C^{k}(\gamma^{*}TM):\, \lim_{t\to-\infty} X(t) \in TS_1, \lim_{t\to\infty} X(t) \in TS_2\right\}$
This local model allows for variations of the end points; however, the drawback is that I can't use the same charts as I did before.  The problem is that $S_1$ and $S_2$ might not be totally geodesic manifolds, so my endpoints will detach from $S_1$ and $S_2$ when I try and deform through some $X \in C^{k}_{S_1,S_2}(\gamma^{*}TM)$ using the exponential map.  For the applications I have in mind, assuming that $S_1$ and $S_2$ are totally geodesic submanifolds is too restrictive.
Here are my questions:


*

*Is there already in the literature a construction of a Banach manifold of paths whose endpoints are on fixed submanifolds? If it helps, I'm interested in this space in the context of Morse-Bott theory.

*Is there any other construction which allows me to produce a 1-parameter family of curves $\gamma_s(t)$ such that $\partial_s\gamma = X$, and so that the endpoints of $\gamma_s$ are always on $S_1$ and $S_2$?
 A: For each point $s$ in a submanifold $S\subset M$, there exists
some Riemannian metric on $M$, which makes a neighborhood $U\subset S$ of $s\in S$ totally geodesic in $M$. The definition of (open sets in) these mapping spaces is local in $S_1,S_2$ (see below), so the existence of metrics which make $S_\pm$ near given points totally geodesic is sufficient for the construction of these mapping spaces. 
The auxiliary Riemannian metrics used here have nothing to do with other Riemannian metrics on M, which you may choose later for other purposes. 
(However these auxiliary metrics are all equivalent to any fixed Riemannian metric, so in the end, the exponential decay can still be specified by any fixed Riemannian metric on $M$.)
Now to the local model: Denote $S_-:=S_1,S_+:=S_2$.
For a smooth curve $\gamma:\mathbb{R}\rightarrow M$ with $lim_{t\rightarrow \pm \infty} \gamma(t)=s_\pm$ and (small) open subsets $U_\pm\subset S_\pm$ with
$s_\pm\in U_\pm$, one can consider the local model
$C^k_{U_-,U_+}(\gamma^*TM)=\{X\in C^k(\gamma^*TM) |\lim_{t\rightarrow \pm\infty}X(t)\in T_{s_\pm}S_\pm, exp^{U_\pm\subset M}_{s_\pm}(X(\pm \infty))\in U_\pm\}$
Here the exponential map is associated to some Riemannian metrics on tubular neighborhoods of $U_\pm\subset M$, which make $U_\pm\subset M$ totally geodesic.
In analogy to your space $C^\infty_{\searrow}(x,y)$, one may then consider variations of this space with some exponential decay condition on the component of $X$ normal to $S_\pm\subset M$ (in a tubular neighborhood of $S_\pm$, any vectorfield splits into two parts which are 'tangential resp. normal' to $S_\pm$).
A: This is a bit long for a comment, and definitely not an answer. It is usually easier to work with paths coming from a compact interval. Then it is classical (see for example Klingenberg's books) to construct a Hilbert manifold structure on $H^1(I,M)$. The claim is now that the map
$$
P:H^1(I,M)\rightarrow M\times M
$$
Which maps a path $c$ to its endpoints $(c(0),c(1))$ is submersive. Then for any submanifold $V$ of $M\times M$, the preimage $P^{-1}(V)$ is a submanifold of $H^{1}(I,M)$. If you take $V=S_1\times S_2$ you get a space of paths from $S_1$ to $S_2$. I don't think this nicely generalizes to a domain that is non-compact. A reference for such things that I have not read is "A convenient setting from global analysis" http://www.mat.univie.ac.at/~michor/apbookh-ams.pdf.
Another comment: Since you are interested in the Banach manifold structure (but not necessarily a choice of Finsler norm), can't you take a different metric for which the submanifolds are totally geodesic?  
