Since I am from a different mathematical field and couldn't find it: Is there something which would be best called an Arzela-Ascoli version for the $L\_p$-norm, namely:


Let $X,Y$ be two nice measurable/normed spaces (i.e. compact, locally compact, hausdorff and whatever properties you might want), e.g. $X$ a closed interval and $Y= \mathbb R$.



> 
> Let now $f\_n$ be a family of piecewise differentiable maps from $X$ to $Y$ such that their $L\_p$-norm converges, i.e. $||f\_n'||\_p \to \lambda$. Does there exist a converging subfamily $f\_k \to f$ such that $f$ is piecewise differentiable and $||f'||\_p=\lambda$?
> 
> 
> 


The question arose from the following setting:
Let $X$ and $Y$ be two finite metric graphs (you can think of them as closed intervals glued together at their endpoints with metric & measure from $\mathbb R$).
Given a family of piecewise differentiable maps $f\_n: X \to Y$, does there exist a piecewise differentiable map $f: X \to Y$, such that the $L\_p$-norm of its derivative $||f'||\_p$ attains the infimum of $||f'\_n||\_p$? 


Here the family $f\_n$ is the set of all piecewise differentiable maps homotopic to a given function. Hence I think we can even assume that the $f\_n$ are continuous and piecewise linear, since averaging along edges decreases the $L\_p$-norm of its derivative , i.e. do we have $||f'\_n||\_p \geq |\frac{f\_n(b)-f\_n(a)}{b-a}|$ for $f\_n:[a,b] \to \mathbb R$?


For $p=\infty$ such an $f$ exists by Arzela-Ascoli, but does this also hold for other $L\_p$-norms?


**EDIT:** In the first version of the question the $f\_n$ and $f$ in the box were only continuous and $||f\_n||\_p$ converged to $\lambda=||f||\_p$.



Arzela-Ascoli for L_p-norm
For your interest in a minimal $f$, you might want to read a beginners textbook on [Sobolev-Spaces](https://en.wikipedia.org/wiki/Sobolev_space) and the calculus of variations, especially on the [direct method](https://en.wikipedia.org/wiki/Direct_method_in_the_calculus_of_variations), which is all about this. The beginner-texts won't deal with metric graphs, but I am pretty sure that you can see how to generalize to this from the solution of the problem on intervals (or rather general domains in $\mathbb{R}^n$) that you will find there. Let me give you a short overview for $p>1$ (the case $p=1$ is a bit more tricky in the analysis and it turns out that any monotone function is a minimizer):


 The direct method in a simple example
======================================


Let $I=[a,b]$ be an interval and consider the Sobolev-space $W^{1,p}(I;\mathbb{R})$, which is the closure of $C^1(I;\mathbb{R})$ in the norm


$$\|f\|^p\_{W^{1,p}} = \|f'\|\_{L^p}^p + \|f\|\_{L^p}^p.$$


In general for every $f\in W^{1,p}(I,\mathbb{R})$, which you can approximate in the norm using smooth $(f\_k)\_k$, the weak-derivative $f' := \lim\_{k\to\infty} f\_k'$ is a well defined $L^p$ function. It won't be the pointwise derivative, but in many cases you can almost treat it as such. Furthermore one can prove that $W^{1,p}$ is a reflexive space (here $p>1$ is needed).


Now let's say, we are interested in the class of functions $A := \{f\in W^{1,p}: f(a) = 0, f(b)=1\}$. (One needs to make sure that $f(a)$ and $f(b)$ are well defined here, this is in fact due to the [trace-theorem](https://en.wikipedia.org/wiki/Trace_operator), that you will also find in any relevant text.) And we want to minimize $\|f'\|\_p$ in this class. (This method is a bit of overkill for such a simple problem, where we could guess the solution.)


Then first we note that there is an obvious bound from below and so we can pick a sequence $(f\_k)\_k$ such that $\|f\_k'\|\_{L^p} \to \inf\_{g\in A} \|g'\|\_{L^p}$. In particular then $\|f\_k'\|\_{L^p}$ is bounded. Now we need the next tool which is [Poincare's inequality](https://en.wikipedia.org/wiki/Euler%E2%80%93Lagrange_equation), which due to $f\_k(a) = 0$ (which prevents shifting by constants) also implies that $\|f\_k\|\_{W^{1,p}}$ is bounded.


But then there is the [Banach-Alaoglu theorem](https://en.wikipedia.org/wiki/Banach%E2%80%93Alaoglu_theorem), which is kind of the convergence theorem you were looking for. This tells us that $f\_k$ has a weak\* (=weak, since $W^{1,p}$ is reflexive) converging subsequence with some limit $f \in W^{1,p}(I;\mathbb{R})$.


Now finally using a bit more of the toolbox: The trace-theorem also shows that the boundary conditions are stable under weak convergence, so $f \in A$. And weak convergence of $f\_k$ in $W^{1,p}$ means weak convergence of $f\_k$ and $f\_k'$ in $L^p$. Finally the norm is lower semi-continuous under weak convergence. There is no norm convergence as you requested in your question, but the point is that lower semicontinuity is enough, as we get


$$\inf\_{g\in A} \|g'\|\_{L^p} \leq \|f'\|\_{L^p} \leq \liminf\_{k\to\infty} \|f\_k'\|\_{L^p} = \inf\_{g\in A} \|g'\|\_{L^p}$$


So $f$ is indeed a minimizer in the class $A$. Now the final step would be to use the Euler-Lagrange equation to show that $f$ is in fact affine (which would translate to piecewise affine in you case).


 However...
-----------


All this being said there might be another solution to your problem requiring far less hard analysis. In your metric graphs you only ever have to consider piecewise affine functions. Let $f:[a,b] \to Y$ be a map from an interval to a metric graph. Now for fixed $f(a),f(b)$ and a fixed path from $f(a)$ through the vertices $f(x\_1) = p\_1,..., f(x\_n) = p\_n$ to $f(b)$, the minimal $f$ is the piecewise affine one. Then since the set of $x\_i$ with $a \leq x\_1 \leq ... \leq x\_n \leq b$ is compact and $\|f'\|\_p$ continuous with respect to that choice, there is a minimal $x\_1 < ... < x\_n$ in there. Now there are finitely many loop free paths to choose in a finite graph, so there is a finite choice and thus a minimal $p\_1,...,p\_n$ as well. But then for any $f: X \to Y$, with $f(v\_i)$ fixed on the vertices $v\_i$, you'll get a minimal $f$ by applying the previous reasoning. And now since $Y$ is compact, and $\|f'\|\_p$ should be continuous under the choice of $f(v\_i)$, you'll get your minimizer. I'm no expert on metric graphs, but I am quite sure something like this has already been written down though.


