Why hasn't functional programming researched dynamic trees?
"In computer science, functional programming is a programming paradigm.  A style of building the structure and elements of computer programs that treats computation as the evaluation of mathematical functions and avoids changing state and mutable data." - Wikipedia

"changing state and mutable data"  in other words "dynamic".

So your question is a bit like asking why left isn't right.