Ttyjukl

I am trying to plot a function in a region below a level curve of the function and within a cell. I have been doing this by calculating an ElementMesh using ImplicitRegion and ToElementMesh, but the result has holes.

Here is the cell (it's just a square),

cell = Parallelogram[{-0.5`, -0.5`}, {{1.`, 0.`}, {0.`, 1.`}}];

Graphics[{Transparent, EdgeForm[Thick], cell}]

and the function,

f[kx_, ky_, n_] := 

  Sort[Eigenvalues[{{(-1. + kx)^2 + (-1. + ky)^2, -0.23, 0., -0.23, 

       0.12, 0., 0., 0., 

       0.}, {-0.23, (-1. + kx)^2 + (0. + ky)^2, -0.23, 0.12, -0.23, 

       0.12, 0., 0., 0.}, {0., -0.23, (-1. + kx)^2 + (1. + ky)^2, 0., 

       0.12, -0.23, 0., 0., 0.}, {-0.23, 0.12, 

       0., (0. + kx)^2 + (-1. + ky)^2, -0.23, 0., -0.23, 0.12, 

       0.}, {0.12, -0.23, 

       0.12, -0.23, (0. + kx)^2 + (0. + ky)^2, -0.23, 0.12, -0.23, 

       0.12}, {0., 0.12, -0.23, 0., -0.23, (0. + kx)^2 + (1. + ky)^2, 

       0., 0.12, -0.23}, {0., 0., 0., -0.23, 0.12, 

       0., (1. + kx)^2 + (-1. + ky)^2, -0.23, 0.}, {0., 0., 0., 

       0.12, -0.23, 

       0.12, -0.23, (1. + kx)^2 + (0. + ky)^2, -0.23}, {0., 0., 0., 

       0., 0.12, -0.23, 0., -0.23, (1. + kx)^2 + (1. + ky)^2}}]][[

   n]];

Plot3D[f[x, y, 4], {x, y} [Element] cell, PlotPoints -> 50]

and what the region should look like,

isovalue = 1.29897233417072;

ContourPlot[f[x, y, 4], {x, y} [Element] cell, 

 Contours -> {isovalue}, ColorFunction -> GrayLevel, 

 PlotPoints -> 100]

This is what I have tried

reg = ToElementMesh[

   ImplicitRegion[

    f[x, y, 4] < isovalue && {x, y} [Element] cell, {x, y}], 

   "MaxBoundaryCellMeasure" -> 0.01, MeshQualityGoal -> 1, 

   PerformanceGoal -> "Quality", MaxCellMeasure -> 0.01, 

   "BoundaryMeshGenerator" -> "Continuation"];

RegionPlot[reg]

The region is no more accurate when I decrease MaxCellMeasure or MaxBoundaryCellMeasure. I also tried the solution suggested here.

I hope I interpreted your question correctly that you want a more accurate ElementMesh representation of the region.

First we create a high quality Graphics of the region of interest.

isovalue = 1.29897233417072;

(* Add some margins to plot range to get connected region. *)

tolerance = 0.05;

plot = ContourPlot[

  f[x, y, 4],

  {x, y} ∈ Cuboid[{-0.5, -0.5} - tolerance, {0.5, 0.5} + tolerance],

  Contours -> {isovalue},

  ColorFunction -> GrayLevel,

  (* We need high quality plot for ImageMesh later. *)

  PlotPoints -> 200,

  Frame -> None

]

Create MeshRegion from Graphics object.

mreg = ImageMesh[ColorNegate[plot]]

And convert it to ElementMesh.

Needs["NDSolve`FEM`"]

mesh = ToElementMesh[mreg,"MeshOrder"->1]

(* ElementMesh[{{7., 353.}, {7., 353.}}, {TriangleElement["<" 1057 ">"]}] *)



mesh["Wireframe"]

Another approach is:

reg = ToElementMesh[

   ImplicitRegion[

    f[x, y, 4] < isovalue && {x, y} [Element] cell, {x, y}], 

   "MaxBoundaryCellMeasure" -> 0.01, MeshQualityGoal -> 1, 

   PerformanceGoal -> "Quality", MaxCellMeasure -> 0.01, 

   "BoundaryMeshGenerator" -> {"RegionPlot", "SamplePoints" -> 41}];



reg["Wireframe"]

One thing to be a bit careful about is the question if the holes intersect the boundary. From the mesh it does not look like it but the math might say it.