Existence of geometric tubular neighborhoods in Finsler spaces $\DeclareMathOperator\Tub{Tub}$I have not found any reference among the well-known books about the existence of a geometric tubular neighborhood in the Finsler spaces. I am wondering if there exists such a neighborhood for any closed submanifold of a Fisnler Manifold $M$ (maybe with some extra hypothesis on $M$ ,like compactness ....).
FYI: by a geometric tubular neighborhood, of a pre-compact submanifold of a manifold $M$, I mean: $\Tub(P)_r:=\{\gamma(1)|\gamma:[0,1]\longrightarrow M $ is a minimizing geodesic with $\gamma'(0)\in\mathfrak{C}_{\gamma(0)}(P)\cap B(r)\}$. where $B(r)$ is the ball of radius $r$ and by $\mathfrak{C}_x$ we mean the subset of vectors that each one is orthogonal to $T_xP$ at the direction of itself.
 A: Here's a possible approach that goes backwards, where we define the tubular neighborhood first and the normal bundle second.
Let $M$ be a Finsler manifold and $S \subset M$ a smooth submanifold. Given any $x \in M$, we can define the distance $d(x,S)$ from $x$ to $S$ to be the shortest length of curves from $x$ to $S$. We'll call a curve segment $S$-minimizing if one endpoint lies in $S$ and the length of the curve equals the distance from the other endpoint to $S$.
Then one can define a tubular neighborhood of $S$ of radius $r$ to be the set of all possible endpoints of $S$-minimizing geodesics. However, this is simply the set of all points within distance $r$ from $S$.
We can now define a subset $N_*S \subset T_*M$ with respect to the Finsler metric as follows: $v \in T_pM$ lies in $N_pS$ if there exists an $S$-minimizing curve starting at $p$ such that $v$ is tangent to the curve at $p$.
Using the existence and uniqueness of a geodesic with given starting point and velocity, we can define the exponential map $e: N_*S \rightarrow M$.. Moreover, this should show that $N_*S$ is in fact a vector bundle over $S$ and the exponential map defines a diffeomorphism from a neighborhood of the zero section of $N_*S$ onto a neighborhood of $S$ in $M$. In particular, given any precompact subset of $S$, there exists $r>0$ such that the exponential map is a diffeomorphism onto the tubular neighborhood of radius $r$ from its preimage.
