{
  "schema": "AN02-L144-exact-illustration-geometry/v1",
  "levi_curvature": {
    "weight": "2 log(1+|z|^2)",
    "radial_eigenvalue": "2/(1+r^2)^2",
    "tangential_eigenvalue": "2/(1+r^2), n>=2",
    "section": "Real xi1,xi2 of complex test vectors at z=(2,0) in C^2",
    "at_r2_eigenvalues": [
      0.08,
      0.4
    ],
    "section_semiaxes_exact": [
      "5/sqrt(2)",
      "sqrt(5/2)"
    ],
    "proof": "formal W25-W26; learner section3"
  },
  "disk_solution": {
    "dimension": "C^1, ordinary area dA",
    "datum": "indicator(|z|<1)",
    "solution": "bar(z) for |z|<=1;1/z for |z|>1",
    "norm_weight": "(1+|z|^2)^(-2)",
    "data_norm": "pi",
    "each_side_norm": "pi*(log(2)-1/2)",
    "total_norm": "2*pi*(log(2)-1/2)",
    "total_normalized_ratio": "4*log(2)-2",
    "ratio_numeric": 0.7725887222397811,
    "plotted_radius_max": 5,
    "finite_radius_qualified": true,
    "proof": "learner Example2 and Exercise6"
  },
  "human_source": "Lars Hörmander, Analysis of Linear PDE II, Theorems15.1.1-15.1.2, printed271-274",
  "original_artwork_license": "CC0-1.0",
  "font": "DejaVu Sans; separate font license retained",
  "protected_source_images_used": false
}