We moved into a home that has a 20 year old vinyl pool with a concrete slab encircling it. On one side of the pool the slab ends at a small hill, and there has been some erosion leaving a small gap underneath (about 10 feet long, 1-2 inches thick). I have heard of mudjacking or foam injection by a contractor to resolve this type of issue, but I'm not sure if there is a way we can repair it ourselves instead. Has anyone else has this problem? Any advice on how to resolve it? Images attached.